home | help

Top: World: Russian: Наука: Математика: Математическая_логика

Математическая логика — раздел математики, изучающий доказательства, исчисления (грубо говоря, то, где можно провести доказательство) и алгоритмы.

Наиболее известные классические результаты логики:

• теорема Геделя о неполноте: даже в арифметике не все верные утверждения можно доказать;
• континуум-гипотеза недоказуема и неопровергаема.

Код по классификации ВИНИТИ: 510 .

Copyright © 1998-2005 Netscape