https://rjlipton.wordpress.com/2018/03/14/happy-0x50th-birthday-donald-knuth/
Gödel’s Lost Letter and P=NP 03/14/2018