The chronicler of 452 (furia_krucha) wrote,
The chronicler of 452
furia_krucha

Category:

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

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

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

    Error

    default userpic
    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 19 comments