List questions from proof-theory

Published on 29 Apr 2026 - 12:31

144

Views

Is this proof correct? (Proof Theory)

Published on 29 Apr 2026 - 12:19

132

Views

Finite axiomatizability of theories in infinitary logic?

Published on 07 May 2026 - 12:07

54

Views

Stochastic proof variance

Published on 05 May 2026 - 6:21

62

Views

If $(x^{(n)})^∞_{n=m}$ is Cauchy and if some subsequence of $(x^{(n)})^∞_{n=m}$ converges then so does $(x^{(n)})^∞_{n=m}$

Published on 29 Apr 2026 - 12:19

117

Views

Deduction in polynomial calculus.

Published on 07 May 2026 - 17:08

66

Views

Are there automated proof search algorithms for extended Frege systems?

Published on 29 Apr 2026 - 12:18

193

Views

Exotic schemes of implications, examples

Published on 29 Apr 2026 - 12:19

1k

Views

Is there any formal problem that cannot be proven using mathematical induction?

Published on 07 May 2026 - 12:47

322

Views

Proofs using theorems instead of axioms

Published on 29 Apr 2026 - 12:19

783

Views

What is finitistic reasoning?

Published on 29 Apr 2026 - 12:19

144

Views

Question about consistency of axiomatic systems

Published on 29 Apr 2026 - 12:19

803

Views

Proof of correctness (loop invariant) for Fibonacci numbers

Published on 04 May 2026 - 8:44

365

Views

Is there a theorem that can easily be proved to be non intuitionistic?

Published on 03 May 2026 - 8:51

3.4k

Views

How can we know we're not accidentally talking about non-standard integers?

Published on 29 Apr 2026 - 12:19

List Question

Decision procedure in Presburger arithmetic

Is this proof correct? (Proof Theory)

Finite axiomatizability of theories in infinitary logic?

Stochastic proof variance

If $(x^{(n)})^∞_{n=m}$ is Cauchy and if some subsequence of $(x^{(n)})^∞_{n=m}$ converges then so does $(x^{(n)})^∞_{n=m}$

Deduction in polynomial calculus.

Are there automated proof search algorithms for extended Frege systems?

Exotic schemes of implications, examples

Is there any formal problem that cannot be proven using mathematical induction?

Proofs using theorems instead of axioms

What is finitistic reasoning?

Question about consistency of axiomatic systems

Proof of correctness (loop invariant) for Fibonacci numbers

Is there a theorem that can easily be proved to be non intuitionistic?

How can we know we're not accidentally talking about non-standard integers?

Trending Questions

Popular # Hahtags

Popular Questions