List questions from proof-theory

Published on 20 Mar 2026 - 11:48

134

Views

Is this proof correct? (Proof Theory)

Published on 18 Mar 2026 - 1:08

122

Views

Finite axiomatizability of theories in infinitary logic?

Published on 20 Mar 2026 - 6:06

41

Views

Stochastic proof variance

Published on 17 Mar 2026 - 11:17

55

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 20 Mar 2026 - 10:30

109

Views

Deduction in polynomial calculus.

Published on 19 Mar 2026 - 19:31

60

Views

Are there automated proof search algorithms for extended Frege systems?

Published on 20 Mar 2026 - 4:36

182

Views

Exotic schemes of implications, examples

Published on 20 Mar 2026 - 13:42

1k

Views

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

Published on 22 Mar 2026 - 10:24

314

Views

Proofs using theorems instead of axioms

Published on 20 Mar 2026 - 6:50

772

Views

What is finitistic reasoning?

Published on 23 Mar 2026 - 7:01

137

Views

Question about consistency of axiomatic systems

Published on 24 Mar 2026 - 20:32

795

Views

Proof of correctness (loop invariant) for Fibonacci numbers

Published on 23 Mar 2026 - 1:44

354

Views

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

Published on 22 Mar 2026 - 16:14

3.4k

Views

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

Published on 17 Mar 2026 - 6:03

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