Question

Is there a way to prove that the absurdity axiom is consistent?

score 125 · Answer 1 · 2016-08-16 02:37:16

125

Views

Is there a way to prove that the absurdity axiom is consistent?

Published on 16 Aug 2016 - 2:37

score 10.4k · Answer 2 · 2016-09-01 20:06:16

10.4k

Views

"If P, then Q; If P, then R; Therefore: If Q, then R." Fallacy and Transitivity

Published on 01 Sep 2016 - 20:06

score 1k · Answer 3 · 2016-10-19 05:45:27

1k

Views

Set theory and type theory as the "foundation of mathematics"

Published on 19 Oct 2016 - 5:45

score 106 · Answer 4 · 2017-01-12 21:15:35

106

Views

Questionable step in universal generalization metatheorem proof

Published on 12 Jan 2017 - 21:15

score 318 · Answer 5 · 2017-01-28 19:39:43

318

Views

Proving that every valid formula is derivable in natural deduction

Published on 28 Jan 2017 - 19:39

score 216 · Answer 6 · 2017-03-26 18:41:12

216

Views

I think the truth value of F ⇒ T should be undefined.

Published on 26 Mar 2017 - 18:41

score 173 · Answer 7 · 2023-04-05 18:14:35

173

Views

Type Theory as a Meta-Language for Logic

Published on 05 Apr 2023 - 18:14

score 50 · Answer 8 · 2023-05-14 10:04:50

50

Views

How to prove the Gödel sentence is true (in the metalanguage), assuming only consistency of a theory.

Published on 14 May 2023 - 10:04

score 87 · Answer 9 · 2023-05-28 16:59:14

87

Views

Are there "Godel encodings" for non-arithmetic theories?

Published on 28 May 2023 - 16:59

score 121 · Answer 10 · 2023-05-30 21:17:49

121

Views

What is the most primitive notion in mathematics?

Published on 30 May 2023 - 21:17

score 47 · Answer 11 · 2023-06-06 01:35:40

47

Views

Bisimulation games to compare equivalent but not bisimilar BML models

Published on 06 Jun 2023 - 1:35

score 68 · Answer 12 · 2023-06-11 23:37:42

68

Views

Not wanting to express the Gödel number of the actual string

Published on 11 Jun 2023 - 23:37

score 29 · Answer 13 · 2023-06-13 09:16:36

29

Views

Help in understanding this proof in Mendelson

Published on 13 Jun 2023 - 9:16

score 103 · Answer 14 · 2023-07-24 21:16:50

103

Views

Is the deducutive apparatus of a formal system necessarily a set of inference rules?

Published on 24 Jul 2023 - 21:16

score 34 · Answer 15 · 2023-08-01 14:52:07

34

Views

Is it possible to axiomatize classical logic with only two meta-variables?

Published on 01 Aug 2023 - 14:52

List Question

Is there a way to prove that the absurdity axiom is consistent?

"If P, then Q; If P, then R; Therefore: If Q, then R." Fallacy and Transitivity

Set theory and type theory as the "foundation of mathematics"

Questionable step in universal generalization metatheorem proof

Proving that every valid formula is derivable in natural deduction

I think the truth value of F ⇒ T should be undefined.

Type Theory as a Meta-Language for Logic

How to prove the Gödel sentence is true (in the metalanguage), assuming only consistency of a theory.

Are there "Godel encodings" for non-arithmetic theories?

What is the most primitive notion in mathematics?

Bisimulation games to compare equivalent but not bisimilar BML models

Not wanting to express the Gödel number of the actual string

Help in understanding this proof in Mendelson

Is the deducutive apparatus of a formal system necessarily a set of inference rules?

Is it possible to axiomatize classical logic with only two meta-variables?

Trending Questions

Popular # Hahtags

Popular Questions