MATH
Login Or Sign up

List Question

15
1k
Views

Real Numbers as Well Defined Sets

Published on
#real-analysis #elementary-set-theory #logic #foundations
224
Views

Is the Archimedan property of $\Bbb{R}$ the most important property in real analysis?

Published on
#real-analysis #foundations
263
Views

Explain mathematical practice and axiomatization to non-mathematicians

Published on
#logic #education #philosophy #axioms #foundations
368
Views

Explain/illustrate Goedel's theorems and possible implications to non-mathematicians

Published on
#logic #education #philosophy #incompleteness #foundations
1.5k
Views

How to prove $2+2=4$ using axioms of real number system?

Published on
#logic #foundations #real-numbers
181
Views

How much arithmetic can Predicative Second-Order EFA do?

Published on
#logic #proof-theory #foundations #reverse-math #ultrafinitism
413
Views

Foundational theories, their uses, interactions and comparisons?

Published on
#logic #set-theory #category-theory #foundations #type-theory
3.5k
Views

Purpose of the Peano Axioms

Published on
#logic #math-history #foundations #peano-axioms
1k
Views

Why is the notion of a function as a relation important?

Published on
#calculus #real-analysis #functions #foundations
157
Views

Can axioms of the Euclidean space be proven in the Real space?

Published on
#logic #soft-question #model-theory #foundations
239
Views

Is there some natural equivalent of a Turing machine for set theory?

Published on
#set-theory #foundations #large-cardinals
513
Views

What is the definition of the domain of composite partial functions?

Published on
#calculus #elementary-set-theory #foundations
285
Views

Free variables in definitions

Published on
#analysis #logic #foundations
1k
Views

What underlies formal logic (or math, generally)?

Published on
#logic #soft-question #formal-languages #philosophy #foundations
283
Views

Can we capture all domains of discouse in the predicate logic within categorical logic?

Published on
#logic #category-theory #predicate-logic #foundations #motivation

Trending Questions

Popular # Hahtags

second-order-logic numerical-methods puzzle logic probability number-theory winding-number real-analysis integration calculus complex-analysis sequences-and-series proof-writing set-theory functions homotopy-theory elementary-number-theory ordinary-differential-equations circles derivatives game-theory definite-integrals elementary-set-theory limits multivariable-calculus geometry algebraic-number-theory proof-verification partial-derivative algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.