Конституция РФ как источник аксиом частного права. Опыт логического вычисления
4.7 из 5, отдано 18 голосов
Автор выделил в Конституции РФ положения частного права, формализовал соответствующие тексты по методике Е-анализа и вычислил в Е-программе аксиомы этой подсистемы и её инвариант, следствия, дополняющие систему до полной, и противоречия.Е-структура и Е-программа, разработанные доктором физико-математических наук Борисом Александровичем Куликом, позволяют находить новое знание, в частности, дополнять систему, находить противоречия, определять инвариант логической системы и её аксиомы.
Читать книгу «Конституция РФ как источник аксиом частного права. Опыт логического вычисления» онлайн: