Интенсиональный модус в математическом дискурсе: "прыжок веры" и математическая практика
Анализ главных причин истинности геделева предложения. Связь допущения обоснованности или непротиворечивости формальной системы с неустранимым "прыжком" от размышлений о формальных теориях арифметики к эпистемологическим вопросам об обосновании веры.
Подобные документы
Теория делимости, основанная на единственности разложения натурального числа на простые множители (основная теорема арифметики). Доказательство Э. Уайлсом гипотезы Шимуры-Таниямы. Главные особенности применения матриц и теории групп, результаты.
статья, добавлен 03.03.2018Понятие, сущность, значение и происхождение алгебры, характеристика её деления, отличия от арифметики. Процесс возникновения и развитие науки у арабов и европейцев, история её совершенствования. Первооткрыватели алгебры, их деятельность и работы.
реферат, добавлен 16.09.2014Некоторые аспекты истории числовых комбинаторных задач. Комбинаторный анализ как самостоятельная математическая дисциплина. Пример задач разной сложности. Анализ задачи о магическом шестиугольнике Адамса, история ее решения. Парадокс дней рождения.
реферат, добавлен 28.03.2013В рамках гёделева подхода доказательство теоремы о неполноте, по которой неразрешимыми оказываются самые обычные в (мета) арифметике суждения, из чего следует неправомерность переноса полученных в таком представлении выводов на содержательное знание.
статья, добавлен 24.11.2018Изучение истории развития математики - науки о величинах и количествах. Характеристика основных разделов математики: арифметики, элементарной алгебры, геометрии (планиметрии и стереометрии), теории элементарных функций и элементов анализа. Цифры майя.
реферат, добавлен 10.11.2011Понятие показательной функции и методы построения ее графиков. Основные свойства функции: четность; убывание; ограничение сверху и снизу; непрерывность. Определение логарифмической функции в математическом анализе и теории дифференциальных уравнений.
презентация, добавлен 05.03.2012Математическая модель реактора идеального перемешивания. Алгоритм решения системы дифференциальных уравнений. Расчёт параметров процесса. Изменения концентраций реагентов на выходе из реактора. Влияние времени контакта на выход продуктов реакций.
лабораторная работа, добавлен 10.03.2015Оценка раздела математики, который можно охарактеризовать как обобщение и расширение арифметики. Обзор происхождения алгебры на земле. Исследование её развития в разных странах со временем. Определение назначения алгебры и её применения в жизни человека.
реферат, добавлен 19.10.2016Рассмотрение роли математической науки в жизни людей. Использование математики в отраслях быта и народного хозяйства. Взаимосвязь арифметики с логическими способностями. Запрещенные приемы в математических софизмах. Аксиома Евклида о параллельных прямых.
презентация, добавлен 07.02.2014- 110. Алгебраические числа
Теория чисел как непосредственное развитие арифметики, краткий исторический очерк. Понятие числового поля и алгебраического числа. Доказательство теоремы Лиувилля о приближении алгебраических чисел. Подтверждение существования трансцендентных чисел.
контрольная работа, добавлен 30.10.2010 Исследование соотношения концепций понимания и доказательства в математической практике. Эпистемические требования при передоказательстве теоремы. Интерпретация вхождения семантического содержания в синтаксические структуры. Примёмы дедуктивного вывода.
статья, добавлен 23.09.2020- 112. Арифметика фигур
Основы арифметики трех лучей, выходящих из одной точки. Свойства произведения двух точек, их графическое доказательство. Коммутативность, ассоциативность и дистрибутивность умножения фигур. Деление фигур самих на себя. Мультипликативная арифметика.
реферат, добавлен 03.02.2011 Нахождение производной как основная задача дифференциального исчисления. Первообразная функция на интервале оси. Рассмотрение свойств неопределенного интеграла. Методы интегрирования в математическом анализе. Подведение функции под дифференциал.
лекция, добавлен 17.01.2014Вид уравнения Риккати при произвольном дробно-линейном математическом преобразовании зависимой переменной. Свойства отражающей функции, ее построение для нелинейных дифференциальных уравнений первого порядка. Формулировка и доказательства леммы для нее.
курсовая работа, добавлен 11.04.2014- 115. Логарифмы
Логарифм как число, применение которого позволяет упростить многие сложные операции арифметики. Обозначение и свойства логарифма. Основное логарифмическое тождество. Понятие десятичного и натурального логарифмов. Пользование таблицами обычных логарифмов.
реферат, добавлен 18.12.2010 Рассмотрение проблемы управления спутником, который движется по низкой круговой орбите в атмосфере Земли. Космический аппарат как математическая модель, движение которой в системе координат подчиняется системе нелинейных дифференциальных уравнений.
дипломная работа, добавлен 01.12.2019Розробка арифметики лінійних інтервальних обмежників. Аналіз геометричної інтерпретації інтервального та об’єднаного розширення функції. Ефективні методи розв’язування нерівностей, рівнянь, задач оптимізації, побудови квадратурних формул та інше.
статья, добавлен 30.01.2017Математическая постановка задач оптимального управления. Понятие функционала, его свойства и виды: Лагранжа, Майера, Больца. Понятие оптимальной ширины полосы пропускания системы. Основы вариационного исчисления. Условия относительного экстремума.
курс лекций, добавлен 19.09.2017- 119. Цепные дроби
Замена действительных чисел на рациональные. Понятие непрерывной (цепной) дроби, ее назначение в математическом анализе. Алгоритм Евклида для преобразования обычной дроби в цепную. Формулы для вычисления числителей и знаменателей подходящих дробей.
научная работа, добавлен 01.02.2016 Понятие и сущность функции в математике, характеристика основной теоремы арифметики. Отличительные черты мультипликативной и аддитивной арифметической функции. Определение целой и дробной части числа, описание дзета-функция Римана и функции Чебышева.
контрольная работа, добавлен 04.11.2016Поиск прогрессивных технологических решений изготовления высокоточных отверстий. Разработка математических моделей процесса рассверливания и растачивания. Построение траектория движения оси расточной системы во времени. Использование зенкера и развертки.
статья, добавлен 26.07.2016Алгебра - раздел математики, представляющий собой обобщение и расширение арифметики. Вклад Диофанта в развитие алгебраической науки. История открытия правил для решения кубических уравнений. Сферы применения теории рекуррентных последовательностей.
контрольная работа, добавлен 30.05.2015Значение арифметики как науки. Изучение действий над целыми и дробными числами, методов решения задач, сводящихся к сложению, вычитанию, умножению и делению. История развития арифметических знаний. Теории великих математиков: Пифагора, Архимеда, Евклида.
реферат, добавлен 10.01.2014Математическое понятие и сущность функции. Свойства и графики функций. Определение первообразной функции. Общие правила обобщения степени. Характеристики первообразной и интеграла. Нахождение натурального логарифма числа в математическом анализе.
лекция, добавлен 18.05.2015Десятичная система счисления и арабских цифр, начало использования которых в Европе было положено Фибоначчи. Основные приёмы решения задач коммерческой арифметики, основанные на пропорциях. Характеристика алгоритма числовой последовательности Фибоначчи.
реферат, добавлен 02.09.2013