apoorv
Posts:
53
Registered:
4/11/13


Re: Ordinals describable by a finite string of symbols
Posted:
Jul 21, 2013 2:54 PM


The link does not seem to be working. The clarification that I requested was in relation to substitution formula Sub(x,x_,y) , which says that y is the Godel number of the formula obtained by substituting x_,( the numeral for x) for the free Variable in the formula whose godel number is x. Let G1= godel number of Sub(1,1_,y) G2= godel number of Sub(2,2_,y) and so on.
The question was and is Is Godel numbe of Sub (x,x_,y) a specific number or it is a function of G(x) of x? Apoorv

