Newbetuts
.
New posts in proof-theory
Why are $\Delta_1$ sentences of arithmetic called recursive?
logic
computability
proof-theory
Is there a connection between length of sentence and length of proof?
logic
proof-theory
Is a counterexample considered a rigorous proof that a property is not true?
soft-question
proof-theory
Proof- vs. model-theoretic definitions of extension and of conservative extension
logic
model-theory
first-order-logic
formal-languages
proof-theory
On Pudlak's "Life in an Inconsistent World"
logic
model-theory
proof-theory
The category of theorems and proofs
reference-request
category-theory
proof-theory
Is everything provable as true, false, or undecidable? [duplicate]
logic
proof-theory
Can all math results be formalized and checked by a computer?
logic
predicate-logic
first-order-logic
foundations
proof-theory
How can know if a proof technique can actually prove something? Specifically, induction
logic
induction
computability
proof-theory
Why do statements which appear elementary have complicated proofs?
soft-question
logic
philosophy
proof-theory
Minimal difference between classical and intuitionistic sequent calculus
logic
proof-theory
constructive-mathematics
Aren't constructive math proofs more "sound"?
proof-theory
constructive-mathematics
How to find the shortest proof of a provable theorem?
logic
set-theory
first-order-logic
proof-theory
Can every true theorem that has a proof be proven by contradiction?
logic
proof-writing
proof-theory
Calculus of Natural Deduction That Works for Empty Structures
logic
proof-theory
formal-proofs
natural-deduction
formal-systems
Has a conjecture ever originally been decided by constructing the proof with mathematical logic?
logic
model-theory
math-history
proof-theory
type-theory
How can we know we're not accidentally talking about non-standard integers?
logic
model-theory
proof-theory
turing-machines
incompleteness
Are the Gödel's incompleteness theorems valid for both classical and intuitionistic logic?
logic
proof-theory
incompleteness
If it takes infinite steps to prove a statement, is that a valid proof?
logic
proof-theory
Why is Gödel's Second Incompleteness Theorem important?
logic
formal-languages
proof-theory
incompleteness
Prev
Next