May 23rd, 2002

moose, transparent

лытдыбр, лекция Шапиро и прочая

Я снова в строю, благодаря помощи m_k, одолжившего мне на время монитор, за что я ему невыразимо благодарен.

Вчера вечером (во вторник вечером) я сходил на интересную лекцию, о которой написать в дневнике не успел, и сейчас, наверное, не успею. Профессор Стюарт Шапиро, философ, занимающийся в основном философией математики и логики (мне до сих пор не доводилось читать его статьи или книги) приехал погостить в местный университет и прочёл вчера лекцию о "новом аргументе" Роджера Пенроза против механизма. Пенроз использует теоремы Гёделя о неполноте в своих книгах The Emperor's New Mind и Shadows of the Mind, пытаясь с их помощью доказать, что наша способность к математическим рассуждениям заведомо мощнее такой же способности любого, идеального, сколь угодно мощного компьютера.

Это, наверное, не очень понятно, но я постараюсь об этом отдельную запись сделать завтра или послезавтра, заодно и свои мысли по этому поводу в порядок привести.

Завтра (т.е. уже сегодня, в четверг), я приглашён на ужин с этим самым Шапиро, перед второй его лекцией. Это хорошо главным образом потому, что в его аргументации я нашёл, мне кажется, несколько слабых (но интересных именно своей слабостью) мест, которые хотел бы с ним обсудить. Но особенно ценно то, что присутствовавший на вчерашней лекции Сол Крипке (update 24/05/02: я обознался. Это вовсе даже был куда менее известный Mark Steiner) (знаменитый в своей области философ и очень интересный человек) в беседе с Шапиро после лекции привлёк общее внимание к статье Бенасеррафа 67-го года в журнале The Monist; в ней Бенасерраф расправляется с гёделевым аргументом Лукаса, предшественника Пенроза на этом поприще.

Статья Бенасеррафа окажется, видимо, более интересной находкой, чем сама лекция Шапиро; сегодня я отксерил её в Национальной библиотеке; пока что успел только проглядеть первые несколько страниц, но уже выглядит очень интересно.

Раз уж я оказался в библиотеке, то просмотрел несколько последних номеров наиболее интересных для меня философских журналов и отксерил в общей сложности штук семь статьей для последующего прочтения. Надеюсь где-нибудь на этих выходных ими заняться.