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