Question

reverse direction of modus ponens

score 1.5k · Answer 1 · 2013-04-28 16:43:49

1.5k

Views

reverse direction of modus ponens

Published on 28 Apr 2013 - 16:43

score 215 · Answer 2 · 2013-05-06 19:34:06

215

Views

formalized provability predicate and implication relation

Published on 06 May 2013 - 19:34

score 436 · Answer 3 · 2013-05-11 14:29:24

436

Views

Growth-rate vs totality

Published on 11 May 2013 - 14:29

score 203 · Answer 4 · 2013-06-05 08:18:47

What can we say about a fixed point for a provability predicate in deductively defined theory that satisfies diagonalisation lemma

score 122 · Answer 5 · 2013-06-05 12:43:29

122

Views

Can we add to PA a new predicate T such that for every sentence A of the old vocabulary the new theory proves $T(\ulcorner A\urcorner)\equiv A$

Published on 05 Jun 2013 - 12:43

score 133 · Answer 6 · 2026-03-25 05:48:43

133

Views

Question concerning satisfiability in a certain Kripke model

Published on 25 Mar 2026 - 5:48

score 132 · Answer 7 · 2013-06-26 09:44:45

132

Views

Can ZFC+A and ZFC+negation of A be both inconsistent where A is some conjecture?

Published on 26 Jun 2013 - 9:44

score 552 · Answer 8 · 2013-06-26 09:51:34

552

Views

Can an unprovable statement be interpreted as being generally true in some cases?

Published on 26 Jun 2013 - 9:51

score 263 · Answer 9 · 2013-08-24 19:01:42

263

Views

What is the connection between provability logic & Gödel's first incompleteness theorem?

Published on 24 Aug 2013 - 19:01

score 109 · Answer 10 · 2013-09-06 01:28:07

109

Views

Tricking the Second Incompleteness Theorem

Published on 06 Sep 2013 - 1:28

score 321 · Answer 11 · 2013-09-21 18:54:40

321

Views

Is the converse of the first Hilbert-Bernays Derivability Condition true?

Published on 21 Sep 2013 - 18:54

score 138 · Answer 12 · 2013-09-28 12:11:23

138

Views

Getting into formal logic

Published on 28 Sep 2013 - 12:11

score 1.5k · Answer 13 · 2013-10-01 18:39:31

1.5k

Views

Does a proof by contradiction always exist?

Published on 01 Oct 2013 - 18:39

score 76 · Answer 14 · 2013-11-07 20:04:54

76

Views

Are there thoughtfully simple concepts that we cannot currently prove?

Published on 07 Nov 2013 - 20:04

score 1.1k · Answer 15 · 2013-12-18 01:08:54

1.1k

Views

Proving that there exists something.

Published on 18 Dec 2013 - 1:08

List Question

reverse direction of modus ponens

formalized provability predicate and implication relation

Growth-rate vs totality

What can we say about a fixed point for a provability predicate in deductively defined theory that satisfies diagonalisation lemma

Can we add to PA a new predicate T such that for every sentence A of the old vocabulary the new theory proves $T(\ulcorner A\urcorner)\equiv A$

Question concerning satisfiability in a certain Kripke model

Can ZFC+A and ZFC+negation of A be both inconsistent where A is some conjecture?

Can an unprovable statement be interpreted as being generally true in some cases?

What is the connection between provability logic & Gödel's first incompleteness theorem?

Tricking the Second Incompleteness Theorem

Is the converse of the first Hilbert-Bernays Derivability Condition true?

Getting into formal logic

Does a proof by contradiction always exist?

Are there thoughtfully simple concepts that we cannot currently prove?

Proving that there exists something.

Trending Questions

Popular # Hahtags

Popular Questions