Question

In which order should I learn the foundations of mathematics?

score 821 · Answer 1 · 2026-03-30 08:04:39

821

Views

In which order should I learn the foundations of mathematics?

Published on 30 Mar 2026 - 8:04

score 143 · Answer 2 · 2026-03-28 09:54:31

143

Views

Different Mathematics

Published on 28 Mar 2026 - 9:54

score 117 · Answer 3 · 2016-05-09 20:26:13

117

Views

Has it been proved that ∨ ∧ ¬ ⇒ ⇔ ∀ ∃ and predicates are enough to express all known mathematics?

Published on 09 May 2016 - 20:26

score 154 · Answer 4 · 2016-05-10 10:41:12

154

Views

Existence of some categories in the category of categories

Published on 10 May 2016 - 10:41

score 124 · Answer 5 · 2026-03-28 09:55:39

124

Views

Are all statements about math inherently formal? Can one do math without formal logic?

Published on 28 Mar 2026 - 9:55

score 4.2k · Answer 6 · 2026-03-25 17:39:41

4.2k

Views

Is formal truth in mathematical logic a generalization of everyday, intuitive truth?

Published on 25 Mar 2026 - 17:39

score 194 · Answer 7 · 2026-03-30 08:07:20

194

Views

Are there other methods of proof other than contrapositive, induction, contradiction, construction, and counter example?

Published on 30 Mar 2026 - 8:07

score 249 · Answer 8 · 2026-03-26 09:16:09

249

Views

How do you visualize $\mathcal{P}(1)$ in constructive mathematics?

Published on 26 Mar 2026 - 9:16

score 1.8k · Answer 9 · 2016-05-13 04:22:25

1.8k

Views

Are professional mathematicians concerned with formalizing infinitely many dependent choices?

Published on 13 May 2016 - 4:22

score 531 · Answer 10 · 2016-05-13 10:48:19

531

Views

Justification of ZFC without using Con(ZFC)?

Published on 13 May 2016 - 10:48

score 548 · Answer 11 · 2026-03-30 08:04:56

548

Views

Does PA prove that Con(PA) implies Con(ZF-I) and Con(NFU)?

Published on 30 Mar 2026 - 8:04

score 281 · Answer 12 · 2016-05-17 23:55:28

281

Views

Degenerate zeroes, fundamental theorem of algebra.

Published on 17 May 2016 - 23:55

score 106 · Answer 13 · 2016-05-18 15:36:39

106

Views

Why do metric spaces that produce the same topology have different number theoretical difficulties?

Published on 18 May 2016 - 15:36

score 84 · Answer 14 · 2026-03-29 10:47:54

84

Views

Definition of Operation

Published on 29 Mar 2026 - 10:47

score 250 · Answer 15 · 2016-05-23 00:01:16

250

Views

Why wasn't Bertrand Russell surprised by the set of all sets that contain themselves?

Published on 23 May 2016 - 0:01

List Question

In which order should I learn the foundations of mathematics?

Different Mathematics

Has it been proved that ∨ ∧ ¬ ⇒ ⇔ ∀ ∃ and predicates are enough to express all known mathematics?

Existence of some categories in the category of categories

Are all statements about math inherently formal? Can one do math without formal logic?

Is formal truth in mathematical logic a generalization of everyday, intuitive truth?

Are there other methods of proof other than contrapositive, induction, contradiction, construction, and counter example?

How do you visualize $\mathcal{P}(1)$ in constructive mathematics?

Are professional mathematicians concerned with formalizing infinitely many dependent choices?

Justification of ZFC without using Con(ZFC)?

Does PA prove that Con(PA) implies Con(ZF-I) and Con(NFU)?

Degenerate zeroes, fundamental theorem of algebra.

Why do metric spaces that produce the same topology have different number theoretical difficulties?

Definition of Operation

Why wasn't Bertrand Russell surprised by the set of all sets that contain themselves?

Trending Questions

Popular # Hahtags

Popular Questions