Характеристика теорем Геделя
Математика, как набор следствий, выводимых из некоторой системы аксиом. Важнейшая характеристика аксиоматического метода Гильберта. Особенность разработки теоремы о неполноте Курта Геделя. Основной анализ непротиворечивости формальной арифметики.
| Рубрика | Математика |
| Предмет | Математика |
| Вид | контрольная работа |
| Язык | русский |
| Прислал(а) | Александр |
| Дата добавления | 16.12.2014 |
| Размер файла | 262,7 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Курт Гедель как крупнейший специалист по математической логике, краткий очерк его жизни и личностного становления, достижения в сфере профессиональной деятельности. История и основные этапы создания теоремы о неполноте, первой и второй, дискуссии вокруг н
реферат [21,5 K], добавлен 03.05.2011Теорія множин як абстрактно-теоретична наука про множини довільної природи, розгляд головних проблем. Загальна характеристика теореми Кантора-Берштейна. Знайомство з властивостями множин потужності континууму. Аналіз діяльності математика К. Геделя.
курсовая работа [325,6 K], добавлен 27.04.2016Доказательство утверждений непротиворечивости и категоричности системы аксиом алгебры октав. Практическое изучение действий над октавами (сложение, умножение) и применимых к ним тождеств (Муфанга, Клейнефлда). Формулировка теорем Гурвица и Фробениуса.
дипломная работа [500,8 K], добавлен 13.02.2010Биография русского ученого Н.И. Лобачевского. Система аксиом Гильберта. Параллельные прямые, треугольники и четырехугольники на плоскости и пространстве по Лобачевскому. Понятие о сферической геометрии. Доказательство теорем на различных моделях.
реферат [564,5 K], добавлен 12.11.2010Понятие формальной системы. Основные понятия логики первого порядка. Доказательство неразрешимости проблемы остановки. Машина Тьюринга, ее структура. Вывод неразрешимости логики первого порядка из неразрешимости проблемы остановки и методом Геделя.
курсовая работа [243,0 K], добавлен 16.02.2011Исторический процесс развития взглядов на существо математики как науки, основные этапы формирования аксиоматического метода. Теории групп, множеств, отображений и конгруэнтности (равенства) отрезков. Основные аксиоматические теоремы и их доказательства.
курсовая работа [26,2 K], добавлен 24.05.2009Обзор пяти групп аксиом, на которых зиждется планиметрия Лобачевского. Сущность модели Кэли-Клейна в высшей геометрии. Особенности доказательства теоремы косинусов, теорем о сумме углов треугольника, о четвертом признаке конгруэнтности треугольников.
курсовая работа [629,3 K], добавлен 29.06.2013Изучение истории развития геометрии, анализ постулатов Евклида, аксиоматики Гильберта, обзор других систем аксиом геометрии. Характеристика неевклидовых геометрий в системе Вейля. Элементы сферической геометрии. Различные модели плоскости Лобачевского.
дипломная работа [245,5 K], добавлен 13.02.2010Рациональность решения задач с помощью теорем Чевы и Менелая, чем их решение другими способами, например векторным. Доказательство теорем, дополнительное построение. Трудности, связанные с освоением этих теорем, оправданные применением при решении задач.
контрольная работа [388,3 K], добавлен 05.05.2019Особенности решения задач Диофантовой "Арифметики", которые решаются с помощью алгебраических уравнений или системы алгебраических уравнений с целыми коэффициентами. Характеристика великой теоремы Ферма, анализ и методы приминения алгоритма Евклида.
реферат [36,8 K], добавлен 03.03.2010
