Математическая логика — раздел математики, изучающий доказательства, исчисления (грубо говоря, то, где можно провести доказательство) и алгоритмы. Наиболее известные классические результаты логики:
- теорема Геделя о неполноте: даже в арифметике не все верные утверждения можно доказать;
- континуум-гипотеза недоказуема и неопровергаема.
Sites 2
Loading new listings for you to review...
- Математическая логика и теория алгоритмов Курсы лекций (PDF) по математической логике и теории алгоритмов (мехмат МГУ).
- Заметки и замечания относительно ряда базовых принципов логической науки Замечания по основным принципам логики, рассматриваются аксимомы и суждения логики.