Very sad to hear that David Keyt has passed away. I took my first ancient philosophy class with him, and a class on Gödel's incompleteness theorem. I learned so much from him. He also had a great sense of humor. A student asked him what the difference is between a lemma, theorem, and a corollary...
add a skeleton here at some point
10 months ago