First page
Back
Continue
Last page
Image
The Y Combinator
An arithmetic formula that evaluates to its own Godel number!
A final addition to conclude the argument:
lambda x:
F
(x x)