![William L. Anderson](https://identi.ca/uploads/band/2013/8/5/mRjaWA_thumb.jpg)
Again, Vienna is a capital of logic research, more than 80 years after Kurt Gödel wrote his incompleteness theorems. http://bit.ly/1mxC7NE (/via Moshe Vardi @vardi)
Again, Vienna is a capital of logic research, more than 80 years after Kurt Gödel wrote his incompleteness theorems. http://bit.ly/1mxC7NE (/via Moshe Vardi @vardi)