Newbetuts
.
New posts in proof-theory
Are coinductive proofs necessary?
induction
proof-theory
theorem-provers
Clarification regarding substitution in sequent calculus
logic
quantifiers
proof-theory
formal-proofs
sequent-calculus
Understanding the meaning of $\forall,\exists$ rules in sequent calculus.
logic
first-order-logic
quantifiers
proof-theory
sequent-calculus
Intutive explanation of the PCP Theorem
proof-theory
Examples of provably${}^n$ unprovable statements
logic
set-theory
examples-counterexamples
proof-theory
Is there a "logical algebraic geometry" based on provability rather than truth?
algebraic-geometry
logic
reference-request
proof-theory
What is finitistic reasoning?
logic
terminology
definition
proof-theory
incompleteness
Is it a paradox if I prove something as unprovable?
logic
proof-theory
peano-axioms
Decidability vs Completeness
logic
model-theory
proof-theory
incompleteness
decidability
What is the so-called eigenvariable or parameter in natural deduction?
logic
first-order-logic
quantifiers
proof-theory
natural-deduction
How do we know PA is incomparable with PRA + $\epsilon_0$?
logic
proof-theory
peano-axioms
ordinal-analysis
Model-theory and Proof-theory in Propositional Logic
logic
model-theory
propositional-calculus
proof-theory
In mathematical induction, how does assuming $P(n)$ differ from assuming $\forall n : P(n)$?
logic
induction
proof-theory
Is the internal language of a topos complete, sound and effective?
logic
category-theory
proof-theory
topos-theory
How can I learn about proofs for computer science?
computer-science
proof-writing
proof-theory
How or why does intutionistic logic proof negations from within the theory, constructively?
propositional-calculus
proof-theory
lambda-calculus
type-theory
constructive-mathematics
Definition of "non-constructive proof"
logic
philosophy
proof-theory
meta-math
role of definitions in proofs
logic
proof-writing
proof-theory
What is the point of model theory?
logic
model-theory
proof-theory
Does an inference rule under natural deduction operate on sequents or formulas?
logic
proof-theory
natural-deduction
sequent-calculus
Prev
Next