Бенацерраф и теоретико-множественный редукционистский реализм
Анализ фрагмента аргументации возможности однозначного сведения математических понятий к теоретико-множественным понятиям. Замечания П. Бенацеррафа к своей аргументации против теоретико-множественного реализма, отвержение проблемы отождествления.
Подобные документы
Методы формализации знаний прикладного характера, возможность формального решения качественных задач. Систематизация прикладных задач качественного характера. Классификация типов задач, проблемы решения задач в теоретико-множественных представлениях.
статья, добавлен 02.09.2018История софизмов и парадоксов как ложных высказываний, кажущихся верными при поверхностном рассмотрении. Определение понятий "софизм", "парадокс", "курьез" в математической логике. Классификация математических софизмов и описание математических курьезов.
практическая работа, добавлен 03.10.2020Факторизация целых чисел с экспоненциальной сложностью. Эллиптические кривые и их свойства. Дискретное логарифмирование в полях Галуа. Решение систем линейных уравнений. Дискретное преобразование Фурье и умножение многочленов. Детерминированные методы.
монография, добавлен 03.07.2013- 29. Сети Петри
Природа систем, моделируемых сетями Петри, их специфические признаки и характеристики. Подходы к проектированию систем с помощью сетей Петри, их теоретико-множественное определение, графы. Использование мультимножеств входных и выходных позиций перехода.
реферат, добавлен 21.09.2011 Основные понятия теории множеств. Операции над ними. Свойства алгебраического тождества. Упорядоченные множества элементов. Структура и способы представления многомерных матриц. Правило получения обратной матрицы. Многомерно-матричное дифференцирование.
реферат, добавлен 16.01.2018Изучение теоретико-игровых основ моделирования и классификации существующих моделей боевых действия. Построение математической модели высокоорганизованного боя, основанной на уравнениях Осипова-Ланчестера, как основы моделирования военных конфликтов.
отчет по практике, добавлен 29.09.2020Преподавание математики в школе. Разработка и обоснование методики проведения курса по выбору "тригонометрия: от плоскости к пространству" на старшей ступени общего образования. Роль тригонометрии в учебном процессе. Место курса в школьной программе.
дипломная работа, добавлен 03.07.2018Противостояние логицизма и интуиционизма, формализма и теоретико-множественных оснований математики. Применяемые в математике аксиомы выбора, закон исключенного третьего, аксиомы сводимости, понятия теории множеств. Значение прикладной математики.
статья, добавлен 11.02.2021Характеристика особенностей использования математических задач в процессе обучения для развития наглядно-образного мышления, творческих способностей и исследовательских навыков учащихся. Описание математических задач исследовательского характера.
статья, добавлен 18.11.2020Изучение понятия и разновидностей графов. Явление изоморфизма и гомеоморфизма. Пути и циклы. Дерево или произвольно-связный граф без циклов. Цикломатическое число и фундаментальные циклы. Независимые множества и покрытия. Алгоритм Дейкстры, Краскала.
шпаргалка, добавлен 08.09.2013Теоретические аспекты понятия разности двух множеств как теоретико-множественной операции в математике, особенности пустого множества. Основные свойства разности множеств и сущность законов де Моргана. Реализация операции с помощью компьютерных программ.
реферат, добавлен 18.02.2012Основна ідея та предмет вивчення реляційної алгебри, її структура, принципи та значення в системі наук. Зміст теоретико-множинних операцій. Загальна інтерпретація реляційних операцій. Кортежні змінні і правильно побудовані формули реляційного числення.
реферат, добавлен 20.06.2010- 38. Аксиома выбора
Аксиома выбора как один из важнейших теоретико-множественных принципов. Главная причина отрицательного отношения к принятию аксиомы. Альтернативные формулировки термина. Принцип вполне упорядочивания (теорема Цермело). Общее понятие о максимуме Хаусдорфа.
контрольная работа, добавлен 18.10.2013 Описання будови максимальних лівих ідеалів в ультрадобутку зліченної сім'ї нетерових V-областей шляхом знаходження загальної формули, що задає будову максимального лівого ідеала в ультрадобутку нетерових областей. Обчислення спектру ультрадобутку.
автореферат, добавлен 25.06.2014Рассматривается понятие доказательства в связи с соответствием Карри-Говарда. Исследуются особенности этого понятия, а также различия классической доктрины "высказывания как типы." Особое внимание уделяется проблеме статуса логического в математике.
статья, добавлен 07.04.2021Розвиток теоретико-методологічних підходів щодо впровадження в економіку нечіткого моделювання. Розробка методів розв'язання некоректних задач відновлення економічної інформації на основі багатокритеріальної оптимізації та теорії нечітких множин та мір.
автореферат, добавлен 28.08.2015Понятие о графе, способы его задания. Достижимость и обратная достижимость вершин графа. Графовые модели для оптимизации транспортных сетей и потоков, решения задач календарного планирования, задач о назначениях и других задач дискретной оптимизации.
курсовая работа, добавлен 21.12.2011Узагальнення результатів про примарні розклади ідеалів та модулів на диференціальний випадок та теоретико-скрутову ситуацію. Опис скрут Бленда над некомутативними диференціальними кільцями. Вирішення проблеми про аксіоматизовність класу кілець Прюфера.
автореферат, добавлен 29.08.2015Понятие частично упорядоченного множества для современной теоретико-множественной математики. Теорема, позволяющая по формуле найти число линейно упорядочиваемых бинарных отношений на множестве из n элементов. Получение рекуррентной формулы уравнения.
статья, добавлен 30.07.2017Аналіз комбінаторних конфігурацій як аргументу цільової функції. Локальний метод знаходження оптимального розв'язку задач комбінаторної оптимізації. Способи визначення динамічних параметрів у задачах проектування електронно-обчислювальної апаратури.
автореферат, добавлен 28.09.2015Аксиомы теории Цернело-Френкеля по устранению. Аксиома выбора как один из важнейших теоретико-множественных принципов, альтернативные формулировки аксиомы и её применение. Принцип вполне упорядочивания и лемма Цорна для частично упорядоченных множеств.
реферат, добавлен 11.10.2014История становления понятия вещественного числа. Конструктивные способы определения вещественного числа. Системы аксиом вещественных чисел. Связь вещественных чисел с рациональными. Обобщение и теоретико-множественные свойства вещественных чисел.
реферат, добавлен 25.02.2016Сутність теорії матриць, теореми Перрона-Фробеніуса та Маркова. Визначення квадратної матриці, аналіз змістовних математично-економічних та теоретико-ймовірнісних моделей. Додавання матрицям однакових розмірів, характеристичне рівняння для матриці.
реферат, добавлен 23.11.2017Исследование аналитических задач, возникающих перед субъектами расследования преступлений, связанных с установлением взаимосвязей между фигурантами преступления и обстоятельствами его совершения, такими как дата, время, место на основе теории графов.
статья, добавлен 08.03.2019Теоретико-методологічні основи прикладної геометрії щодо керованого синтезу та цілеспрямованої варіації форми геометричних об'єктів із застосуванням геометричних перетворень простору. Створення нового апарату, орієнтованого на комп'ютерну реалізацію.
автореферат, добавлен 29.04.2014