May 14th, 2006

moose, transparent

письмо бушу

Ссылки на полный текст английской версии письма Ахмадинеджада Бушу (в семи частях):

[1]
[2]
[3]
[4]
[5]
[6]
[7]

Update: есть и русский перевод.

Интересный документ.

"Liberalism and Western style democracy have not been able to help realize the ideals of humanity. Today these two concepts have failed. Those with insight can already hear the sounds of the shattering and fall of the ideology and thoughts of the Liberal democratic systems.

We increasingly see that people around the world are flocking towards a main focal point -- that is the Almighty God. Undoubtedly through faith in God and the teachings of the prophets, the people will conquer their problems. My question for you is: “Do you not want to join them?” "

moose, transparent

аналогии

Если (вслед за Лейбницем, хотя он употреблял другие термины) считать аналитически истинным утверждение, которое истинно во всех возможных мирах, то теорема полноты Гёделя демонстрирует, что у любой аналитической истины есть доказательство, а теорема неполноты Гёделя демонстрирует, что не любую аналитическую истину можно доказать.

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

(аналитические истины тут на самом деле ни при чем, просто я перечитываю "Две догмы эмпиризма" Куайна, и гоняюсь за растекающимися ассоциациями)