Impredicative Junkyard
Thursday, March 10, 2005
 
I’m not sure that there is a “widespread view of Gödel.” While I was writing “Incompleteness” and people asked me what I was working on these days, I usually drew a blank stare when I said his name.
...
Gödel, who was so passionately committed to the truth, would have far preferred utter oblivion to the falsifications of his theorems that have given him whatever fame he has in the non-mathematical world.
...
If ever there was a man committed to the objectivity of truth, and to objective standards of rationality, it was Gödel. ... Jean Cocteau wrote in 1926 that “The worst tragedy for a poet is to be admired through being misunderstood.” For a logician, especially one with Gödel’s delicate psychology, the tragedy is perhaps even greater.
...
Gödel believed that truth - most paradigmatically, mathematical truth - subsists independently of any human point of view. If ever there was a man committed to the objectivity of truth, and to objective standards of rationality, it was Gödel.
...
© Incompleteness: The Proof and Paradox of Kurt Gödel. - учитывая, что я только что прочел [очень среднюю] A World Without Time - похоже, придется и эту читать :)
 
Comments: Post a Comment

<< Home


All things reconsidered

see also / profile / news / nyt / aldaily / mezomorf / ptdr / faulkingtruth / B&W / dissentvoice / Znet / ich / tat / insidehighered / volokh / Candide / regrettheerror / lit / топос / рж / нло / Swan / Смирягин / verse / Context / eserver / uspoetry / Orwell / poetrus / Стихия / vekperevoda / borderlands / nplusone / review / beliver / grustno / oxonianreview / Степанова / sci / gnxp / «ЗС» / csicop / tpm / philosophy.ru / edge / ScienceWars / quack / badscience / ephilosopher / thinkingmeat / comdig / net / stopper / metafilter / discardedlies / eye / follow.ru / pseudology / aabp / dirty.ru / friends / dfot / smoter / robotwisdom / radref / Doctor / kultprosvet / del.icio.us / visiology / ref / словари / The Museum / labaz / answers / translate / Corbett / usingenglish / english88 / askphilosophers / rulex / ebooks / Как правильно / words / hkshp / encyclopedia / people / schopenhauer / zizek / finkelstein / lindemann / Honderich / MacDonald / turing / Kent Bach / Hoffman / Baez / Reilly / blake / DenisDutton / shamir / Anderson / politics / spengler / ColdWar / H-Net / A Step At A Time / zvezda / nationalism / inthesetimes / incharacter / Cultural Logic / freedom4um / rense / misc / absolute / infidels / песни / ami / старина / hnn / plagiarist / ibiblio / materialist / bbsonline / samizdat / altruist / zvuki / вальсы / kingkong / Grover Furr

My Photo
Name:
Location: Ясная Поляна, New Jersey, United States

naturally impredicative

ARCHIVES
02/01/2004 - 03/01/2004 / 03/01/2004 - 04/01/2004 / 04/01/2004 - 05/01/2004 / 06/01/2004 - 07/01/2004 / 07/01/2004 - 08/01/2004 / 08/01/2004 - 09/01/2004 / 09/01/2004 - 10/01/2004 / 10/01/2004 - 11/01/2004 / 11/01/2004 - 12/01/2004 / 12/01/2004 - 01/01/2005 / 01/01/2005 - 02/01/2005 / 02/01/2005 - 03/01/2005 / 03/01/2005 - 04/01/2005 / 04/01/2005 - 05/01/2005 / 05/01/2005 - 06/01/2005 / 06/01/2005 - 07/01/2005 / 07/01/2005 - 08/01/2005 / 08/01/2005 - 09/01/2005 / 09/01/2005 - 10/01/2005 / 10/01/2005 - 11/01/2005 / 11/01/2005 - 12/01/2005 / 12/01/2005 - 01/01/2006 / 01/01/2006 - 02/01/2006 / 02/01/2006 - 03/01/2006 / 03/01/2006 - 04/01/2006 / 04/01/2006 - 05/01/2006 /


Пусть будет, как будет,
ведь как-нибудь да будет,
никогда так не было,
чтобы никак не было.

Impredicative: Definitions about a set which depend on the entire set.

Если жизнь протекает хорошо,
значит, она дала трещину.

В действительности все совсем не так, как на самом деле.

Powered by Blogger