Математическое мышление: концептуальное доказательство или логический вывод?
Анализ аргументации сторонников и противников тезиса "концептуалистов" и "формалистов". Оценка возможностей воспроизведения доказательства математических теорем в виде строгого логического вывода. Программа унивалентных основ математики В. Воеводского.
| Рубрика | Математика |
| Вид | статья |
| Язык | русский |
| Дата добавления | 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