April 4th, 2020

гуманисты

Бертран Рассел, математик, все дела
есть мат.парадокс Рассела (похожий на парадокс брадобрея), есть чайник Рассела на орбите
вот такой вот гуманист и рационалист, блестящий ум, лауреат нобелевской премии

https://ru.wikipedia.org/wiki/Рассел,_Бертран
---
Ответственный секретарь Шведской академии Андерс Эстерлинг[en] охарактеризовал Рассела как «одного из самых блестящих представителей рационализма и гуманизма, бесстрашного борца за свободу слова и свободу мысли на Западе».

Американский философ Ирвин Эдман[en] очень высоко ценил труды Рассела, даже сравнивал его с Вольтером, подчёркивая, что он, «как и его знаменитые соотечественники, философы старого времени, — мастер английской прозы».

Рассел считается одним из наиболее влиятельных логиков XX века[8].
---

---
Вплоть до 1954 года Рассел поддерживает политику холодной войны, будучи убеждённым в том, что это может предотвратить Третью мировую войну. Рассел очень резко критикует СССР, выступает за мировое господство Соединённых Штатов Америки и даже считает необходимым заставить СССР под угрозой атомных ударов подчиниться диктату США[33].

В 1948 году Рассел в своей речи заявил, что если СССР продолжит свою агрессию в Восточной Европе, то с моральной точки зрения будет хуже начать войну, когда СССР обзаведётся атомной бомбой, чем до того, ибо в войне против СССР, ещё не имеющего атомной бомбы, победа Запада будет более быстрой и бескровной[34]. Это вызвало разные интерпретации и споры, одобряет ли Рассел первый удар по СССР или всего лишь указывает на необходимость использовать ядерный арсенал США для устрашения Советского Союза[35]. Однако сразу после атомной бомбардировки Хиросимы и Нагасаки с 1945 по 1948 годы Рассел писал письма и публиковал статьи в газетах, недвусмысленно утверждая, что морально оправдано и правильно начать войну против СССР с применением атомного оружия пока у СССР нет атомной бомбы, а у США есть.

Только когда СССР испытал атомную бомбу, Рассел изменил свою позицию и стал выступать за полный запрет ядерного оружия[36].
---

Гегель, Алиса (Кэрролла), теория множеств

тема про Гегеля и Алису (Кэрролла)

Наука логики в стране чудес
https://1i7.livejournal.com/126641.html

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

https://ru.wikipedia.org/wiki/Гегель,_Георг_Вильгельм_Фридрих
https://ru.wikipedia.org/wiki/Теория_множеств

смотрим по времени, теория множеств формировалась Кантором и иными по сути уже после книги Гегеля
/* поэтому Гегелю простительны его неуклюжие попытки, но не надо неуклюжесть путать с гениальностью )) */
но понятно, что идеи витали вокруг

---
... одна из причин, почему мне так нравится Рассел, состоит в том, что ему хватило интеллектуальной и нравственной целостности, чтобы назвать Гегеля — без обиняков — полным идиотом[2]. Я полностью с ним соглашаюсь: Гегель — идиот, и те, кто прочитал его труды, оказали себе плохую услугу.

— Станислав Лем, «Мысли о литературе, философии и науке», 1992
https://ru.wikiquote.org/wiki/Георг_Гегель
---

похоже им курса формализации не хватает

обещал тут
не дериватируй, а то без приор останешься
https://deep-econom.livejournal.com/590430.html

что приступлю к ролику:
и также пройдусь по докладу того, чего они называют "онтологикой"
Прапион Медведева "Онтологика 2020"
https://youtu.be/8D8cfcJ20zI
---

на 12й минуте ролика
я кажется понял что именно им надо и почему у них беда
они плохо формулируют понятия, безобразно, они словоблудствуют вместо ясных формулировок
понятно почему это происходит, не программисты они и не математики

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

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

вот им и нужен курс по навыкам формализации!

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

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

на самом деле и в искусственном интеллекте основная проблема в том, что не понимают как формализовать, что формализовать, в каком направлении формализовать, проблема везде одна, тоже самое с философией и прочим мало формализуемым
---

ладно буду слушать дальше
---

upd
перечитываю пост, мысль приходит в голову )

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

ну да, требуется учить формализации и моделированию

порылся у себя в жж, нашел )

моделирование как курс по системному/рациональному мышлению
https://deep-econom.livejournal.com/123912.html
надо учить людей построению и использованию моделей с постоянным использованием метапринципа надсистемных переходов
это в частности объясняет достаточно хорошо, что лучше всего моделируют (мой возможно сомнительный домысел) инженеры/программисты/ученые

ворчание https://deep-econom.livejournal.com/165279.html
какое сакральное знание может дать математикам и программистам Крис Партридж в формализации и моделировании???

upd+
а все четыре пункта из цитированного абзаца поста
не дериватируй, а то без приор останешься
https://deep-econom.livejournal.com/590430.html

это и есть модели, только разного уровня модели
а им надо курс по моделированию и формализации
который и будет служить базой подо всей их конструкцией из их курсов

(no subject)

Шарий уже хочет сажать не только петю, но и вову )
https://youtu.be/qSwH4ynS2_I
Европейская слуга народа

скоро скажет, я ваш приговор )
чтото мне это напоминает )
и скоро наверное выйдет еще пара сезонов "Слуга народа" )