text_combined: jeff bone zuutfplaceorg found via ltu im sure theres anything particularly novel way analysis conclusions good overview historical color gödel nagel minds machines solomon feferman gödel nagel minds machines ernest nagel lecture columbia university sept 27 2007 fifty years ago ernest nagel kurt goedel became involved serious imbroglio possible inclusion goedels original work incompleteness book goedels proof written nagel james r newman led conflict unprecedented demands goedel made use material involvement contents book demands resulted explosive reaction nagels part end proposal came naught story interest basically issue namely provocative related contrasting views possible significance goedels theorems minds vs machines development mathematics cf httpmathstanfordedufefermanpapersgodelnagelpdf httplambdatheultimateorgnode2515 jb wed 06 aug 2008 225930 0500 fork gödel nagel minds machines