16 Sep
2023
16 Sep
'23
9:03 p.m.
what, understandingwise, do they mean with f and Gf? i’m observing the second lines don’t state Gf, rather they state it exists i’m thinking maybe a rote way of evaluating f unsure … what is f? it passes something to itself, but as a godel number so Gf might maybe be some way of writing a lot of symbols to do that with godel numbers rather than symbols, and has the function that one paramater has the other plugged in to itself