I never met Paul Cohen, but he started out in my field, analysis, not logic. When he realized he would not make it to the top he started looking around for easier pickings. He came up with "forcing" that applies ideas from game theory.
When I visited IU in the '90's there was a new stoplight on E 3rd. Max got hit by a car when trundling into his office every day in Swain Hall East and his colleagues somehow convinced the city of Bloomington to put one up.
While misspending my youth playing 5-minute chess at Bear's Place up the street, Raymond Smullyan showed up and asked if he could kibitz. I can write a very short book titled "What is the Answer to that Question?" It would be much shorter than https://www.amazon.com/Million-Zeros-Douglas-Crockford/dp/19.... Bjarne told me the guy had gone crazy. He is right.
When I visited IU in the '90's there was a new stoplight on E 3rd. Max got hit by a car when trundling into his office every day in Swain Hall East and his colleagues somehow convinced the city of Bloomington to put one up.
While misspending my youth playing 5-minute chess at Bear's Place up the street, Raymond Smullyan showed up and asked if he could kibitz. I can write a very short book titled "What is the Answer to that Question?" It would be much shorter than https://www.amazon.com/Million-Zeros-Douglas-Crockford/dp/19.... Bjarne told me the guy had gone crazy. He is right.
When I'm not yelling at clouds I write some things at https://keithalewis.github.io/math/.