Описание аксиоматического метода
Аксиоматический метод построения научной теории. Выделение понятий, формулирование аксиомы. Выведение теоремы и других понятий логическим путём. Пять "общих понятий" Евклида, причины его критики. Модель планиметрии Лобачевского на евклидовой плоскости.
Подобные документы
Аксиоматический метод построения научной теории. Основные понятия. "Начала" Евклида. Модель планиметрии Лобачевского на евклидовой плоскости. Геометрия Лобачевского. Исторические сведения о развитии тригонометрии. Тригонометрические соотношения.
реферат, добавлен 14.07.2008Характеристика аксиоматического метода построения научной теории, Особенности аксиом принадлежности, измерения, расположения, откладывания, параллельности, которые составляют основания планиметрии. Анализ научных трудов Евклида и геометрии Лобачевского.
доклад, добавлен 29.03.2010Представление о математической науке. Систематизация отношений, существующих между различными математическими теориями. Изучение аксиоматического метода построения научной теории. Общие черты различных понятий, объединенных одним родовым названием.
статья, добавлен 20.10.2013Анализ возникновения измерения площадей земельных участков в Древнем Вавилоне и Египте. Открытие теоремы об объемах пирамиды и конуса Демокритом. Характеристика аксиоматического метода Евклида. Особенность векторного обоснования евклидовой геометрии.
реферат, добавлен 04.05.2015Особенности построения проективной плоскости на базе трехмерного векторного пространства, аналитически и аксиоматически. Характеристика проективной плоскости, ее основные свойства. Анализ теорем Дезарга, Паппа, их применение на евклидовой плоскости.
курсовая работа, добавлен 21.05.2012Исторические вехи становления аксиоматического метода и его роль в развитии математического образования. Интерес к методам научного познания, к природе математических понятий и аксиом и логике доказательства. Дискуссии о дискурсивном и интуитивном знании.
статья, добавлен 16.03.2019Аксиоматическое обоснование евклидовой геометрии. Непротиворечивость, независимость, дедуктивная полнота и категоричность системы аксиом. Интерпретация плоской геометрии Евклида. Числовая модель планиметрии. Интерпретация Пуанкаре планиметрии Евклида.
курсовая работа, добавлен 23.04.2011"Начала" Евклида как повод для создания новых теорий в области геометрии. Создание и разработка геометрии Лобачевского. Вопрос об исследовании всей структуры системы аксиом как евклидовой геометрии. "Лекции о новой геометрии" Паши и его аксиомы порядка.
реферат, добавлен 30.10.2010Геометрия как одна из наиболее древних математических наук. Творчество Евклида и его значение для математики. Изучение истории развития геометрии. Примеры доказательства пятого постулата Евклида. Рассмотрение аксиоматического построения геометрии.
курсовая работа, добавлен 05.04.2014История аксиоматического метода построения научных теорий, его использование при создании неевклидовых геометрий. Особенности эллиптической геометрии Римана. Новый взгляд ученых Н.И. Лобачевского, К.Ф. Гаусса, Я. Бойяи на геометрию; оценка открытия.
статья, добавлен 26.04.2019Правила аксиоматического построения математических теорий. Аксиоматическое построение системы натуральных чисел. Аксиомы Пеано, метод математической индукции. Умножение целых неотрицательных чисел в количественной теории, таблица и законы умножения.
реферат, добавлен 10.01.2017Доказательство теоремы о 5-ом постулате Евклида как следствия его первых трех постулатов с использованием доводов, имеющих форму доказательства от противного, методом доведения до абсурда. Сферическое пространство Римана и плоскости Лобачевского.
статья, добавлен 29.08.2016Попытки доказательства V постулата Евклида. Кант об априорных понятиях. Теория И. Канта о человеческом познании. Появление неевклидовой геометрии. Янош Бояи, геометрия Лобачевского. Непротиворечивость геометрии Лобачевского. Развитие евклидовой геометрии.
реферат, добавлен 03.05.2019Понятие параллельных линий по определению Евклида. Метод доказательства от противного Саккери. Мнение Гаусса о недоказуемости аксиомы Евклида. Заключение о существовании абсолютной меры Ламберта. Исследования Лобачевского, теория относительности.
реферат, добавлен 30.06.2011Понятие планиметрии как раздела геометрии, изучающего фигуры на плоскости. Понятие аксиомы принадлежности, расположения, измерения, откладывания, параллельности фигур, точек, прямых, трапеций, окружности, параллелограмма, их краткая характеристика.
презентация, добавлен 29.04.2015Геометрия греческого математика Евклида и доказание пятой аксиомы о параллельных прямых. Гиперболический параболоид и описание искривленного пространства в геометрии Лобачевского, а также использование его формул в расчетах современных синхрофазотронов.
реферат, добавлен 13.12.2015Характеристика параллельных прямых на плоскости в курсе планиметрии. Теоремы как признаки параллельности прямых, а также роль их аксиомы. Параллельность прямых в пространстве и особенности скрещивающихся линий. Теорема о линиях и ее доказательство.
реферат, добавлен 07.07.2014Сущность аксиомы как положения, принимаемого без логического доказательства в силу непосредственной убедительности. Аксиомы геометрии: история и ученые-разработчики. Общепринятый аксиоматический метод в математике и его понятие за пределами математики.
доклад, добавлен 04.12.2008Определение понятия секущей плоскости многогранника. Задания на построение сечения тетраэдра, пирамиды и многогранника плоскостью, заданной тремя точками. Сущность аксиоматического метода. Проверка правильности построения сечений многогранников.
презентация, добавлен 06.10.2011Геометрия Лобачевского (гиперболическая геометрия) как одна из неевклидовых геометрий. Евклидова аксиома о параллелях. Разработка модели планиметрии. Параллельные прямые, треугольники и четырехугольники на плоскости и пространстве по Лобачевскому.
реферат, добавлен 28.05.2014Определение содержания и исследование истории доказательств аксиомы параллельности Евклида, или пятого постулата, как одной из аксиом, лежащих в основании классической планиметрии. Разработка Николаем Ивановичем Лобачевским доказательства V постулата.
презентация, добавлен 13.04.2012Н.И. Лобачевский и его геометрия. Пятый постулат Евклида. Теорема о существовании параллельных прямых. Взаимное расположение двух прямых на плоскости Лобачевского. Практическое применение геометрии Лобачевского: теорема Пифагора, площадь треугольника.
курсовая работа, добавлен 31.10.2017Основные закономерности и содержание геометрии Лобачевского, понятие псевдосферы, модели Клейна и Пуанкаре. Анализ поверхности постоянной отрицательной кривизны. Аксиоматика евклидовой геометрии: связь прямой и точки, отрезка непрерывности и плоскости.
реферат, добавлен 21.10.2014Сущность программы логицизма - определение основных, исходных понятий чистой математики в терминах логики, а её фундаментальные законы доказать как теоремы логики. Перевод на язык логики основных понятий арифметики. Первый известный логицист Г. Фреге.
статья, добавлен 02.10.2018Анализ особенностей развития неэвклидовой геометрии. Н.И. Лобачевский и его геометрия. Пятый постулат Евклида. Параллельные прямые по Лобачевскому. Теорема о существовании параллельных прямых. Треугольники и четырехугольники на плоскости Лобачевского.
курсовая работа, добавлен 26.09.2017