Difference between revisions of "Alpha-conversion"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
<math>\alpha</math> conversion is also a kind of naming abstraction. | <math>\alpha</math> 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]]. | |||
<noinclude> | <noinclude> | ||
=References= | =References= | ||
Revision as of 02:16, 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.