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