B
Но нет логиков-молбиолщиков как особой социальной группы
Size: a a a
2021 April 28
B
Именно
AG
там скорее concurrency чем логика, логические основы process calculus это 2010е
B
Что, отказались разве?
o⭐
так я про логиков и не спрашивал (sic!), я про логику. а отвечают мне...
AG
биологи от пи-калькулуса? нет, но сам пи-калькулус в том виде, в котором его пытаются впихнуть в биологию это в чистом виде алгоритмическая информатика с примесью статистики, логическую подоплёку этих штук стали рассматривать лет 5-10 назад
DV
Извините что не на то сообщение отвечаю, но не могли бы вы пояснить, чем занимаются специалисты по теории моделей.
B
Я пишу
внезапно про логиков, когда говорю, что просто логиков нет 🤷♂o⭐
кстати, подобные утверждения сиюминутны.
B
Теорией моделей
o⭐
так я не спрашиваю про логиков. кажется, мы друг друга не слышим.
B
Остановитесь
DV
Кхм... А как соотносится логика м теория моделей?
AG
теория моделей это раздел логики
B
Теория моделей — это раздел логики
DV
Нда. Ок, понял что непонятно.
B
Я пишу про логиков. Я пишу не просто так. Я написал, что есть особая социальная группа логиков-математиков и чем она характеризуется.
B
Далее
AG
совр логика это теория моделей + теория доказательств + теория рекурсии + теория множеств
B
Я ведь не дописал