Comment on The Man Who Tried to Redeem the World with LogicparentComments−leoc11yAnyone so active in formal logic in mid-C20 (or since) could not possibly have missed Gödel's work.
Comments
Anyone so active in formal logic in mid-C20 (or since) could not possibly have missed Gödel's work.