Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет ivanov_petrov ([info]ivanov_petrov)
@ 2009-03-31 07:38:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
О частях и целом
Деннетт предлагает поговорить - я приведу диалог. чтобы был понятен контекст
http://ivanov-petrov.livejournal.com/1134308.html?thread=55255268#t55255268

[info]dennett@lj
было бы интересно определить для начала ключевые элементы современной картины мира. мне кажется это

1. принцип униформности вселенной (+начальная сингулярность?)
2. последовательный "атомизм" (+эмерджентизм)
3. принцип неопределенности (роль наблюдателя)
4. взаимосвязь пространства, времени и причинности
5. концепция информации

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

[info]ivanov_petrov@lj
да, пожалуй. Разница в точке зрения того, кто называет эти пункты. Вы стоит - как я это вижу - внутри научного мировоззрения и - сравнивая несколько его разных стадий - называете характерные черты последней - которая появилась после борьбы с позитивизмом, например, и еще с несколькими измами. В этом смысле такого мировоззрения не существует - это именно современная научная картина мира, а не мировоззрение. Я же попытался встать вовне - как иначе это увидеть? и сказать о тех пунктах, которые и были исходными к перечисленным Вами. Говоря грубо, униформизм вселенной - это теоретически рафинированное и формализованное выражение того. что сделал Коперник. 3 и 4 пункт выводится из "Ньютона" - в сетке пространства каждый квадрат - домен местного Ньютона, который определяет законы в этом квадранте, а всю сеть в целом видит "наблюдатель". При этом мне Ваш список кажется менее плодотворным - из него ничего не вытекает. то есть никаких точек из него вычленить не получится - там тупик, именно потому. что Ваш список - уже результат работы теоретическорй мысли с некоторыми обобщениями естественных наук. Нужно начинать много раньше, где эти принципы еще живые. а не пустые. Но там будет сочетание, конечно, недаром это на протяжении сотни лет так "нажалось", сразу несколько кнопок.

[info]dennett@lj
--о тех пунктах, которые и были исходными к перечисленным Вами
--правильно, я для того и попытался перечислить, чтобы можно было почетче говорить об исходниках.

я кстати объединил бы насос, эволюцию и свет - все три слились в атомизм. было бы еще интересно подумать о подоплеках атомизма.

ну и далее интересно думать о том, чего в вашем списке нет. самое любопытное - информация. это совершенно новое понятие, по-настоящему революционное, которое не выводится из атомизма - и которое занимает центральное место в современном мировоззрении. там какой-нибудь больцман, шеннон, тюринг, винер???

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

[info]ivanov_petrov@lj
_интересно подумать о подоплеках атомизма_
Я бы сказал - сильнейшее сужение способов мысли. Понимается всего одна вещь - "состоять из". даже понятие причинности отступило, теперь уже и оно не очень понятно. Все прочие виды связывания мыслей - их очень много - кажутся нереальными. призрачными. фантастическими. Признается (пока) реальным болько операция разбивания на куски.
Думаю, и она вскоре станет призрачной.
Насчет информации - согласен. очень интересное и новое понятие, целый пласт совершенно нового. И интересно представить, на месте чего появилось. Такая штука не может возникнуть из ничего - то есть может, но обязательно останется след хотя бы вытесненного. То есть такого ранга понятие - раз появилось - обязательно что-то очень крупное исчезло. Если бы не так, информацию придумали бы тысячи лет назад. Что-то очень фундаментальное произошло. чтобы отклалась такая дыра. где возникла бы эта новизна.

С наблюдателем (и неопределенностью) - сомневаюсь. Я вспомнию то немногое, что видел в индусской философии - кажется,это как раз старое и все было. весьма развитое. просто в некоторых дремучих медвежьих уголках вроде Европы забыли - ну, так это ладно.

[info]dennett@lj
про атомизм хорошо бы провести у вас отдельную дискуссию о победе частей над целым, т.е. механизма над организмом - как случилось, в каких исторических обстоятельствах. ведь еще в девятнадцатом веке было наоборот.

про неопределенность - мне кажется, в европейской традиции такого никогда не было - в европе, и у греков и у иудеев, всегда были боги, которые гарантировали знание того, как на самом деле - скрытые переменные - и предположения о том, что "на самом деле" - пустое понятие - этого никогда не было... мне кажется.

