Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.


fom
Posts:
1,968
Registered:
12/4/12


Re: Prime Interger Topology
Posted:
Oct 21, 2013 12:15 AM


On 10/20/2013 9:58 PM, William Elliot wrote: > > Why relations? Aren't functiosn used to manage the undue complexity of > relations? >
Here is a better one  and short.
This is the pair coding function from Goedel's lemma in Kaye's "Models of Peano Arithemtic"
< x, y > = [ ( x + y )( x + y + 1) / 2 ] + y
Given any "definite" model of my axioms, I could collapse the relations into sets of numbers arithmetically.
Those sets probably could not be represented recursively.
It is a very explicit expression of the indefinability of truth.



