Timeline for Theology of set theory
Current License: CC BY-SA 4.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 17, 2020 at 8:34 | history | edited | CommunityBot |
Commonmark migration
|
|
| Aug 15, 2019 at 5:51 | history | edited | Rushi | CC BY-SA 4.0 |
Typos
|
| Aug 15, 2019 at 5:50 | comment | added | Rushi | @NoahSchweber added "appendix" on "real nos" | |
| Aug 15, 2019 at 5:44 | history | edited | Rushi | CC BY-SA 4.0 |
Formatting
|
| Aug 14, 2019 at 23:19 | comment | added | Conifold | @NoahSchweber "Real number" was indeed introduced by Descartes in La Geometrie (1637), it appears in English since 1668. The literal translation of ganzen Zahlen is "whole numbers", which traditionally refers to positive integers. The origin of the "quote" is Weber's hearsay, and there are conflicting opinions expressed in what Kronecker published, see Did Kronecker attribute immutable origin to the integers? on hsm. | |
| Aug 14, 2019 at 2:50 | comment | added | Rushi | @NoahSchweber Wikipedia on pre-intuitionists Another one: Natural numbers were created by God And then goes on to say let's not split hairs about integers vs natural numbers. IOW just run google with »"God made the natural numbers" Kronecker« | |
| Aug 13, 2019 at 11:23 | comment | added | Noah Schweber | Re: the Kronecker quote's translation, I've only ever seen "ganzen Zahlen" translated as "integers" - is there a source backing up the claimed ambiguity here? | |
| Aug 13, 2019 at 11:17 | comment | added | Noah Schweber | "Cantor's choice of the adjective "real" for ℝ was likely an act of defiance against Kronecker." I believe the term "real number" predates Cantor substantially - IIRC, it was introduced by Descartes (to distinguish from general complex numbers). | |
| Aug 13, 2019 at 7:22 | history | edited | Rushi | CC BY-SA 4.0 |
Wiki link changed to permanent
|
| Aug 13, 2019 at 5:31 | history | answered | Rushi | CC BY-SA 4.0 |