Настроение: | sick |
Музыка: | Assemblage 23 - CONTEMPT |
Entry tags: | logic, math |
убежден в невозможности формальных доказательств
Смешное.
http://sowa.livejournal.com/92839.html
sowa@lj убежден в невозможности формальных
доказательств, потому что те были бы слишком длинные.
Напомнило мне деятельность ультра-финитистов, таких
немножко ебнутых персонажей от матлогики, которые
не верят в очень большие числа. Известный диссидент
Есенин-Вольпин (последователь и отчасти основатель
учения) имеет ученый труд, страниц на несколько
тысяч, с опровержением теоремы Геделя о неполноте.
Дескать утверждение, которое невозможно вывести
или опровергнуть, получилось бы слишком длинное,
а такие длинные утверждения рассматривать ненаучно.
Юмор состоит в том, что труд Есенина-Вольпина
гораздо длиннее, чем соответствующая работа Геделя,
никем не прочитан (и никогда не будет прочитан),
и в силу этого же самого аргумента, гораздо
менее научен.
sowa@lj полагает, что иллюзию о возможности
формальных доказательств следует оставить, а в качестве
критерия научности пользоваться консенсусом.
Это конечно замечательная идея, проблема в том,
что убежденность в возможности (и отчасти желательности)
формализации есть часть этого же самого консенсуса.
Поэтому, если исходить из консенсуса как
единственного критерия, возможность формализации
можно считать доказанной.
sowa@lj глуп, и все его комментаторы мудаки,
один я такой умный. Ну, еще Валерия Ильинична.
Привет