Timeline for Direct construction of the integers
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 28, 2017 at 18:09 | comment | added | CopyPasteIt | @LSpice I wrote this up with the idea that a computer might understand it as constructive 'homotopy' math, and wouldn't have to understand set theory and partitions. I'm not a computer scientist - just taking a shot at it! | |
| Nov 28, 2017 at 17:59 | comment | added | LSpice | (Specifically, see also mathoverflow.net/questions/29090/… and mathoverflow.net/a/80221/2383.) | |
| Nov 28, 2017 at 17:57 | comment | added | LSpice | It seems to me that the need constantly to perform contraction steps in order to do anything with these integers suggests that we are dealing with a quotient (of strings by the "homoJnicity" relation) in all but name. | |
| Nov 28, 2017 at 14:43 | history | edited | CopyPasteIt | CC BY-SA 3.0 |
added 252 characters in body
|
| Nov 28, 2017 at 10:50 | review | First posts | |||
| Nov 28, 2017 at 10:50 | |||||
| Nov 28, 2017 at 10:45 | history | answered | CopyPasteIt | CC BY-SA 3.0 |