[Recent Entries][Archive][Friends][User Info]
June 9th, 2007
| June 9th, 2007 | |
|---|---|
| 06:52 pm [Link] |
убежден в невозможности формальных доказательств Смешное. http://sowa.livejournal.com/92839.html ![[info]](http://lj.rossia.org/img/userinfo-lj.gif) sowa@lj убежден в невозможности формальныхдоказательств, потому что те были бы слишком длинные. Напомнило мне деятельность ультра-финитистов, таких немножко ебнутых персонажей от матлогики, которые не верят в очень большие числа. Известный диссидент Есенин-Вольпин (последователь и отчасти основатель учения) имеет ученый труд, страниц на несколько тысяч, с опровержением теоремы Геделя о неполноте. Дескать утверждение, которое невозможно вывести или опровергнуть, получилось бы слишком длинное, а такие длинные утверждения рассматривать ненаучно. Юмор состоит в том, что труд Есенина-Вольпина гораздо длиннее, чем соответствующая работа Геделя, никем не прочитан (и никогда не будет прочитан), и в силу этого же самого аргумента, гораздо менее научен. sowa@lj полагает, что иллюзию о возможностиформальных доказательств следует оставить, а в качестве критерия научности пользоваться консенсусом. Это конечно замечательная идея, проблема в том, что убежденность в возможности (и отчасти желательности) формализации есть часть этого же самого консенсуса. Поэтому, если исходить из консенсуса как единственного критерия, возможность формализации можно считать доказанной. sowa@lj глуп, и все его комментаторы мудаки,один я такой умный. Ну, еще Валерия Ильинична.  Привет Current Mood: |
| Time | Event |
| 07:40 pm [Link] |
Graham's number А вот замечательное - число Грэма http://en.wikipedia.org/wiki/Graham%27s является оценкой на минимальное N, для которого выполнено следующее условие. Возьмем гиперкуб в N-мерном пространстве, соединим его вершины в граф попарно. Покрасим ребра в красный и черный цвета. Тогда (для этого N) всегда найдется полный подграф с 4 вершинами и всеми ребрами одного цвета, лежащий на плоскости. Теперь, чему равно число Грэма. Для этого нужно определить оператор Конуэя "стрелочка вверх", "^". Одинарная стрелочка вверх есть операция возведения в степень: a a = a^a. Двойная a ^^ b есть a в степени a, b раз. Тройная стрелочка вверх a^^^b есть (а^^(а^^(а^^а))...) b раз. И так далее. Теперь число Грэма. 3^^^3 обозначим g_1. Оно равно 3^(7625597484987^7625597484987) (3^...^3) (стрелочка употребляется g_1 раз) обозначим g_2. (3^...^3) (стрелочка g_2 раза) обозначим g_3 и так далее. Число Грэма это g_64. Записано в книге рекордов Гиннеса как "World's largest number" По-моему охуительно. Привет Current Mood: |
sick
energetic| Previous Day | 2007/06/09 [Archive] |
Next Day |