Skip to main content
5 events
when toggle format what by license comment
Aug 5 at 10:09 comment added Caleb_Allen I'm curious about the specifics of this construction. Got any references to learn more about it?
May 6 at 13:43 history edited Daniel Weber CC BY-SA 4.0
Fixed link to Wikipedia
May 31, 2023 at 12:29 history edited Sam Nead CC BY-SA 4.0
typo
Sep 18, 2010 at 23:03 comment added Andreas Blass I assumed that this is what was meant by "used to construct an elegant Gödel numbering for sequences" in the original question.
Dec 30, 2009 at 16:53 history answered Richard Dore CC BY-SA 2.5