Математическое мышление: концептуальное доказательство или логический вывод?
Анализ аргументации сторонников и противников тезиса "концептуалистов" и "формалистов". Оценка возможностей воспроизведения доказательства математических теорем в виде строгого логического вывода. Программа унивалентных основ математики В. Воеводского.
| Рубрика | Математика |
| Вид | статья |
| Язык | русский |
| Дата добавления | 26.05.2022 |
| Размер файла | 26,7 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Предлагается к обсуждению официальным лицам из института им. В.А. Стеклова и любителям математики из Интернета компактный, практически на 2-х страницах способ элементарного доказательства теоремы Ферма в общем виде.
реферат [16,2 K], добавлен 05.07.2006Эвристика и особенности применения эвристики в математике. Понятие доказательства в математике. Эвристика как метод научного познания. Эвристический подход к построению математических доказательств в рамках логического подхода, при доказательстве теорем.
курсовая работа [177,2 K], добавлен 30.01.2009Анализ роли математики в оценке количественных и пространственных взаимоотношений объектов реального мира. Трактовка и обоснование математических теорем Ферма, Ролля, Лагранжа, Коши и Лопиталя. Обзор биографии, деятельности и трудов великих математиков.
курсовая работа [467,9 K], добавлен 08.04.2013Минимизация заданного выражения алгебры множеств на основании известных свойств. Анализ заданного бинарного отношения в общем виде. Вывод формул булевых функций для каждого элемента и схемы в целом. Преобразование формулы булевой функции логической схемы.
контрольная работа [286,7 K], добавлен 28.02.2009Порядок доказательства истинности заключения методом резолюции (с построением графа вывода пустой резольвенты) и методом дедуктивного вывода (с построением графа дедуктивного вывода). Выполнение бинарных операций и составление результирующих таблиц.
курсовая работа [185,3 K], добавлен 24.05.2015Рациональность решения задач с помощью теорем Чевы и Менелая, чем их решение другими способами, например векторным. Доказательство теорем, дополнительное построение. Трудности, связанные с освоением этих теорем, оправданные применением при решении задач.
контрольная работа [388,3 K], добавлен 05.05.2019Происхождение термина "математика". Одно из первых определений предмета математики Декартом. Сущность математики с точки зрения Колмогорова. Пессимистическая оценка возможностей математики Г Вейля. Формулировка Бурбаки о некоторых свойствах математики.
презентация [124,5 K], добавлен 17.05.2012Построение таблицы истинности. Доказательство истинности заключения путём построения дерева доказательства или методом резолюции. Выполнение различных бинарных операций. Построение графа вывода пустой резольвенты. Основные правила исчисления предикатов.
курсовая работа [50,7 K], добавлен 28.05.2015Характер давньогрецької математики та джерела. Характер давньогрецької математики та її джерела. Виділення математики в самостійну теоретичну науку. Формулювання теорем про площі і обсяги складних фігур і тіл. Досягнення олександрійських математиків.
курсовая работа [186,2 K], добавлен 22.11.2011Исследование доказательства теоремы Ферма в общем виде. Показано, что кроме уравнения второй степени уравнения Ферма не содержат других решений в целых числах. Предложено к рассмотрению 4 метода доказательства теоремы при целых x, y.
статья [20,8 K], добавлен 29.08.2004Математическое объяснение понятия и свойств скалярного поля. Формулы расчета нормали к поверхности. Вычисление потока векторного поля через прямой круговой цилиндр с заданным радиусом основания. Доказательство теорем Остроградского-Гаусса и Стокса.
реферат [264,0 K], добавлен 11.02.2011Изучение полиномиальных уравнений и путей их решений. Доказательство теорем Безу и Штурма. Ознакомление с правилами использования формул Виета, математических методов Лобачевского, касательных и пропорциональных отрезков для определения корней многочлена.
курсовая работа [782,0 K], добавлен 19.09.2011Формулировки и доказательства китайской теоремы об остатках. Доказательство с помощью метода математической индукции. Конструктивный метод доказательства. Основные алгоритмы поиска решения. Применение китайской теоремы об остатках к открытию сейфа.
курсовая работа [1,0 M], добавлен 08.01.2022Применение граф-схем - кратчайший путь доказательства теорем. Нахождение искомых величин путем рассуждений. Алгоритм решения логических задач методами таблицы и блок-схемы. История появления теории траекторий (математического бильярда), ее преимущества.
реферат [448,4 K], добавлен 21.01.2011Составление таблицы истинности. Получение уравнений функций алгебры логики для заданных выходов. Реализация схемы логического автомата на электромагнитных реле РП-23, на диодной матрице. Реализация структурной схемы логического автомата, на микросхемах.
курсовая работа [862,4 K], добавлен 12.12.2012Нечёткие системы логического вывода. Исследование основных понятий теории нечетких множеств. Операции над нечёткими множествами. Нечёткие соответствия и отношения. Описания особенностей логических операций: конъюнкции, дизъюнкции, отрицания и импликации.
презентация [191,0 K], добавлен 29.10.2013Определение условий сходимости положительного ряда и описание свойств гармонических рядов Дирихле. Изучение теорем сравнения рядов и описание схемы Куммера для вывода из нее признаков сравнения ряда. Вывод признаков сравнения Даламбера, Раабе и Бертрана.
курсовая работа [263,6 K], добавлен 14.06.2015Развитие математики переменных величин: создание аналитической геометрии, дифференциального и интегрального исчисления. Значение появления книги Декарта "Геометрия" в создании математики переменных величин. Становление математики в ее современном виде.
реферат [25,9 K], добавлен 30.04.2011Физическое и математическое определение центра масс. Основные свойства центров масс. Изучение закона Харди-Вайнберга. Решение геометрических задач барицентрическим методом. Применение барицентрических координат в химических и топологических задачах.
курсовая работа [903,5 K], добавлен 25.02.2015История создания теоремы. Краткая биографическая справка из жизни Пифагора Самосского. Основные формулировки теоремы. Доказательство Евклида, Хоукинса. Доказательство через: подобные треугольники, равнодополняемость. Практическое применение теоремы.
презентация [3,6 M], добавлен 21.10.2011
