The present value of working on conjectures… Anil Nerode of Cornell University has served over sixty years—he’s believed to be the longest such faculty member in university histor…| Gödel's Lost Letter and P=NP
