Настроение:	sick
Музыка:	Assemblage 23 - CONTEMPT
Entry tags:	logic, math

убежден в невозможности формальных доказательств
Смешное.
http://sowa.livejournal.com/92839.html

sowa@lj убежден в невозможности формальных
доказательств, потому что те были бы слишком длинные.

Напомнило мне деятельность ультра-финитистов, таких
немножко ебнутых персонажей от матлогики, которые
не верят в очень большие числа. Известный диссидент
Есенин-Вольпин (последователь и отчасти основатель
учения) имеет ученый труд, страниц на несколько
тысяч, с опровержением теоремы Геделя о неполноте.
Дескать утверждение, которое невозможно вывести
или опровергнуть, получилось бы слишком длинное,
а такие длинные утверждения рассматривать ненаучно.

Юмор состоит в том, что труд Есенина-Вольпина
гораздо длиннее, чем соответствующая работа Геделя,
никем не прочитан (и никогда не будет прочитан),
и в силу этого же самого аргумента, гораздо
менее научен.

sowa@lj полагает, что иллюзию о возможности
формальных доказательств следует оставить, а в качестве
критерия научности пользоваться консенсусом.

Это конечно замечательная идея, проблема в том,
что убежденность в возможности (и отчасти желательности)
формализации есть часть этого же самого консенсуса.
Поэтому, если исходить из консенсуса как
единственного критерия, возможность формализации
можно считать доказанной.

sowa@lj глуп, и все его комментаторы мудаки,
один я такой умный. Ну, еще Валерия Ильинична.



Привет