2
Яка парадигма автоматизованого доведення теореми підходить для формалізації стилю Principia Mathematica?
Я маю книгу, яка, натхненна Расселом Principia Mathematica (PM) та логічним позитивізмом, намагається формалізувати конкретну область, визначаючи аксіоми та виводячи з них теореми. Коротше кажучи, він намагається зробити для своєї області те, що намагався зробити ПМ для математики. Як і PM, це було написано до того, як було можливо автоматизоване …