Question

Could we take certain results as axioms and prove the original axioms using our new ones?

score 334 · Answer 1 · 2026-03-25 15:42:21

334

Views

Could we take certain results as axioms and prove the original axioms using our new ones?

Published on 25 Mar 2026 - 15:42

score 415 · Answer 2 · 2017-05-26 00:42:25

415

Views

Consistency strengths of theories required for physics?

Published on 26 May 2017 - 0:42

score 36 · Answer 3 · 2017-05-31 15:38:28

36

Views

Show that if $\vdash A_{m+1}$, then $ A_1,...,A_m \vdash B$ if and only if $ A_1,...,A_m,A_{m+1} \vdash B$.

Published on 31 May 2017 - 15:38

score 1.5k · Answer 4 · 2026-03-29 08:18:30

1.5k

Views

If the Collatz Conjecture is unsolvable is it true?

Published on 29 Mar 2026 - 8:18

score 182 · Answer 5 · 2017-06-04 23:03:30

182

Views

Prove that $(\exists k\in\mathbb{N})k>1$

Published on 04 Jun 2017 - 23:03

score 67 · Answer 6 · 2017-06-05 23:31:19

67

Views

Concept of proof by contradiction

Published on 05 Jun 2017 - 23:31

score 563 · Answer 7 · 2026-03-26 12:54:05

563

Views

Are provable statements at the bottom of the arithmetical hierarchy?

Published on 26 Mar 2026 - 12:54

score 97 · Answer 8 · 2017-06-14 22:10:36

97

Views

Validity of a proof requiring a non-terminating process?

Published on 14 Jun 2017 - 22:10

score 212 · Answer 9 · 2026-02-23 17:02:39

212

Views

Grigori Mints' ADC method of proof search for a natural deduction in "sequent-style" calculus

Published on 23 Feb 2026 - 17:02

score 428 · Answer 10 · 2026-02-23 16:58:13

428

Views

Proving a sequent in natural deduction sequent style with elimination rules only

Published on 23 Feb 2026 - 16:58

score 337 · Answer 11 · 2026-02-23 16:57:12

337

Views

A method for proving sequents in natural deduction sequent style using solely elimination rules and structural rules

Published on 23 Feb 2026 - 16:57

score 78 · Answer 12 · 2017-06-24 12:10:41

78

Views

Discussions of and reference for when the axiom of "moving a quantifier past a formula" holds as an equivalence

Published on 24 Jun 2017 - 12:10

score 561 · Answer 13 · 2026-03-27 03:41:24

561

Views

Small proof-theoretic ordinals

Published on 27 Mar 2026 - 3:41

score 1.1k · Answer 14 · 2026-03-26 10:45:11

1.1k

Views

Showing a Hilbert style axiomatic proof system and a Gentzen natural deduction in sequent style calculus are equivalent

Published on 26 Mar 2026 - 10:45

score 208 · Answer 15 · 2026-03-28 02:09:31

208

Views

Proof verification in second order logic

Published on 28 Mar 2026 - 2:09

List Question

Could we take certain results as axioms and prove the original axioms using our new ones?

Consistency strengths of theories required for physics?

Show that if $\vdash A_{m+1}$, then $ A_1,...,A_m \vdash B$ if and only if $ A_1,...,A_m,A_{m+1} \vdash B$.

If the Collatz Conjecture is unsolvable is it true?

Prove that $(\exists k\in\mathbb{N})k>1$

Concept of proof by contradiction

Are provable statements at the bottom of the arithmetical hierarchy?

Validity of a proof requiring a non-terminating process?

Grigori Mints' ADC method of proof search for a natural deduction in "sequent-style" calculus

Proving a sequent in natural deduction sequent style with elimination rules only

A method for proving sequents in natural deduction sequent style using solely elimination rules and structural rules

Discussions of and reference for when the axiom of "moving a quantifier past a formula" holds as an equivalence

Small proof-theoretic ordinals

Showing a Hilbert style axiomatic proof system and a Gentzen natural deduction in sequent style calculus are equivalent

Proof verification in second order logic

Trending Questions

Popular # Hahtags

Popular Questions