Newbetuts
.
New posts in proof-theory
Is it possible to prove a mathematical statement by proving that a proof exists?
logic
proof-theory
Is it possible that "A counter-example exists but it cannot be found"
logic
proof-theory
Is Gödel's modified liar an illogical statement?
logic
proof-theory
incompleteness
What is exactly the difference between a definition and an axiom?
terminology
definition
axioms
proof-theory
Proving the existence of a proof without actually giving a proof
logic
reference-request
proof-theory
Are proofs by contradiction really logical?
logic
proof-theory
intuitionistic-logic
What is the correct reading of $\bot$?
logic
philosophy
proof-theory
Are the "proofs by contradiction" weaker than other proofs?
logic
proof-theory
Computability viewpoint of Godel/Rosser's incompleteness theorem
logic
reference-request
computability
proof-theory
incompleteness
Do we know if there exist true mathematical statements that can not be proven?
logic
induction
proof-theory
transfinite-recursion
How do we prove that something is unprovable?
logic
soft-question
proof-theory
Why is Q → P a logical consequence of ¬(P → Q )
logic
first-order-logic
proof-theory
Can every proof by contradiction also be shown without contradiction?
logic
proof-writing
propositional-calculus
proof-theory
Prev