WebMoney
Регистрация

Каталог

Каталог -> Наука -> Математика -> Математическая_логика

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

Описание:
Математическая логика — раздел математики, изучающий доказательства, исчисления (грубо говоря, то, где можно провести доказательство) и алгоритмы. Наиболее известные классические результаты логики: теорема Геделя о неполноте: даже в арифметике не все верные утверждения можно доказать; континуум-гипотеза недоказуема и неопровергаема. Код по классификации ВИНИТИ: 510 .