oblomov_jerusal: Mатематика и литература

(Добавить комментарий)

	avva@lj 2002-07-20 03:48 (ссылка)
	Где? (Ответить) (Ветвь дискуссии)

oblomov_jerusal@lj
2002-07-20 04:45 (ссылка)

Здесь. (http://www.lib.ru/LITRA/TURGENEW/rudin.txt#1)
- Прекрасно! - промолвил Рудин, - стало быть, по-вашему, убеждений нет?
- Нет - и не существует.
- Это ваше убеждение?
- Да.
- Как же вы говорите, что их нет? Вот вам уже одно на первый случай.
Натолкнуло меня на это упоминание этого аргумента здесь (http://www.magister.msk.ru/library/philos/shpngl04.htm).

(Ответить) (Уровень выше) (Ветвь дискуссии)

	Re: avva@lj 2002-07-20 04:55 (ссылка)
	Какой же это диагональный аргумент. Это версия парадокса лжеца, старая очень притом. Диагональный аргумент подразумевает построение диагонали в бесконечном списке. (Ответить) (Уровень выше) (Ветвь дискуссии)

oblomov_jerusal@lj
2002-07-20 22:41 (ссылка)

А, скажем, доказательство неразрешимости halting problem это не напоминает? В литературе по computer science оно и подобные доказательства называют доказательствами с помощью диагонализации, ссылаясь при этом на Кантора как на первый пример. Наверное, нужно было озаглавить сообщение "Computer science и литература".

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re:

avva@lj
2002-07-21 02:23 (ссылка)

А, скажем, доказательство неразрешимости halting problem это не напоминает?

Тогда уж лучше идти к парадоксу Расселла или к одному из смежных парадоксов.

В литературе по computer science оно и подобные доказательства называют доказательствами с помощью диагонализации, ссылаясь при этом на Кантора как на первый пример.

Да, есть некоторая терминологическая путаница, тенденция использовать термин "диагонализация" там, где подходит разве что self-reference. Это не есть хорошо.

(Ответить) (Уровень выше)