I find many references to Godel's pairing function on ordinals but I have not found a definition. What is it?
What is Godel's pairing function on ordinals?
Colin McLarty
- 11.1k
- 37
- 79