Newbetuts
.
New posts in foundations
What do people mean by "finite"?
soft-question
definition
intuition
philosophy
foundations
Why did mathematicians choose ZFC set theory over Russell's type theory? [closed]
set-theory
foundations
type-theory
mathematical proof vs. first-order logic deductions
logic
foundations
Mathematical logic book that uses a proof assistant?
logic
reference-request
foundations
computer-assisted-proofs
Why does Cantor's Proof (that R is uncountable) fail for Q?
real-analysis
elementary-set-theory
foundations
Why do we want the Axiom of the Power Set?
set-theory
axioms
foundations
Can we prove that odd and even numbers alternate without using induction?
number-theory
logic
math-history
foundations
peano-axioms
Why don't we use Presburger's arithmetic instead of Peano's arithmetic?
number-theory
logic
natural-numbers
foundations
peano-axioms
Axiomatic Foundations
logic
philosophy
axioms
foundations
What is the meaning of set-theoretic notation {}=0 and {{}}=1?
elementary-set-theory
math-history
natural-numbers
foundations
Quantifier: "For all sets"
elementary-set-theory
logic
quantifiers
foundations
Hao Wang's $\mathfrak S$ system/$\Sigma$ system: a "transfinite type" theory that avoids the Goedel's theorems.
reference-request
math-history
foundations
type-theory
The legitimacy of topos theory and intuitionism.
foundations
philosophy
topos-theory
intuitionistic-logic
categorical-logic
Groupoids more fundamental than categories, really?
category-theory
foundations
homotopy-type-theory
What's behind the Banach-Tarski paradox? [closed]
geometry
big-list
philosophy
foundations
paradoxes
Why choose sets to be the primitive objects in mathematics rather than, say, tuples?
elementary-set-theory
foundations
motivation
What underlies formal logic (or math, generally)?
logic
soft-question
formal-languages
philosophy
foundations
Are the addition and multiplication of real numbers, as we know them, unique?
real-analysis
foundations
binary-operations
Why doesn't this definition of natural numbers hold up in axiomatic set theory?
elementary-set-theory
foundations
Are category-theory and set-theory on the equal foundational footing?
category-theory
set-theory
philosophy
foundations
Prev
Next