Pinned post
🧵 How mathematicians reacted to the first major computer aided mathematical proof in 1976
“the present proof relies in effect on an Oracle, and I say down with Oracles! They are not mathematics” … - Paul Halmos, UC Santa Barbara
newsletter.pessimistsarchive.org/p/the-1st-time…
“the present proof relies in effect on an Oracle, and I say down with Oracles! They are not mathematics” … - Paul Halmos, UC Santa Barbara
newsletter.pessimistsarchive.org/p/the-1st-time…