Timeline for What is Gödel's pairing function on ordinals?
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Nov 18 at 20:50 | history | suggested | Peluso | CC BY-SA 4.0 |
There was a small mistake in the definition.
|
| Nov 18 at 15:19 | review | Suggested edits | |||
| S Nov 18 at 20:50 | |||||
| Apr 5, 2021 at 18:41 | comment | added | Asaf Karagila♦ | @am70: Yes, but since the definition is in the answer, that's not a big deal that I feel the need to bump this for that edit. But thanks for letting me know. | |
| Apr 5, 2021 at 18:23 | comment | added | am70 | Too bad the link to the PDF is broken, maybe this is the correct one math.uni-bonn.de/people/koepke/Talks/… | |
| Nov 11, 2012 at 18:16 | comment | added | Asaf Karagila♦ | Yes, I only saw Joel's answer after posting my own. It is not hard to see that we describe the same order. | |
| Nov 11, 2012 at 17:57 | comment | added | Joel David Hamkins | In case it isn't clear: this is exactly the same order and coding as in my answer. | |
| Nov 11, 2012 at 16:14 | vote | accept | Colin McLarty | ||
| Nov 11, 2012 at 16:17 | |||||
| Nov 11, 2012 at 15:47 | history | answered | Asaf Karagila♦ | CC BY-SA 3.0 |