Question

Is this description of "ordinary induction" from Velleman's How to Prove It correct?

score 210 · Answer 1 · 2019-01-07 18:26:31

210

Views

Is this description of "ordinary induction" from Velleman's How to Prove It correct?

Published on 07 Jan 2019 - 18:26

score 310 · Answer 2 · 2026-03-17 19:07:12

310

Views

Distributive property of tensor ($\otimes$) over par (⅋) in linear logic

Published on 17 Mar 2026 - 19:07

score 3.9k · Answer 3 · 2019-01-16 01:54:22

3.9k

Views

Proving A $\implies$ B or A $\implies$ C

Published on 16 Jan 2019 - 1:54

score 45 · Answer 4 · 2019-01-19 03:49:54

45

Views

Formalization of an Intuitive Proof of the Surface Area of a Sphere

Published on 19 Jan 2019 - 3:49

score 99 · Answer 5 · 2019-01-20 04:13:19

99

Views

Is there a notion that quantify the dependence of a proof on AC?

Published on 20 Jan 2019 - 4:13

score 141 · Answer 6 · 2019-01-20 17:58:31

141

Views

If statement A requires B to be true, is it possible to prove A without using B?

Published on 20 Jan 2019 - 17:58

score 327 · Answer 7 · 2026-03-25 08:13:43

327

Views

How to use natural deduction to show $\neg (P \land Q) \vdash \neg P \lor \neg Q$?

Published on 25 Mar 2026 - 8:13

score 849 · Answer 8 · 2026-03-24 23:45:59

849

Views

What is the purpose of Semantics/Model theory in Mathematical Foundations?

Published on 24 Mar 2026 - 23:45

score 101 · Answer 9 · 2019-01-26 02:40:09

101

Views

Relation between strong normalization (say, of Godel's T) and consistency of a proof system (say PA)

Published on 26 Jan 2019 - 2:40

score 314 · Answer 10 · 2026-03-25 07:38:11

314

Views

Arithmetic systems without Induction

Published on 25 Mar 2026 - 7:38

score 108 · Answer 11 · 2019-01-28 03:38:10

108

Views

How to prove the following formula using indirect proofs?

Published on 28 Jan 2019 - 3:38

score 46 · Answer 12 · 2019-01-29 01:22:37

46

Views

Proving certain obvious tautologies in the calculus of constructions

Published on 29 Jan 2019 - 1:22

score 168 · Answer 13 · 2026-03-25 09:29:12

168

Views

Formal Deduction (logic) Question: $\lnot C, (B \to \lnot C) \to A \vdash (A \to C) \to F$

Published on 25 Mar 2026 - 9:29

score 145 · Answer 14 · 2026-03-25 09:28:47

145

Views

Proof of $(P\to Q) \vee (Q\to P)$ with natural deduction

Published on 25 Mar 2026 - 9:28

score 81 · Answer 15 · 2026-02-23 04:55:25

81

Views

Regarding L$\to$ rule in sequent calculus and difference between G1$_c$ and G1$_i$ system

Published on 23 Feb 2026 - 4:55

List Question

Is this description of "ordinary induction" from Velleman's How to Prove It correct?

Distributive property of tensor ($\otimes$) over par (⅋) in linear logic

Proving A $\implies$ B or A $\implies$ C

Formalization of an Intuitive Proof of the Surface Area of a Sphere

Is there a notion that quantify the dependence of a proof on AC?

If statement A requires B to be true, is it possible to prove A without using B?

How to use natural deduction to show $\neg (P \land Q) \vdash \neg P \lor \neg Q$?

What is the purpose of Semantics/Model theory in Mathematical Foundations?

Relation between strong normalization (say, of Godel's T) and consistency of a proof system (say PA)

Arithmetic systems without Induction

How to prove the following formula using indirect proofs?

Proving certain obvious tautologies in the calculus of constructions

Formal Deduction (logic) Question: $\lnot C, (B \to \lnot C) \to A \vdash (A \to C) \to F$

Proof of $(P\to Q) \vee (Q\to P)$ with natural deduction

Regarding L$\to$ rule in sequent calculus and difference between G1$_c$ and G1$_i$ system

Trending Questions

Popular # Hahtags

Popular Questions