[info]ivanov_petrov@lj
_ведь еще в девятнадцатом веке было наоборот_
разве? Это история поражений. Посмотрите последовательность:
спор номиналистов и реалистов. Почти равное противостояние, победили номиналисты
Спор ятрохимиков и ятромехаников. Длился 200 лет, было время господства ятрохимиков, победили ятромеханики
Витализм Шталя в 18 в. и сопутствующие. Это маргиналы на фоне механицистов.
Витализм Дриша в 19. Совершенно непонятный казус на фоне подавляющего господства механистов.
Сейчас - просто нету органицизма, его нельзя думать.


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


[info]muh2@lj
2009-04-06 14:39 (ссылка)
Диагональное доказательство явно использует счетность множества возможных утверждений. Символов-то может и не много. Важно то, что из них можно составить счетное количество комбинаций. Та же история с машинами Тьюринга - важно, что их счетное количество. Перейдя к системе с не-счетным количеством утверждений, Вы избавитесь от теоремы Геделя, только машина Тьюринга не сможет выполнять произвольоные операции в этом мире. А на подмножетсве тех операций, что она может выполнять, можно будет доказать неразрешимость проблемы остановки и т.д. Под количеством операций я, разумеется, опять понимаю не количество элементарных операций, а количество грамматически допустимых сочетаний из них.

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


[info]kaktus77@lj
2009-04-06 15:06 (ссылка)
Диагональное доказательство короче доказательства теоремы Пифагора :) Штук пять символов и штук пять операций. Какая уж там несчетность :) Объекты, с которыми имеют дело, - бесконечны, но объекты замещаются одним, двумя символами и операции производятся с ними, с символами. Вся несчетность запрятнана в аксиоматику (в символы), для этого и нужна логика.

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


[info]muh2@lj
2009-04-06 16:09 (ссылка)
Доказательство-то короче, но использует счетность _количества утверждений_. Заменить эти утверждения символами, конечно, можно, но не одним-двумя, а счетным же количеством, нельзя заменить 111 и 101 (а=b и а<b) одним и тем же символом. Если утверждений несчетное количество, то составить из них матрицу, на которой проводится диагональное доказательство, не получится. Но мне кажется - мы по кругу пошли.

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


[info]kaktus77@lj
2009-04-06 16:33 (ссылка)
Т.е. Вы утверждаете, что у Кантора в статье приводится таблица со счетными высотой и шириной. Счетное мно-во, это мн-во изоморфное всему числовому ряду, т.е. бесконечное. Так статью, очевидно, до сих пор печатают :) Скоко бумаги-то перевели.
Или что Вы имеете в виду? Совершенно не понимаю.

(Смею заверить, что у Кантора там вообще таблиц нет).

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


[info]muh2@lj
2009-04-06 18:47 (ссылка)
Смею полагать, что и Ферма не перечислял все степени для которых его равенство неверно. Но если бы этих степеней было конечное количество - все было бы, наверное, проще.

Что я имею в виду я уже несколько раз повторил - доказательство диагональным методом не сработает для несчетного числа возможных утверждений. Не базовых символов, а их комбинаций. Боюсь, что повторить счетное, а тем более, изоморфное континууму количество раз - не в моих силах. Если Вы считаете, что это не так - объясните как оно сработает.

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


[info]kaktus77@lj
2009-04-06 19:15 (ссылка)
доказательство диагональным методом не сработает для несчетного числа возможных утверждений

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

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


[info]muh2@lj
2009-04-07 05:32 (ссылка)
Там же важно не только - как упорядочить. Упорядочение - оно по вертикали. А по горизонтали - символы. А их количество - счетно и континууму его никак изоморфным не сделаешь. Да еще и нужно, чтобы мощность по вертикали была такая же, как по горизонтали - а иначе - что ж за диагональ?

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


[info]kaktus77@lj
2009-04-07 08:28 (ссылка)
О чем Вы? Нет там никаких горизанталей и вертикалей. И диагоналей нет.

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


[info]muh2@lj
2009-04-07 09:02 (ссылка)
Ну нет, так нет.

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


(Читать комментарии) -