Плиско В.Е. - Введение в математическую логику - 15. Теорема Эрбрана
Основная теорема математического анализа простыми словами.
Основная теорема анализа или же теорема Ньютона - Лейбница несложно доказывается в любом курсе математического анализа, но часто ее доказательство теряется в куче страниц с доказательствами дополнительных...
ФАТАЛЬНЫЕ ОШИБКИ СОВРЕМЕННОЙ НАУКИ. – ЧТО ТАКОЕ ЛОГИКА? – ЧТО ТАКОЕ МАТ.ЛОГИКА? – И ЧТО ТАКОЕ "ТЕОРЕМЫ ГЁДЕЛЯ"?
Для современного физ-мат.обывателя "логическая история", о которой я хочу рассказать, началась в далеком 1900 году на 2-ом Международном конгрессе математиков. Главным событием II Конгресса стал программный доклад Давида Гильберта, сделанный 8 августа 1900 года на заседании 5-й и 6-й секций. Доклад носил скромное название «Математические проблемы», но в нём Гильберт перечислил наиболее насущные и важнейшие, по его мнению, проблемы математики. Математический мир принял этот вызов, и в течение века большинство проблем были так или иначе решены...