> В отличие от каких ещё "осмысленных утверждений"?!

---- Ну например арифметических. Хотя тема "осмысленности" - это тоже серьезный разговор, куски из которого знамениты (например разговор Рассела с Витгенштейном).


> Почему нет-то??

---- Потому что это просто импликация. Из таких-то аксиом следует такое-то знаменитое утверждение. Не нужно подписываться ни под одной из философий, чтобы понять и проверить эту импликацию. Компьютер может ее проверить.

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

---- Тогда я с тобой согласен.

> Ну, это как в архитектуре важнейшими называть нереализованные проекты, если я не ошибаюсь, а не построенные здания.

---- Ну почему нереализованные? Дедекинд-Пеано-Вейерштрасс свою волну арифметизации хорошо записали, Фреге-Уайтхед и Рассел хорошо записали, Чёрч, Гёдель и Тюринг арифметизацию языка и выводимости записали со всеми подробностями, четвертая волна (Марков, Клини, Шанин и т.д.) даже до матфизики и функционального анализа добралась, вся записана в подробностях. Сейчас идет пятая волна, с новыми идеями. Она не вся записана и из-за разных философий там разные мнения да и идеи еще не кристаллизовались. Я их знаю, но так просто не рассказать.

Андрей

(Reply to this) (Parent)