Question

Can it be that the only way to prove a theorem is based on generation of new tautologies?

score 65 · Answer 1 · 2020-12-20 11:57:38

65

Views

Can it be that the only way to prove a theorem is based on generation of new tautologies?

Published on 20 Dec 2020 - 11:57

score 709 · Answer 2 · 2026-03-26 18:51:49

709

Views

In Homotopy Type Theory, how do the continuous notions of spaces and paths, match the discrete notions of constructible terms and proofs?

Published on 26 Mar 2026 - 18:51

score 515 · Answer 3 · 2026-03-26 20:40:38

515

Views

Course-of-values induction, according to Kleene IM (1952)

Published on 26 Mar 2026 - 20:40

score 223 · Answer 4 · 2021-01-09 20:35:25

223

Views

If I can prove $Y$ from "$X$ is true" and from "$X$ is false", can I prove $Y$ without using $X$ at all?

Published on 09 Jan 2021 - 20:35

score 279 · Answer 5 · 2021-01-20 16:04:31

279

Views

Formal proof for first-order logic question using natural deduction

Published on 20 Jan 2021 - 16:04

score 73 · Answer 6 · 2021-01-25 02:13:48

73

Views

What are some tips for finding the infimum and supremum when bounds are not given explicitly?

Published on 25 Jan 2021 - 2:13

score 89 · Answer 7 · 2021-02-01 02:59:17

89

Views

Proof by Induction for $\sum_{i = 1}^{n - 1} \frac{1}{i(i+1)}$

Published on 01 Feb 2021 - 2:59

score 80 · Answer 8 · 2026-03-26 12:48:24

80

Views

Is it possible to list all hidden lemmas of a proof?

Published on 26 Mar 2026 - 12:48

score 160 · Answer 9 · 2026-02-23 20:43:28

160

Views

Sequent calculus: What does it mean to say “choose the sequents from which we can derive some other sequent via the right conjunction rule”?

Published on 23 Feb 2026 - 20:43

score 87 · Answer 10 · 2021-02-16 22:14:41

87

Views

Does this simple proof use the axiom of choice?

Published on 16 Feb 2021 - 22:14

score 161 · Answer 11 · 2026-03-29 03:44:29

161

Views

Relation between Halting problem and Godel's incompleteness Theorem

Published on 29 Mar 2026 - 3:44

score 1.4k · Answer 12 · 2021-02-20 06:47:23

1.4k

Views

Proof without using truth tables

Published on 20 Feb 2021 - 6:47

score 34 · Answer 13 · 2026-03-25 09:25:46

34

Views

meaning of “modulo” in Formal Methods.

Published on 25 Mar 2026 - 9:25

score 125 · Answer 14 · 2021-03-20 23:13:45

125

Views

Formal Proof of "No Largest Number"

Published on 20 Mar 2021 - 23:13

score 14 · Answer 15 · 2026-03-01 20:26:07

14

Views

What are some common invalid forms in set theory and equational reasoning?

Published on 01 Mar 2026 - 20:26

List Question

Can it be that the only way to prove a theorem is based on generation of new tautologies?

In Homotopy Type Theory, how do the continuous notions of spaces and paths, match the discrete notions of constructible terms and proofs?

Course-of-values induction, according to Kleene IM (1952)

If I can prove $Y$ from "$X$ is true" and from "$X$ is false", can I prove $Y$ without using $X$ at all?

Formal proof for first-order logic question using natural deduction

What are some tips for finding the infimum and supremum when bounds are not given explicitly?

Proof by Induction for $\sum_{i = 1}^{n - 1} \frac{1}{i(i+1)}$

Is it possible to list all hidden lemmas of a proof?

Sequent calculus: What does it mean to say “choose the sequents from which we can derive some other sequent via the right conjunction rule”?

Does this simple proof use the axiom of choice?

Relation between Halting problem and Godel's incompleteness Theorem

Proof without using truth tables

meaning of “modulo” in Formal Methods.

Formal Proof of "No Largest Number"

What are some common invalid forms in set theory and equational reasoning?

Trending Questions

Popular # Hahtags

Popular Questions