ещё о теореме Гёделя

В некотором роде апдейт к записи на прошлой неделе на ту же тему.

В FOM я решил не писать, так как, перечитав архивы, обнаружил что Torkel Franzen сделал это раньше меня и куда удачнее (лаконичнее). Ещё раз перечитал статью Floyd & Putnam и окончательно убедился, что лажа.

Стоит, однако, обратить внимание на разные варианты доказательства теоремы Гёделя, путаница между которыми часто приводит к печальным последствиям. Виттгенштейн, например, пересказывает неформальный семантический аргумент, при этом не понимая различия между семантикой и синтаксисом и не сознавая (тут кроется ирония), что семантика тут и не нужна на самом деле.

Update: вместо небольшого рассуждения о видах доказательств теоремы Гёделя у меня вышло что-то вроде введения в саму теорему и её доказательство. Всё это под элжекатом, вопросы и поправления (если где-то что-то забыл или перепутал) принимаются.
( дальше... )

трагикомическое

В сегодняшней "Едиот Ахронот" заголовок на первой странице: "Подрядчик повесился на экономическом фоне".

к вопросу о клише

"Он вёл себя с громким достоинством".

библиотека идей чучхе

О, какое место, какое место!



Библиотека трудов Ким Ир Сена, Ким Чжон Сук и Ким Чжон Ира, а также трудов о них. Всё по-английски. Качественные переводы северокорейского производства! Очень захватывающе.

Update: А здесь есть хорошая мини-биография Ким Ир Сена в виде статьи.