tgoop.com/logic_metamathematics/799
Create:
Last Update:
Last Update:
На Открытой лекции 20.11 планирую в качестве отпавных пунктов рассмотреня эпистемологического значения изучения формальных систем взять статью Курта Гёделя "О формально недоказуемых высказываниях Principia Mathematica и подобных ей систем" (1930) и "Введение в метаматематику" Стефана Клини (1952).
BY Логика и метаматематические исследования
Share with your friend now:
tgoop.com/logic_metamathematics/799