deep-econom (deep_econom) wrote,
deep-econom
deep_econom

Category:

ворчание некоторое: о сложности бытия или о протологике

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

например, при написании поста про общую теорию структур, загуглил слово "протологика", выпало куча ссылок, в том числе и на докторскую диссертацию по протологике

---
Вчера, 10 июня, были с Юлей на защите В.И. Шалака. Его докторская диссертация посвящена т.н. "протологике", основные идеи которой он за последние несколько лет неоднократно докладывал на различных семинарах.
От логики к протологике (доклад на мехмате МГУ 5.12.2009)
Функциональный язык против реляционного (доклад на кафедре логики МГУ 01.12.2009))

Защита прошла очень достойно, хотя было активное противодействие некоторых участников совета на почве личной неприязни. Итоги: 19 за, 1 против, 0 воздержавшихся.

О работе очень высоко отозвался Н.Н. Непейвода ("математический уровень диссертации превосходит средний уровень кандидатских на мехмате"), А.С. Карпенко ("очень актуально - надо срочно публиковать монографию, причем на английском, иначе опередят"), Ивин А.А., Бахтияров К.И. и мн. др.; положительные отзывы из Питера (Микиртумов И.Б.), Твери (Чагров А.В.) и, естественно, с кафедры логики философского факультета МГУ.
У нас появился еще один настоящий доктор философских наук.
https://vic-gorbatov.livejournal.com/47825.html
---
vic_gorbatov
11 июн, 2010 22:06 (местное)
Общая теория оперирования объектами мысли. Главное отношение - "протологическое следование", понимаемое как детерминация значением одного символа значения другого. При этом типы символов, значений и детерминации роли не играют - все берется максимально абстрактно. Для задания этого отношения достаточно только одной логической операции - введения номинального определения. Вверху есть ссылка на статью самого Шалака "От логики к протологике".
---

я в дисер не заглядывал естественно )
однако, имею что сказать

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

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

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

и сразу ничего загадочного ) и показано как эта "протологика" есть конкретизация структурной логики, которая есть конкретизации общей теории структур https://deep-econom.livejournal.com/77369.html


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

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

еще примеры:

ЛИСП с его списками, которые суть упорядоченные пары

Thue - эзотерический язык программирования, разработанный Джоном Колагойя (англ.)русск. в начале 2000 года. Это мета-язык, который демонстрирует нулевой тип в иерархии Хомского, то есть неограниченную грамматику. Thue позволяет определять любые языки и является полным по Тьюрингу.
https://ru.wikipedia.org/wiki/Thue

Рефал со схемой обобщенных вычислений
Хаскель с его лямбда-исчислением

это все примеры разных форм универсальных формализаций,
мне ближе через упорядоченные пары, но все эти способы, положенные в основу этих языков примерно эквивалентные
конкретный способ неважен особо, важна выразительность языка
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic
  • 0 comments