7 ms·

I'm interested in knowing how many of you on here are going to read this in one sitting. Not that it would be sufficient to analyze it for bugs, but because yo

I'm interested in knowing how many of you on here are going to read this in one sitting. Not that it would be sufficient to analyze it for bugs, but because you're that interested.

akavi 14y ago
If I had the mathematical background necessary to understand it, I certainly would. ... and I really wish I did have the mathematical background. Anyone have any recommendations on how to go from a standard CS undergrad math background to being able to understand proofs like these?
- adamnemecek 14y ago
  This book is a good start http://www.amazon.com/Introduction-Theory-Computation-Michael-Sipser/dp/113318779X/ http://www.amazon.com/Introduction-Theory-Computation-Michae...
  - ibejoeb 14y ago
    Sipser is great. Highly recommended. Working that book really accelerated my understanding. You can go from practically nothing to something with it, though it helps to have some discrete math.
- Tloewald 14y ago
  Read it and google as you go. Math is one of the best covered topics online. For a potential millenium prize proof, it seems very approachable. That said, that's not saying much.
  - bowyakka 14y ago
    I am not sure I would consider it approachable, I am lost by page 3
  - m0nastic 14y ago
    I find math in some cases to be really hard to Google. Particularly with expressions that I don't know the names of; I never know what to use as search terms.
- evincarofautumn 14y ago
  As a compiler guy, I found that reading a lot of type theory papers helped me really get into the CS theoretical mindset, which made reading mathematics papers a lot easier. Writing a lot of Haskell code didn’t hurt. Oleg Kiselyov has some fairly approachable papers, as do Simon Peyton-Jones and Daan Leijen. Try searching for things on Lambda the Ultimate[1] if you’re interested. [1]: http://lambda-the-ultimate.org/ http://lambda-the-ultimate.org/
tsahyt 14y ago
I'm certainly missing some background but if I had the time I'd work my way through it just for the hell of it. The problem he attempts solving here is extremely important so I welcome any attempts made at it.

I'm interested in knowing how many of you on here are going to read this in one sitting. Not that it would be sufficient to analyze it for bugs, but because you're that interested.

akavi 14y ago

If I had the mathematical background necessary to understand it, I certainly would. ... and I really wish I did have the mathematical background. Anyone have any recommendations on how to go from a standard CS undergrad math background to being able to understand proofs like these?

adamnemecek 14y ago
This book is a good start http://www.amazon.com/Introduction-Theory-Computation-Michael-Sipser/dp/113318779X/ http://www.amazon.com/Introduction-Theory-Computation-Michae...
- ibejoeb 14y ago
  Sipser is great. Highly recommended. Working that book really accelerated my understanding. You can go from practically nothing to something with it, though it helps to have some discrete math.
Tloewald 14y ago
Read it and google as you go. Math is one of the best covered topics online. For a potential millenium prize proof, it seems very approachable. That said, that's not saying much.
- bowyakka 14y ago
  I am not sure I would consider it approachable, I am lost by page 3
- m0nastic 14y ago
  I find math in some cases to be really hard to Google. Particularly with expressions that I don't know the names of; I never know what to use as search terms.
evincarofautumn 14y ago
As a compiler guy, I found that reading a lot of type theory papers helped me really get into the CS theoretical mindset, which made reading mathematics papers a lot easier. Writing a lot of Haskell code didn’t hurt. Oleg Kiselyov has some fairly approachable papers, as do Simon Peyton-Jones and Daan Leijen. Try searching for things on Lambda the Ultimate[1] if you’re interested. [1]: http://lambda-the-ultimate.org/ http://lambda-the-ultimate.org/

tsahyt 14y ago

I'm certainly missing some background but if I had the time I'd work my way through it just for the hell of it. The problem he attempts solving here is extremely important so I welcome any attempts made at it.