Рубрика «Математика»

Математическая логика

Математической логикой (теоретической логикой, символической логикой) называется раздел математической науки, который изучает доказательства и вопросы основания математики. В соответствии с определением П. С. Порецкого, «математической логикой называется математика по методу, логика по предмету,». В соответствии с определением Н. И. Кондакова, «математической логикой называется вторая, после традиционной логики, ступень развития логики формальной, применяющей математический метод и …