Настоящая бесконечность
Актуальная бесконечность Актуальная бесконечность в философии математики Включает бесконечные сущности как данные, действительные и завершенные объекты Введена в математику Георгом […]
Вики
Philosophy of mathematics
Вики
Философия математики – Arc.Ask3.Ru
Философия математики Философия математики Раздел философии, изучающий природу математики и её взаимосвязь с другими видами деятельности. Основные темы: реальность, логика
Вики
Философия математики – Arc.Ask3.Ru
Философия математики Философия математики Раздел философии, изучающий природу математики и её взаимосвязь с другими видами деятельности. Основные темы: реальность, логика
Вики
Математика многоножки
Математика сороконожки Определение многоножечной математики Термин используется для описания обобщения и изучения математических объектов с постепенно уменьшающимися ограничениями. Сравнивается с
Вики
Непредикативность
Непредсказуемость Определение и примеры предикативных и непредикативных определений Предикативные определения описывают свойства, которые могут быть проверены на истинность. Непредикативные определения
Вики
Непредикативность
Непредсказуемость Определение и примеры предикативных и непредикативных определений Предикативные определения описывают свойства, которые могут быть проверены на истинность. Непредикативные определения
Вики
Ультрафинитизм
Ультрафинитизм Определение и основные идеи ультрафинитизма Ультрафинитизм – форма финитизма и интуитивизма, отвергающая теоретико-числовые функции, такие как возведение в степень.
Вики
Псевдомаматематика
Псевдоматематика Определение и область псевдоматематики Псевдоматематика – это математическая деятельность, выходящая за рамки формальной математики. Включает в себя решение неразрешимых
Вики
Вероятностные интерпретации
Вероятностные интерпретации Основные интерпретации вероятности Логическая вероятность: основана на логическом следовании и дедукции. Субъективная вероятность: основана на личном восприятии и
Вики
Аргумент незаменимости Куайна-Патнэма
Аргумент Куайна–Патнэма о незаменимости Аргумент Куайна о незаменимости математики Куайн утверждает, что математические объекты необходимы для науки, так как они
Вики
Ультрафинитизм
Ультрафинитизм Определение и основные идеи ультрафинитизма Ультрафинитизм – форма финитизма и интуитивизма, отвергающая теоретико-числовые функции, такие как возведение в степень.
Вики
Математизм
Математизм История и развитие математической логики Математическая логика возникла в Древней Греции и развивалась в средневековой Европе. Лейбниц внес значительный
Вики
Аристотелевская реалистическая философия математики
Аристотелевская реалистическая философия математики Основы аристотелевского реализма в математике Аристотелевский реализм утверждает, что математика изучает реальные свойства, такие как симметрия
Вики
Непредикативность
Непредсказуемость Определение и примеры предикативных и непредикативных определений Предикативные определения описывают свойства, которые могут быть проверены на истинность. Непредикативные определения
Вики
Арифметизация анализа
Арифметизация анализа История и программа арифметизации анализа Арифметизация анализа – это программа, которая стремилась исключить геометрическую интуицию из математических доказательств.
Вики
Синтез байесовских программ
Синтез байесовской программы Основы Байесовского Программного Синтеза (BPS) BPS – это метод автоматического создания новых вероятностных программ. Он отличается от
Вики
Абсолютная бесконечность
Абсолютный бесконечный Определение абсолютной бесконечности Абсолютная бесконечность – это число, превосходящее все мыслимые величины. Кантор связывал абсолютную бесконечность с Богом
Вики
Формализм (философия математики)
Формализм (философия математики) Формализм в философии математики рассматривает утверждения математики и логики как утверждения о последствиях манипулирования строками с использованием