Comments on: Gödel and Brno http://roman.stanek.org/2007/08/30/godel-and-brno/ BI, SaaS, travel and everything else... Thu, 12 Jan 2012 15:45:43 +0000 hourly 1 http://wordpress.com/ By: Kris Tuttle http://roman.stanek.org/2007/08/30/godel-and-brno/#comment-50 Fri, 31 Aug 2007 09:56:00 +0000 http://romanstanek.wordpress.com/2007/08/30/godel-and-brno/#comment-50 Two other books that are great if you want to get deeper into Godel are:

Godel’s Proof by Ernest Nagel and
Incompleteness: The Proof and Paradox of Kurt Godel by Rebecca Goldstein.

The Goldstein book is pretty easy to read and follow. The Nagel work is a classic and is the best way to actually go through the entire proof but it requires some concentration.

]]> By: svedek http://roman.stanek.org/2007/08/30/godel-and-brno/#comment-49 Thu, 30 Aug 2007 20:42:00 +0000 http://romanstanek.wordpress.com/2007/08/30/godel-and-brno/#comment-49 Wow, so the Good Data team will be partially located here :) Good luck and if you happen to have a free while next time, would love to invite you for a drink.

]]>