Question

$A$ is without quantifiers and $\exists_xA$ is valid then for Herbrand structure $H$ there is a closed term $t$ that $H \vdash A \{t/x \}$

score 35 · Answer 1 · 2026-04-13 18:04:14

35

Views

$A$ is without quantifiers and $\exists_xA$ is valid then for Herbrand structure $H$ there is a closed term $t$ that $H \vdash A \{t/x \}$

Published on 13 Apr 2026 - 18:04

score 137 · Answer 2 · 2026-04-11 19:22:15

137

Views

Assuming that an arbitrary Infinite Time Turing Machine halts, is it possible to have a finite proof of the fact that it halts?

Published on 11 Apr 2026 - 19:22

score 2.1k · Answer 3 · 2026-04-10 22:10:52

2.1k

Views

Gödel's paradox: Why is "a proof that some universal statement is unprovable" not a valid proof that this statement is true?

Published on 10 Apr 2026 - 22:10

score 273 · Answer 4 · 2026-04-15 09:36:57

273

Views

Prove that this determinant equals zero

Published on 15 Apr 2026 - 9:36

score 51 · Answer 5 · 2026-04-09 21:13:11

51

Views

It is possible to calculate this probability

Published on 09 Apr 2026 - 21:13

score 90 · Answer 6 · 2026-04-12 00:53:24

90

Views

Is the distribution axiom in the modal system K an equivalence?

Published on 12 Apr 2026 - 0:53

score 1.4k · Answer 7 · 2026-04-12 04:38:23

1.4k

Views

What does it mean for something to be true but unprovable?

Published on 12 Apr 2026 - 4:38

score 141 · Answer 8 · 2026-05-10 13:47:37

141

Views

Strongest tools to detect unsoundness

Published on 10 May 2026 - 13:47

score 64 · Answer 9 · 2026-04-10 07:36:40

64

Views

How to prove an inequality

Published on 10 Apr 2026 - 7:36

score 66 · Answer 10 · 2026-04-16 09:42:59

66

Views

How to prove $\sum\limits_{k=0}^n\ (3k^2+2k+1) = n^3 + 5 \begin{pmatrix}n+1\\2\end{pmatrix}+1$

Published on 16 Apr 2026 - 9:42

score 539 · Answer 11 · 2026-04-13 22:26:53

539

Views

can it be proven that something is "difficult" (prime factoring for example)

Published on 13 Apr 2026 - 22:26

score 2.1k · Answer 12 · 2026-04-11 10:50:35

2.1k

Views

Is Riemann Hypothesis provable?

Published on 11 Apr 2026 - 10:50

score 313 · Answer 13 · 2026-04-13 21:41:30

313

Views

What are techniques for proving undecidability or unprovability of a sentence?

Published on 13 Apr 2026 - 21:41

score 1.9k · Answer 14 · 2026-05-10 17:00:43

1.9k

Views

how to prove : there are an infinite number of points on the circle

Published on 10 May 2026 - 17:00

score 1.7k · Answer 15 · 2026-04-13 04:16:22

1.7k

Views

Can unprovability unprovable? Is there an $\omega$-fold unprovability?

Published on 13 Apr 2026 - 4:16

List Question

$A$ is without quantifiers and $\exists_xA$ is valid then for Herbrand structure $H$ there is a closed term $t$ that $H \vdash A \{t/x \}$

Assuming that an arbitrary Infinite Time Turing Machine halts, is it possible to have a finite proof of the fact that it halts?

Gödel's paradox: Why is "a proof that some universal statement is unprovable" not a valid proof that this statement is true?

Prove that this determinant equals zero

It is possible to calculate this probability

Is the distribution axiom in the modal system K an equivalence?

What does it mean for something to be true but unprovable?

Strongest tools to detect unsoundness

How to prove an inequality

How to prove $\sum\limits_{k=0}^n\ (3k^2+2k+1) = n^3 + 5 \begin{pmatrix}n+1\\2\end{pmatrix}+1$

can it be proven that something is "difficult" (prime factoring for example)

Is Riemann Hypothesis provable?

What are techniques for proving undecidability or unprovability of a sentence?

how to prove : there are an infinite number of points on the circle

Can unprovability unprovable? Is there an $\omega$-fold unprovability?

Trending Questions

Popular # Hahtags

Popular Questions