I’ve read about this in the past and been perplexed and sort of forgot about it but re-reading about it has made me slightly irrationally annoyed. I was reading about some others opinions; one said it was a cheap trick and I almost have to agree. I won’t understate the importance of Gödel encoding in the use of computing and such but regardless it still annoys the crap out of me.