Question

When does a formal system cease to be able to be complete and consistent?

score 93 · Answer 1 · 2019-12-13 01:57:25

93

Views

When does a formal system cease to be able to be complete and consistent?

Published on 13 Dec 2019 - 1:57

score 41 · Answer 2 · 2020-01-30 13:38:53

41

Views

Help interpreting a logical formula

Published on 30 Jan 2020 - 13:38

score 149 · Answer 3 · 2020-03-27 16:26:53

149

Views

Proof of *2.38 in Principia Mathematica (Russell/Whitehead)

Published on 27 Mar 2020 - 16:26

score 111 · Answer 4 · 2020-04-13 08:16:10

111

Views

Are there in mathematics some non-logical axioms which are not obviously true but we accept them as true?

Published on 13 Apr 2020 - 8:16

score 95 · Answer 5 · 2026-02-23 15:18:50

95

Views

What motivated people like Euclid to create such a general axiomatic systems like the one in the book Elements so early in history?

Published on 23 Feb 2026 - 15:18

score 67 · Answer 6 · 2020-04-29 20:28:52

67

Views

How weak can a formal system be that codifies most formal systems?

Published on 29 Apr 2020 - 20:28

score 72 · Answer 7 · 2020-05-09 01:12:36

72

Views

Is there a point at which you can no longer formally define something in math?

Published on 09 May 2020 - 1:12

score 76 · Answer 8 · 2020-05-09 19:55:15

76

Views

Question about MU puzzle from GEB

Published on 09 May 2020 - 19:55

score 108 · Answer 9 · 2020-05-30 05:53:19

108

Views

Are Real Numbers a Formal System?

Published on 30 May 2020 - 5:53

score 78 · Answer 10 · 2020-06-12 18:16:18

78

Views

Does a formal system that proves everything that is provable exists?

Published on 12 Jun 2020 - 18:16

score 144 · Answer 11 · 2020-07-08 11:09:13

144

Views

Is linear algebra a formal system?

Published on 08 Jul 2020 - 11:09

score 33 · Answer 12 · 2020-07-27 02:20:51

33

Views

Is the semantics of a first order logic system defined as part of the first order logic system?

Published on 27 Jul 2020 - 2:20

score 297 · Answer 13 · 2016-07-13 18:01:50

297

Views

Defining functions in second-order arithmetic

Published on 13 Jul 2016 - 18:01

score 220 · Answer 14 · 2016-08-15 19:55:06

220

Views

equality – just a relation between two objects?

Published on 15 Aug 2016 - 19:55

score 142 · Answer 15 · 2016-08-25 15:15:58

142

Views

Can Left Conjunction Elimination Get Proven in M in Less Than 30 lines?

Published on 25 Aug 2016 - 15:15

List Question

When does a formal system cease to be able to be complete and consistent?

Help interpreting a logical formula

Proof of *2.38 in Principia Mathematica (Russell/Whitehead)

Are there in mathematics some non-logical axioms which are not obviously true but we accept them as true?

What motivated people like Euclid to create such a general axiomatic systems like the one in the book Elements so early in history?

How weak can a formal system be that codifies most formal systems?

Is there a point at which you can no longer formally define something in math?

Question about MU puzzle from GEB

Are Real Numbers a Formal System?

Does a formal system that proves everything that is provable exists?

Is linear algebra a formal system?

Is the semantics of a first order logic system defined as part of the first order logic system?

Defining functions in second-order arithmetic

equality – just a relation between two objects?

Can Left Conjunction Elimination Get Proven in M in Less Than 30 lines?

Trending Questions

Popular # Hahtags

Popular Questions