Omohundro gently corrected a mathematical misapprehension I had about Godel’s Theorem, long after I thought I was done with it. I don’t forget that sort of thing. (Plan to write it up here eventually.)
Have you written this up yet? I’d be interested in reading it.
Omohundro gently corrected a mathematical misapprehension I had about Godel’s Theorem, long after I thought I was done with it. I don’t forget that sort of thing. (Plan to write it up here eventually.)
Have you written this up yet? I’d be interested in reading it.