Question

Does the Definition of a Formal Proof in Mendelson's Book Allow for the Use of Theorem/Derived Axiom Schema in Formal Proofs?

score 269 · Answer 1 · 2016-08-28 05:49:26

269

Views

Does the Definition of a Formal Proof in Mendelson's Book Allow for the Use of Theorem/Derived Axiom Schema in Formal Proofs?

Published on 28 Aug 2016 - 5:49

score 67 · Answer 2 · 2016-08-28 18:03:38

67

Views

Can the Negation of a Conditional Implying the First Atomic Proposition Get Proven in Around 50 Steps?

Published on 28 Aug 2016 - 18:03

score 100 · Answer 3 · 2016-10-09 12:58:24

100

Views

Is there a formal class theory that suffices to formalize the basic notions of category theory?

Published on 09 Oct 2016 - 12:58

score 683 · Answer 4 · 2016-10-10 12:51:31

683

Views

Is the Russell paradox formalizable in type theories?

Published on 10 Oct 2016 - 12:51

score 148 · Answer 5 · 2016-10-25 03:04:17

148

Views

How might one prove that $x$ is an element of $\{x, y\}$ in some formal system?

Published on 25 Oct 2016 - 3:04

score 363 · Answer 6 · 2016-11-02 18:28:17

363

Views

Properties of logical systems: which field study it?

Published on 02 Nov 2016 - 18:28

score 463 · Answer 7 · 2016-11-06 18:03:24

463

Views

How to find out whether the formal system is complete and sound?

Published on 06 Nov 2016 - 18:03

score 1.3k · Answer 8 · 2016-11-11 14:35:33

1.3k

Views

What is the difference between a formal system and first order logic?

Published on 11 Nov 2016 - 14:35

score 171 · Answer 9 · 2016-11-11 23:51:17

171

Views

Show that a given formula is not provable without the associative rule

Published on 11 Nov 2016 - 23:51

score 132 · Answer 10 · 2016-11-29 05:57:34

132

Views

Which formal system (aka platform) is the best for selfstudying Category Theory?

Published on 29 Nov 2016 - 5:57

score 60 · Answer 11 · 2016-12-04 21:45:41

60

Views

Efficiently Verifying "identities" in Arithmetic

Published on 04 Dec 2016 - 21:45

score 61 · Answer 12 · 2016-12-09 05:21:39

61

Views

Given an axiom in a formal system, can we always find another formal system in which this axiom is a theorem?

Published on 09 Dec 2016 - 5:21

score 32 · Answer 13 · 2017-01-11 13:59:43

32

Views

Formal verification of function contract?

Published on 11 Jan 2017 - 13:59

score 57 · Answer 14 · 2017-01-28 17:16:27

57

Views

Is there a standard notion of a "theory of Turing machines"?

Published on 28 Jan 2017 - 17:16

score 59 · Answer 15 · 2017-02-03 21:56:52

59

Views

How to state the "unsolvability of quintic by radicals" in 2nd and higher order logic?

Published on 03 Feb 2017 - 21:56

List Question

Does the Definition of a Formal Proof in Mendelson's Book Allow for the Use of Theorem/Derived Axiom Schema in Formal Proofs?

Can the Negation of a Conditional Implying the First Atomic Proposition Get Proven in Around 50 Steps?

Is there a formal class theory that suffices to formalize the basic notions of category theory?

Is the Russell paradox formalizable in type theories?

How might one prove that $x$ is an element of $\{x, y\}$ in some formal system?

Properties of logical systems: which field study it?

How to find out whether the formal system is complete and sound?

What is the difference between a formal system and first order logic?

Show that a given formula is not provable without the associative rule

Which formal system (aka platform) is the best for selfstudying Category Theory?

Efficiently Verifying "identities" in Arithmetic

Given an axiom in a formal system, can we always find another formal system in which this axiom is a theorem?

Formal verification of function contract?

Is there a standard notion of a "theory of Turing machines"?

How to state the "unsolvability of quintic by radicals" in 2nd and higher order logic?

Trending Questions

Popular # Hahtags

Popular Questions