Timeline for Awfully sophisticated proof for simple facts
Current License: CC BY-SA 2.5
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 12, 2017 at 3:52 | comment | added | Todd Trimble | @Luke Seriously, I wouldn't worry about it. This proof was written in the context of Russell and Whitehead's proposed foundations for mathematics, a tortured attempt which is hopelessly dated and whose interest is mostly (I think) historical. I can't imagine anyone advising a mathematics student to plow through their tomes. The answer to your question is, I think, start at page 1... | |
| Aug 23, 2016 at 11:52 | comment | added | Lukas Juhrich | Can someone enlighten a MO lurker what area of mathematics I need to have heard of in order to… be able to at least read this proof? I asked several friends of mine (grad students) and none understood most of the notation. | |
| Jun 28, 2015 at 13:27 | comment | added | Zsbán Ambrus | @MichaelBlackmon: Do you have a reference for that claim? This would give me a proof of the corollary that I'm an algebraist. | |
| May 8, 2011 at 12:47 | comment | added | Todd Trimble | >The category theorist and algebraist will ask "you what you mean by 1? are we assuming choice?" I have my doubts that any category theorist or algebraist would say anything about choice here. Some might ask "what do you mean by 1", but perhaps mostly in a Socratic mode. | |
| Jan 30, 2011 at 0:43 | comment | added | Not Mike | It depends on who you ask. The set theorist and logician will tell you it obvious because S({{}}) = {{},{{}}}. The category theorist and algebraist will ask "you what you mean by 1? are we assuming choice?" The geometer and topologist will tell you, its irrelevant what you call it, an apple and an apple makes two apples. And the number theorist and combinatorist will both wonder what the hell all the fuss is about. | |
| Jan 29, 2011 at 22:59 | comment | added | Gerry Myerson | But maybe this is a proof that $1+1=2$ isn't such a simple fact? | |
| Jan 29, 2011 at 12:16 | history | edited | Not Mike | CC BY-SA 2.5 |
added 2 characters in body
|
| Jan 29, 2011 at 11:55 | history | answered | Not Mike | CC BY-SA 2.5 |