Difference between revisions of "Alpha-conversion"
Jump to navigation
Jump to search
| Line 2: | Line 2: | ||
=Godel Numbering= | =Godel Numbering= | ||
Think about variables in terms of special numbers. This is an insight from Godel, and later utilized to created [[Universal | Think about variables in terms of special numbers. This is an insight from Godel, and later utilized to created [[Universal computation]]. | ||
<noinclude> | <noinclude> | ||
=References= | =References= | ||
Revision as of 02:17, 19 January 2022
conversion is also a kind of naming abstraction.
Godel Numbering
Think about variables in terms of special numbers. This is an insight from Godel, and later utilized to created Universal computation.