Характеристика теорем Геделя

Математика, как набор следствий, выводимых из некоторой системы аксиом. Важнейшая характеристика аксиоматического метода Гильберта. Особенность разработки теоремы о неполноте Курта Геделя. Основной анализ непротиворечивости формальной арифметики.

Рубрика Математика
Предмет Математика
Вид контрольная работа
Язык русский
Прислал(а) Александр
Дата добавления 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

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу.