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

Этот раздел на других языках 7

[Light Bulb Mozilla]
Последнее обновление:
24 августа 2011 в 10:15:04 UTC
Наука
Покупки
Общество
Спорт
All Languages
Искусство
Бизнес
Компьютеры
Игры
Здоровье
Дом
Новости и СМИ
Досуг
Источники информации
Страны и регионы