The chronicler of 452 (furia_krucha) wrote,

Математика отражает философию: larva tus против лямбда-куба.

Недоразумение прояснило забавную вещь: системы до-декартовых философов (Суарез, Фома, Дунс Скот, all the way back to Aristotle), оперировавших механизмом „субстанциональных форм“, естественным образом интерпретируются в декартово замкнутой категории (может в топосе?), по-крайней мере, если верить Куайну; а декартово отрицание субстанциональных форм загоняет интерпретацию в категорию более бедной структуры.

Даже и поверхностный взгляд на современную логику подтверждает полную победу реализма самого оголтелого толка.
  • Post a new comment

    Error

    default userpic
  • 18 comments