Skip to main content
umlaut
Source Link
user9072
user9072

What is Godel'sGödel's pairing function on ordinals?

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

What is Godel's pairing function on ordinals?

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

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?

Source Link
Colin McLarty
  • 11.1k
  • 37
  • 79

What is Godel's pairing function on ordinals?

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