Question

Characterization for unprovable formulas for first-order logic

score 95 · Answer 1 · 2021-09-07 16:55:19

95

Views

Characterization for unprovable formulas for first-order logic

Published on 07 Sep 2021 - 16:55

score 835 · Answer 2 · 2021-09-11 18:42:58

835

Views

Incompleteness theorem: Peano arithmetic vs. standard model of arithmetic

Published on 11 Sep 2021 - 18:42

score 240 · Answer 3 · 2021-09-20 00:53:39

240

Views

Does $\mathbf{Z}$ prove existence of transitive closure of every set?

Published on 20 Sep 2021 - 0:53

score 65 · Answer 4 · 2021-10-09 16:16:50

65

Views

Is it possible to obtain a contradiction from provability logic GL + inference rule ($\square P$ ==> $P$)

Published on 09 Oct 2021 - 16:16

score 224 · Answer 5 · 2021-10-22 02:44:41

224

Views

Are provable statements true?

Published on 22 Oct 2021 - 2:44

score 113 · Answer 6 · 2021-10-22 09:54:33

113

Views

Independent events in Probability theory

Published on 22 Oct 2021 - 9:54

score 68 · Answer 7 · 2021-10-31 09:45:18

68

Views

For every $n \in \mathbb {N} $, assume $p_{n}$ is the $n^{th}$ prime number. if $n \gt 1$, prove that $p_{n}\lt 2^{n}$.

Published on 31 Oct 2021 - 9:45

score 83 · Answer 8 · 2021-11-13 09:26:40

83

Views

Is the set of all provable theorems countable?

Published on 13 Nov 2021 - 9:26

score 86 · Answer 9 · 2021-11-13 09:54:55

86

Views

Can we have another set of inference rule which is simplier and equivalent (in the sense that they prove the same formulas)?

Published on 13 Nov 2021 - 9:54

score 268 · Answer 10 · 2021-12-06 03:00:09

268

Views

What is the truth value if any for $f(x)=y$ when $x$ is outside of the domain of $f$?

Published on 06 Dec 2021 - 3:00

score 184 · Answer 11 · 2021-12-10 14:10:09

184

Views

Prove or disprove: if Γ ⊢ α and Γ ⊆ ∆ then ∆ ⊢ α

Published on 10 Dec 2021 - 14:10

score 83 · Answer 12 · 2021-12-16 06:38:34

83

Views

How can I encode a proof in PA as a godel number?

Published on 16 Dec 2021 - 6:38

score 122 · Answer 13 · 2021-12-17 20:14:03

122

Views

Ultra-finite math

Published on 17 Dec 2021 - 20:14

score 72 · Answer 14 · 2021-12-24 15:42:30

72

Views

Questions about logic and proof systems

Published on 24 Dec 2021 - 15:42

score 318 · Answer 15 · 2021-12-28 20:07:41

318

Views

Number of k-tuples of non-negative integers whose sum equals a given integer

Published on 28 Dec 2021 - 20:07

List Question

Characterization for unprovable formulas for first-order logic

Incompleteness theorem: Peano arithmetic vs. standard model of arithmetic

Does $\mathbf{Z}$ prove existence of transitive closure of every set?

Is it possible to obtain a contradiction from provability logic GL + inference rule ($\square P$ ==> $P$)

Are provable statements true?

Independent events in Probability theory

For every $n \in \mathbb {N} $, assume $p_{n}$ is the $n^{th}$ prime number. if $n \gt 1$, prove that $p_{n}\lt 2^{n}$.

Is the set of all provable theorems countable?

Can we have another set of inference rule which is simplier and equivalent (in the sense that they prove the same formulas)?

What is the truth value if any for $f(x)=y$ when $x$ is outside of the domain of $f$?

Prove or disprove: if Γ ⊢ α and Γ ⊆ ∆ then ∆ ⊢ α

How can I encode a proof in PA as a godel number?

Ultra-finite math

Questions about logic and proof systems

Number of k-tuples of non-negative integers whose sum equals a given integer

Trending Questions

Popular # Hahtags

Popular Questions