Newbetuts
.
New posts in meta-math
What are some natural arithmetical statements independent of ZFC?
number-theory
set-theory
meta-math
Is there an effective theory which "solves" the halting problem?
logic
computer-science
computability
peano-axioms
meta-math
What does "dual statement" mean exactly in category theory?
category-theory
definition
meta-math
Are there formal systems that can not be proved to be complete or incomplete?
logic
meta-math
Definition of "non-constructive proof"
logic
philosophy
proof-theory
meta-math
Clarification of a remark of J. Steel on the independence of Goldbach from ZFC
number-theory
logic
set-theory
meta-math
Primitive recursion and $\Delta^0_0$
logic
computability
recursion
meta-math
Has the Gödel sentence been explicitly produced?
logic
meta-math
metalogic
Why is everything geometrical modeled on $\Bbb R$?
general-topology
geometry
real-numbers
meta-math
Formalizing metamathematics
logic
philosophy
meta-math
Resources like "How to solve it" by Polya
problem-solving
meta-math
Formalizing the meta-language of First order Logic and studying it as a formal system
logic
first-order-logic
meta-math
metalogic
Geometric proof of existence of irrational numbers.
real-analysis
pi
geometric-construction
meta-math
How to address mistakes in published papers?
advice
meta-math
publishing
How rare is it that a theorem with published proof turns out to be wrong?
soft-question
meta-math
Is there a way of defining the notion of a variable mathematically?
meta-math
Common misconceptions about math
soft-question
big-list
education
philosophy
meta-math
Why some people don't like proofs by contradiction [duplicate]
soft-question
meta-math
Is this visual analogy to Gödel's incompleteness theorem accurate?
logic
meta-math
Mathematical structures
soft-question
category-theory
intuition
meta-math
Prev
Next