/sci/ - Science & Math

3 /mg/'s is not enough Edition

>Every time I see this guy's theorems mentioned anywhere online, without fail, everyone accuses each other of misinterpreting it or acts too smart to explain it.

>Does anyone even know what the implications are

So, I understand you have masochistic tendencies?

>>11656371
This.
Learn the basics of logic and ask technical questions. Not "what does it mean."

>Has no practical applications
It's not like he has a formula in his papers that's of practical use like some angle-approximation formula, but his work on encoding via PA terms (numbers), indexing, Gödel numbering, etc. etc., is of practical use and - in any case - his work on that problem directly lead to Turings work on what is now known as computer. Recursion theory is a direct predecessor of universal machines.

>>11617059
Does it look bad, though?
I mean 4chan looks very much the same as it did in 2004 and the color choice and waste of space are both feature and bug I suppose.

>>11617128
http://math.yorku.ca/~moliver/how.pdf
Is there a recording?