Question

Alternatives to pure quantifier logic

score 393 · Answer 1 · 2026-03-31 16:51:30

393

Views

Alternatives to pure quantifier logic

Published on 31 Mar 2026 - 16:51

score 114 · Answer 2 · 2026-03-30 06:27:22

114

Views

Prereqisites for: Subsystems of second order arithmetic

Published on 30 Mar 2026 - 6:27

score 6.1k · Answer 3 · 2026-03-30 06:27:26

6.1k

Views

Can proof by contradiction 'fail'?

Published on 30 Mar 2026 - 6:27

score 577 · Answer 4 · 2026-03-31 11:56:27

577

Views

What book on Set Theory is best to understand motivation for axiomatization?

Published on 31 Mar 2026 - 11:56

score 146 · Answer 5 · 2026-03-27 23:46:35

146

Views

Could relational operators be used to construct formal theory of natural numbers which is "stronger" than Peano Axioms?

Published on 27 Mar 2026 - 23:46

score 125 · Answer 6 · 2016-04-05 11:59:45

125

Views

Is isomorphism defined between large categories?

Published on 05 Apr 2016 - 11:59

score 72 · Answer 7 · 2026-03-25 19:05:24

72

Views

Any foundational theory of math falls prey to the incompleteness theorems - true or false?

Published on 25 Mar 2026 - 19:05

score 590 · Answer 8 · 2016-04-14 09:10:32

590

Views

Why include equality in FOL for ZFC?

Published on 14 Apr 2016 - 9:10

score 162 · Answer 9 · 2026-03-27 17:54:15

162

Views

Impossibility of proving a foundation to be consistent

Published on 27 Mar 2026 - 17:54

score 1.2k · Answer 10 · 2016-04-16 11:12:37

1.2k

Views

Why doesn't this definition of natural numbers hold up in axiomatic set theory?

Published on 16 Apr 2016 - 11:12

score 78 · Answer 11 · 2016-04-17 10:55:05

78

Views

Need an assistance with a specific step of a specific Division Algorithm proof

Published on 17 Apr 2016 - 10:55

score 3.1k · Answer 12 · 2016-04-18 13:14:37

3.1k

Views

How are image and pre-image different from range and domain respectively?

Published on 18 Apr 2016 - 13:14

score 91 · Answer 13 · 2016-04-18 20:17:06

91

Views

What type of reasoning is employed when studying metalogic?

Published on 18 Apr 2016 - 20:17

score 166 · Answer 14 · 2016-04-29 14:10:06

166

Views

How can mathematics work in wildly different set theories?

Published on 29 Apr 2016 - 14:10

score 160 · Answer 15 · 2016-05-02 14:35:26

160

Views

Can these definitions of the words "problem" and "solution" be formalized, and if so, has this been done? If so, where can I learn more about it?

Published on 02 May 2016 - 14:35

List Question

Alternatives to pure quantifier logic

Prereqisites for: Subsystems of second order arithmetic

Can proof by contradiction 'fail'?

What book on Set Theory is best to understand motivation for axiomatization?

Could relational operators be used to construct formal theory of natural numbers which is "stronger" than Peano Axioms?

Is isomorphism defined between large categories?

Any foundational theory of math falls prey to the incompleteness theorems - true or false?

Why include equality in FOL for ZFC?

Impossibility of proving a foundation to be consistent

Why doesn't this definition of natural numbers hold up in axiomatic set theory?

Need an assistance with a specific step of a specific Division Algorithm proof

How are image and pre-image different from range and domain respectively?

What type of reasoning is employed when studying metalogic?

How can mathematics work in wildly different set theories?

Can these definitions of the words "problem" and "solution" be formalized, and if so, has this been done? If so, where can I learn more about it?

Trending Questions

Popular # Hahtags

Popular Questions