16 Sep
2023
16 Sep
'23
8:50 p.m.
i’m trying to step thru https://en.wikipedia.org/wiki/Diagonal_lemma#Proof i th8nk next it is defining G to be the expression of f. f is a function, whereas Gf is a formula, an expression equivalent to stating that the y is the output of the function.