Newbetuts
.
New posts in proof-theory
Difference between "Show" and "Prove"
terminology
proof-theory
Why does proof by elimination work?
logic
proof-theory
Is a proof also "evidence"?
terminology
proof-theory
Prove that a construction exists: is this a constructive proof or existential proof?
logic
proof-writing
proof-theory
constructive-mathematics
What does "prove" mean?
logic
computer-science
proof-theory
Why can't you prove the law of the excluded middle in intuitionistic logic (for layman)?
logic
proof-theory
constructive-mathematics
Was the effective coverage of induction really just natural number?
real-analysis
elementary-set-theory
induction
set-theory
proof-theory
What exactly is circular reasoning?
logic
philosophy
proof-theory
How to prove the mathematical induction is true?
proof-theory
Tricks for Constructing Hilbert-Style Proofs
logic
proof-theory
nonclassical-logic
Pairing in Presburger arithmetic
logic
reference-request
computability
proof-theory
presburger-arithmetic
Model of concatenation theory with left-cancellation but no right-cancellation
logic
model-theory
proof-theory
provability
nonstandard-models
Why an inconsistent formal system can prove everything?
logic
proof-theory
What is the difference between ⊢ and ⊨?
logic
proof-theory
Under the Curry-Howard correspondence or loosely "proofs-as-programs", do we also have "programs-as-proofs" and what would some arb. program prove?
soft-question
computer-science
proof-theory
type-theory
programming
Axiom Systems and Formal Systems
logic
model-theory
proof-theory
natural deduction: introduction of universal quantifier and elimination of existential quantifier explained
logic
proof-theory
formal-proofs
natural-deduction
formal-systems
When are two proofs "the same"?
logic
soft-question
proof-theory
If all sets were finite, how could the real numbers be defined?
logic
set-theory
philosophy
proof-theory
finitism
Can proof by contradiction 'fail'?
logic
soft-question
axioms
foundations
proof-theory
Prev
Next