Newbetuts
.
New posts in foundations
What lessons have mathematicians drawn from the existence of non-standard models?
model-theory
philosophy
foundations
nonstandard-models
Are professional mathematicians concerned with formalizing infinitely many dependent choices?
proof-writing
foundations
The "functions" of untyped lambda calculus are not (set theoretic) functions so what are they?
category-theory
foundations
lambda-calculus
The boundaries of mathematics?
soft-question
philosophy
foundations
A model-theoretic question re: Nelson and exponentiation
logic
foundations
peano-axioms
finitism
What does it mean to say that a particular mathematical theory is a foundation for mathematics?
logic
soft-question
category-theory
set-theory
foundations
Gödel's paradox: Why is "a proof that some universal statement is unprovable" not a valid proof that this statement is true? [duplicate]
logic
foundations
provability
Without foundation: Not transitive model of ZFC?
set-theory
foundations
Definition of an $n$-tuple agreeing with the Kuratowski's definition of an ordered pair
definition
foundations
Why this works for proving ZF axioms system is free of Russell's paradox?
logic
set-theory
foundations
paradoxes
What follows from Axiom of Dependent Choice (DC) and what doesn't?
logic
set-theory
axiom-of-choice
foundations
Purpose of the Peano Axioms
logic
math-history
foundations
peano-axioms
Meta Theory when studying Set Theory
set-theory
foundations
Is most of mathematics independent of set theory? [closed]
soft-question
set-theory
philosophy
foundations
reverse-math
Is Pythagoras' Theorem a theorem?
geometry
foundations
What are some results that shook the foundations of one or more fields of mathematics? [closed]
soft-question
math-history
big-list
foundations
How can there be alternatives for the foundations of mathematics?
set-theory
category-theory
foundations
On the large cardinals foundations of categories
category-theory
set-theory
foundations
large-cardinals
What is wrong with ZFC?
elementary-set-theory
foundations
homotopy-type-theory
univalent-foundations
Is consistency an axiom of mathematics?
set-theory
axioms
foundations
incompleteness
Prev
Next