P vs NP proven undecidable, in a 50-line text file. (win.tue.nl)

6 comments · source