Введение в метаматематику
Скидка 24150Р
"Введение в метаматематику" - это книга, написанная известным математиком Альфредом Тарским. Книга представляет собой обзор и введение в основы метаматематики, науки, изучающей формальную логику и математические системы.
В книге автор рассматривает такие темы, как понятие математической истины, формальные математические системы, аксиоматика, доказательства, парадоксы и многие другие ключевые аспекты математики. Он представляет читателю основные концепции и методы метаматематики, исследуя и анализируя принципы и структуры математического рассуждения.
Тарский постепенно развивает свои идеи и предлагает различные теории и формальные системы для исследования исчисляемости, противоречивости, неполноты и других основных аспектов математической логики.
Книга предназначена для математиков, философов и других ученых, интересующихся математической логикой и теорией доказательств. Она предлагает глубокое и фундаментальное понимание ключевых проблем исследований в области метаматематики и является важным вкладом в развитие этой науки.
В книге автор рассматривает такие темы, как понятие математической истины, формальные математические системы, аксиоматика, доказательства, парадоксы и многие другие ключевые аспекты математики. Он представляет читателю основные концепции и методы метаматематики, исследуя и анализируя принципы и структуры математического рассуждения.
Тарский постепенно развивает свои идеи и предлагает различные теории и формальные системы для исследования исчисляемости, противоречивости, неполноты и других основных аспектов математической логики.
Книга предназначена для математиков, философов и других ученых, интересующихся математической логикой и теорией доказательств. Она предлагает глубокое и фундаментальное понимание ключевых проблем исследований в области метаматематики и является важным вкладом в развитие этой науки.
