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
