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