No, the Godelian diagonal is the self-replicating recipe you use to have the computation talk about itself when it says “my own result”. See p.3 of here.
Bravo Eliezer! The material is extremely crispy
Really? I thought I was frantically blurting out a huge blog-comment response that I didn’t really have time to edit all that well.
Seconding Richard’s comment. You seem hesistant to explain technical things here for fear of being imprecise, but you’re actually very good at explaining yourself and many of the folks here can fill in the gaps.
No, the Godelian diagonal is the self-replicating recipe you use to have the computation talk about itself when it says “my own result”. See p.3 of here.
Really? I thought I was frantically blurting out a huge blog-comment response that I didn’t really have time to edit all that well.
Seconding Richard’s comment. You seem hesistant to explain technical things here for fear of being imprecise, but you’re actually very good at explaining yourself and many of the folks here can fill in the gaps.
I was taking the signs that the response was blurted out quickly into account in my evaluation of skill level.
Maybe I should have put a “probably” in my statement. Certainly you are particularly good at explaining technical material to me.