| ▲ | semolinapudding a day ago | |
This is incredibly exciting! Gödel is unquestionably the most important logician in history, but unfortunately he published very little. For instance, the Dialectica interpretation was published approximately 20 years after his first ideas on the subject. Plus, Jan von Plato is the world's leading expert on Gödel -- the number of people who can read Gödel's handwriting can be counted on the fingers of one hand, and I think that every single one is part of Jan von Plato's research group. If he is excited about the output, this is a huge deal. | ||
| ▲ | pmautio 16 hours ago | parent [-] | |
Regarding modern mathematical logic, Gödel has a strong case for being the most important figure. For logicians in general, logicians who critically examine the nature and meaning of logic itself, at least Aristotle, Kant, and Hegel loom larger. | ||