SIAM just announced its list of Fellows for 2015, and it includes Moshe Vardi. The citation reads: Moshe Y. Vardi is Karen Ostrum George Distinguished Service Professor in Computational Engineering and Director of the Ken Kennedy Institute for Information Technology at Rice University. He is being recognized for contributions to the development of logic as … Continue reading Moshe Vardi Elected Fellow of SIAM
Month: March 2015
Quine’s Paradox and Gödel’s Theorem
It's a commonplace to compare Gödel's theorem to the liar paradox: The sentence This sentence is not true. is neither true nor false. Switch out "provable" for "true" and you get This sentence is not provable. and, modulo some technical stuff, this sentence is then neither provable nor refutable. But of course the "modulo some … Continue reading Quine’s Paradox and Gödel’s Theorem
My Sessions at the Pacific
I'm organizing two sessions at the Pacific APA; please join me there! Thursday, April 2, morning, 9-noon: 4A Book Symposium: Greg Frost-Arnold, Carnap, Tarski, and Quine at Harvard: Conversations on Logic, Mathematics, and Science Speakers: Richard Creath (Arizona State University) Gary Ebbs (Indiana University Bloomington) Greg Lavers (Concordia University) Greg Frost-Arnold (Hobart and William Smith … Continue reading My Sessions at the Pacific
Falso
A computer-verified proof of ⊥: https://github.com/clarus/falso (h/t Byron Cook)
Petr Vopěnka, 1935-2015
The Czech logician and set theorist Petr Vopěnka has died. He has made significant contributions to classical set theory and founded alternative set theory. You may find this 2006 documentary by Andrea Slováková interesting (Czech with English subtitles). Obituaries: Prague Monitor