show/hide this revision's text 2 umlaut

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

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

show/hide this revision's text 1

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?