Skip to main content
2 of 2
umlaut
user avatar
user avatar

What is Gödel's pairing function on ordinals?

I find many references to Gödel's pairing function on ordinals but I have not found a definition. What is it?

Colin McLarty
  • 11.1k
  • 37
  • 79