Математика как наука
Проблема обоснования математического знания сводится к обоснованию строгости и непротиворечивости математических теорий. Если они строги и непротиворечивы, то математика не фальсифицируема, а, значит, не является наукой в понимании науки К. Поппером. Если мы доказываем строгость математических доказательств,...
1508 читали · 4 года назад
Мат. логика простыми словами
В данной статье мы поговорим о математической логике, разберем основные операции и ассоциируем их с реальным миром. Математическая логика — это раздел современной формальной логики, в котором логические...