Бенацерраф и теоретико-множественный редукционистский реализм
Анализ фрагмента аргументации возможности однозначного сведения математических понятий к теоретико-множественным понятиям. Замечания П. Бенацеррафа к своей аргументации против теоретико-множественного реализма, отвержение проблемы отождествления.
| Рубрика | Математика |
| Вид | статья |
| Язык | русский |
| Дата добавления | 22.11.2021 |
| Размер файла | 49,8 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Теоретико-методологические основы формирования математического понятия дроби на уроках математики. Процесс формирования математических понятий и методика их введения. Практическое исследование введения и формирования математического понятия дроби.
дипломная работа [161,3 K], добавлен 23.02.2009Теоретико-множинне визначення символу О як невизначеної функції. Допустима погрішність апроксимації. Асимптотичне рішення інтегралів, трансцендентних рівнянь (дійсного і змінного). Використання формул підсумовування Ейлера при знаходженні суми ряду.
курсовая работа [107,6 K], добавлен 20.01.2011Построение теоретико-вероятностной модели исследуемого явления случайной величины математическими выводами. Реализация выборки статистической моделью, описывающей серию опытов. Точечная (выборочная) оценка неизвестного параметра и кривая регрессии.
курсовая работа [311,7 K], добавлен 10.04.2011Теоретико-числовая база построения СОК. Теорема о делении с остатком. Алгоритм Евклида. Китайская теорема об остатках и её роль в представлении чисел в СОК. Модели модулярного представления и параллельной обработки информации. Модульные операции.
дипломная работа [678,3 K], добавлен 24.02.2010Принятие решений как особый вид человеческой деятельности. Рациональное представление матрицы игры. Примеры матричных игр в чистой и смешанной стратегиях. Исследование операций: взаимосвязь задач линейного программирования с теоретико-игровой моделью.
курсовая работа [326,4 K], добавлен 05.05.2010Теоретико-множественная и геометрическая форма определения графов. Матрица смежностей вершин неориентированного и ориентированного графа. Элементы матрицы и их сумма. Свойства матрицы инцидентности и зависимость между ними. Подмножество столбцов.
реферат [81,0 K], добавлен 23.11.2008Природа математики как строгой науки, отношения математических объектов и целостных структур реального мира. Различия в трактовке Платоном и Аристотелем онтологического статуса математических сущностей. Анализ математической концепции семинара Н. Бурбаки.
реферат [26,4 K], добавлен 29.01.2014Использование теоретико-числового и алгебраического метода доказательства, с наглядной геометрической верификацией, который был изобретен П. Ферма. Верификация метода бесконечных (неопределенных) спусков, который применяется для доказательства теоремы.
научная работа [796,8 K], добавлен 11.01.2008История математизации науки. Основные методы математизации. Пределы и проблемы математизации. Проблемы применения математических методов в различных науках связаны с самой математикой (математическое изучение моделей), с областью моделирования.
реферат [46,1 K], добавлен 24.05.2005Приемы построения математических моделей вычислительных систем, отображающих структуру и процессы их функционирования. Число обращений к файлам в процессе решения средней задачи. Определение возможности размещения файлов в накопителях внешней памяти.
лабораторная работа [32,1 K], добавлен 21.06.2013Анализ роли математики в оценке количественных и пространственных взаимоотношений объектов реального мира. Трактовка и обоснование математических теорем Ферма, Ролля, Лагранжа, Коши и Лопиталя. Обзор биографии, деятельности и трудов великих математиков.
курсовая работа [467,9 K], добавлен 08.04.2013Определение понятия множества как совокупности некоторых объектов, объединенных по какому-либо признаку. Классификация операций над множествами. Принципы взаимно однозначного соответствия. Нахождение наибольшего общего делителя и наименьшего кратного.
презентация [249,6 K], добавлен 24.09.2011Теория приближений как раздел математики, изучающий вопрос о возможности приближенного представления математических объектов. Построение интерполяционного многочлена. Приближение кусочно-полиномиальными функциями. Алгоритм программы и ее реализация.
курсовая работа [390,2 K], добавлен 18.10.2015Упорядоченные множества. Решётки. Дистрибутивные решётки. Обобщённые булевы решётки, булевы решётки. Идеалы. Конгруэнции. Основная теорема. Установление взаимно однозначного соответствия между конгруэнциями и идеалами.
дипломная работа [354,6 K], добавлен 08.08.2007Знакомство со средством Microsoft Excel, внутренняя структура и элементы данной программы, ее функциональные особенности и возможности, особенности использования в решении математических задач. Основы теории вероятностей, ее принципы и главные задачи.
контрольная работа [1,5 M], добавлен 16.11.2013Способы построения искусственного базиса задачи. Выражение искусственной целевой функции. Математическая модель задачи в стандартной форме. Получение симплекс-таблиц. Минимизации (сведения к нулю) целевой функции. Формы преобразования в задаче равенства.
задача [86,0 K], добавлен 21.08.2010Обзор основных математических противоречий, касающихся операций с вектором скорости точки. Пути и поиск направлений корректного разрешения данных противоречий. Переход дифференциала радиус-вектора в вектор поверхностной плотности локального объема.
статья [234,9 K], добавлен 23.12.2010Определение понятий множества и факториала. Условия равности двух кортежей. Содержание основных разделов комбинаторики - перечислительного, экстремального и вероятностного. Сущность теории Рамсея. Сведения о размещении, перестановке и сочетании элементов.
реферат [509,5 K], добавлен 21.02.2012Особенности математических моделей и моделирования технического объекта. Применение численных математических методов в моделировании. Методика их применения в системе MathCAD. Описание решения задачи в Mathcad и Scilab, реализация базовой модели.
курсовая работа [378,5 K], добавлен 13.01.2016Характеристика видов математических уравнений - алгебраических и трансцендентных, их сравнение и отличительные особенности. Возможности метода замены неизвестного при решении алгебраических уравнений, применение в стандартных и нестандартных ситуациях.
контрольная работа [246,3 K], добавлен 21.09.2010
