Мне лично кажется, что весь этот софтверный научный кризис, последовавший за категорной революцией, и вызван проблемами с логикой. Логику человечество еще просто плохо знает. Ее еще развивать и развивать. Линейную, интуиционистскую... перестать верить в булевость всего. Потому что постоянная борьба логики и здравого смысла, когда код пишешь.
Помнится, когда несколько десятков человек задохнулось в дыму, вы долго злорадствовали, что это наверняка шпионы и граждане других государств.
Потом, когда выяснилось их гражданство...
Хотя да, я всё понимаю. Каждый, кто поверил официальному расследованию - сумасшедший. Вы у нас один психически здоровый человек на планете. Было двое, пока Чикатило не расстреляли.
я вот еще, что скажу, если математикам-неалгебраистам вообще не преподавать логику, это совершенно никак не отразится на их профессионализме.
И почти нет математиков, которые свои доказательства способны подготовить для пруф чекеров, т.е. более-менее логически формализовать собственные результаты.
В живой практике математиков логики почти нет... Потому что математика не редуцируема к логике. Она не нужна математикам
ниже интересно рассуждает sober_space -- алгебраист, который сейчас занимается теоретическим программированием. Единый формальный язык для математики не исключен пока, но это не будет язык логики, это будет некий язык программирования.
Я не алгебраист. Это дилетантское увлечение, не более того. И не занимаюсь теоретическим программированием (даже не знаю что это такое). Конструктивной логикой интересуюсь, да, тоже чисто дилетантски.
Я почему поясняю, потому что например Влад -- по образованию именно алгебраист, если мне память не изменяет.
Reply
Reply
Хотя бы с той, что отвечает за взаимодействие с людьми.
Reply
Reply
Помнится, когда несколько десятков человек задохнулось в дыму, вы долго злорадствовали, что это наверняка шпионы и граждане других государств.
Потом, когда выяснилось их гражданство...
Хотя да, я всё понимаю. Каждый, кто поверил официальному расследованию - сумасшедший. Вы у нас один психически здоровый человек на планете. Было двое, пока Чикатило не расстреляли.
Reply
Reply
Reply
Написали бы просто -- неумный тролль.
О-па, да это же на вас и похоже.
Тогда понятно. %)))
Reply
Вот только с техпроцессом случился пока пролет,
а так и в процах были бы миллиарды искуственных нейронов...
и никаких тебе программистов и логиков. :Р
Reply
И почти нет математиков, которые свои доказательства способны подготовить для пруф чекеров, т.е. более-менее логически формализовать собственные результаты.
В живой практике математиков логики почти нет... Потому что математика не редуцируема к логике. Она не нужна математикам
Reply
Я Coq забросил, потому что понял, что у него нету какой-то божьей искры, что ли, интуиции этой самой.
Reply
Reply
Я почему поясняю, потому что например Влад -- по образованию именно алгебраист, если мне память не изменяет.
Reply
Reply
Reply
А не подскажете, может есть какие-то исследования по теории игр,
где бы исследовались например стратегии для компьютерных игр, например РПГ?
Просто, не могу даже представить по каким ключевым словам его искать. :(
Reply
Leave a comment