Impredicative Junkyard

Sunday, May 29, 2005

оказывается, то, чем занимался Тюринг, очень близко к тому, чем занимался Гёдель. Черч (Church) и Пост получили свои результаты в те же годы примерно. Глядя на это, поневоле задумаешься об "идеях, которые носятся в воздухе". Ан нет, просто Гилберт за несколько лет до этого правильно поставил вопрос. И вот результат. По сути, все они обязаны Гилберту, получается.

А вот что про Алана говорили окружающие его люди:

But as contemporaries observed him, he was in this respect the least 'political' person. He rather expected the truth to prevail by magic, and found the business of advancing himself, by putting his goods in the shop window, to sordid and trivial to bother with. One of his favorite words was 'phoney', which he applied to anyone who has gained some position or rank on what Alan considered an inadequate basis of intellectual authority.

¶ 7:58 PM

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

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

naturally impredicative

View my complete profile

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.

About Me