Skip to main content
6 events
when toggle format what by license comment
Jan 26, 2022 at 22:03 comment added benrg Grimm also rederives Solovay's exact numbers: see part 2, page 514. Solovay defines a singleton set as $\{x:x=a\}$ and uses Bourbaki's definition of $1$. The $5.7\times 10^{60}$ figure comes from defining a singleton set as $\{x:x=a\vee x=a\}$ and using an allegedly fixed definition of $1$. I don't understand the assumptions behind the $1.6\times 10^{55}$ figure.
Apr 16, 2020 at 18:49 history edited John Baez CC BY-SA 4.0
corrected typo
Apr 16, 2020 at 2:01 history edited David Roberts CC BY-SA 4.0
added links
Apr 15, 2020 at 22:46 history edited Timothy Chow CC BY-SA 4.0
Added full citations
Apr 15, 2020 at 22:20 comment added user76284 Might be good to add the titles of the linked articles in case the links break at some point in the future.
Apr 15, 2020 at 15:19 history answered Timothy Chow CC BY-SA 4.0