Newbetuts
.
New posts in meta-math
Why bother with Mathematics, if Gödel's Incompleteness Theorem is true?
logic
incompleteness
meta-math
What did Hilbert actually want for his second problem?
logic
math-history
meta-math
What is the difference between a proposition and a theorem?
terminology
definition
meta-math
How are metalogic proofs valid?
logic
meta-math
metalogic
Rejecting infinity
reference-request
infinity
philosophy
meta-math
big-picture
Definition of definition
reference-request
education
definition
philosophy
meta-math
Why is it considered unlikely that there could be a contradiction in ZF/ZFC?
soft-question
set-theory
meta-math
What exactly is an equation?
meta-math
How do you go about doing mathematics on a day to day basis?
soft-question
big-list
meta-math
mathematicians
Why can we use induction when studying metamathematics?
logic
set-theory
meta-math
Meaning of symbols $\vdash$ and $ \models$
logic
notation
meta-math
Is mathematics just a bunch of nested empty sets?
set-theory
philosophy
foundations
meta-math
Why are all the interesting constants so small? [closed]
soft-question
meta-math
big-picture
Prev