Question

What is foundations of mathematics ? And why isn't it taught more often?

score 1.5k · Answer 1 · 2017-04-17 18:02:37

1.5k

Views

What is foundations of mathematics ? And why isn't it taught more often?

Published on 17 Apr 2017 - 18:02

score 50 · Answer 2 · 2017-04-21 04:50:44

50

Views

Does Quine's Nameless FOL Provide an Alternative to Skolemization?

Published on 21 Apr 2017 - 4:50

score 121 · Answer 3 · 2017-04-24 10:14:36

121

Views

Did Grothendieck prove that Grothendieck universes are equivalent to transitive Tarski classes?

Published on 24 Apr 2017 - 10:14

score 172 · Answer 4 · 2026-03-30 18:14:50

172

Views

How does follow from a proof of a theorem that the theorem is correct?

Published on 30 Mar 2026 - 18:14

score 936 · Answer 5 · 2026-03-29 07:38:43

936

Views

Self-verifying theory! But what can we learn from it?

Published on 29 Mar 2026 - 7:38

score 137 · Answer 6 · 2017-04-26 20:29:48

137

Views

Proving a limit using precise definition

Published on 26 Apr 2017 - 20:29

score 2k · Answer 7 · 2017-04-29 15:39:07

2k

Views

Proving two sets are Equinumerous

Published on 29 Apr 2017 - 15:39

score 269 · Answer 8 · 2026-04-01 04:27:42

269

Views

When defining ordered pairs axiomatically, is their existence an axiom?

Published on 01 Apr 2026 - 4:27

score 792 · Answer 9 · 2017-05-14 01:28:41

792

Views

Proving consistency of ZF in ZFC

Published on 14 May 2017 - 1:28

score 74 · Answer 10 · 2026-04-01 05:53:30

74

Views

Axiomatizing inequality of objects of different types in first-order logic

Published on 01 Apr 2026 - 5:53

score 1k · Answer 11 · 2017-05-24 23:59:46

1k

Views

Is euclidean geometry the basis of maths?

Published on 24 May 2017 - 23:59

score 219 · Answer 12 · 2026-03-28 16:58:08

219

Views

Proving that induction works for von Neuman's construction of naturals

Published on 28 Mar 2026 - 16:58

score 305 · Answer 13 · 2017-05-31 14:40:41

305

Views

Definition of the natural numbers, integers, rational and irrational numbers

Published on 31 May 2017 - 14:40

score 286 · Answer 14 · 2017-06-01 13:46:11

286

Views

Proof by contradiction in first order logic

Published on 01 Jun 2017 - 13:46

score 273 · Answer 15 · 2026-03-29 11:07:53

273

Views

Is mathematics done in an arbitrary model of ZFC?

Published on 29 Mar 2026 - 11:07

List Question

What is foundations of mathematics ? And why isn't it taught more often?

Does Quine's Nameless FOL Provide an Alternative to Skolemization?

Did Grothendieck prove that Grothendieck universes are equivalent to transitive Tarski classes?

How does follow from a proof of a theorem that the theorem is correct?

Self-verifying theory! But what can we learn from it?

Proving a limit using precise definition

Proving two sets are Equinumerous

When defining ordered pairs axiomatically, is their existence an axiom?

Proving consistency of ZF in ZFC

Axiomatizing inequality of objects of different types in first-order logic

Is euclidean geometry the basis of maths?

Proving that induction works for von Neuman's construction of naturals

Definition of the natural numbers, integers, rational and irrational numbers

Proof by contradiction in first order logic

Is mathematics done in an arbitrary model of ZFC?

Trending Questions

Popular # Hahtags

Popular Questions