Философия математики

Вики

Арифметизация анализа — Википедия

/

Арифметизация анализа История и программа арифметизации анализа Арифметизация анализа — это программа, которая стремилась исключить геометрическую интуицию из математических доказательств.  […]

Вики

Абсолютная бесконечность — Википедия

/

Абсолютный бесконечный Определение абсолютной бесконечности Абсолютная бесконечность — это число, превосходящее все мыслимые величины.  Кантор связывал абсолютную бесконечность с Богом

Вики

Байесовская вероятность — Википедия

/

Байесовская вероятность Байесовская вероятность — интерпретация вероятности, основанная на состоянии знаний или личном убеждении.  Байесовская интерпретация вероятности расширяет пропозициональную логику

Вики

Определения математики — Википедия

/

Определения математики Математика не имеет общепринятого определения, различные школы мысли предлагают разные определения.  Ранние определения: Пифагор — «все есть число,

Вики

Философия математики — Википедия

/

Философия математики Философия математики изучает природу математики и ее связь с другими видами деятельности.  Основные темы философии математики: реальность математики,

Вики

Настоящая бесконечность — Википедия

/

Актуальная бесконечность Абстракция актуальной бесконечности предполагает принятие бесконечных сущностей как актуальных и завершенных объектов.  Актуальная бесконечность противопоставляется потенциальной бесконечности, где

Вики

Основы математики — Википедия

/

Основы математики Основы математики — логико-математическая основа для развития математики без противоречивых теорий.  Термин «основы математики» введен в обиход в

Вики

Математическая красота — Википедия

/

Математическая красота Математическая красота вызывает восхищение и рассматривается как истина.  Математики верят, что математические результаты могут быть обоснованно приняты как

Вики

Психологизм — Википедия

/

Психологизм Психологизм — семейство философских позиций, в которых психологические факты играют центральную роль в обосновании непсихологических фактов.  Слово «психологизм» было

Вики

Основы математики — Википедия

/

Основы математики Математика возникла из практических потребностей и развивалась на протяжении тысячелетий.  Математическая логика является разделом математики, который занимается формальным

Вики

Компьютерное доказательство — Википедия

/

Компьютерное доказательство Компьютерное доказательство — математическое доказательство, частично сгенерированное компьютером.  Большинство компьютерных доказательств основаны на реализации больших доказательств путем исчерпания

Вики

Математическая практика — Википедия

/

Математическая практика Математическая практика включает методы работы профессиональных математиков, выбор теорем для доказательства и использование неформальных обозначений.  Филип Китчер предложил

Вики

Взаимная исключительность — Википедия

/

Взаимная исключительность Взаимоисключающие события исключают возможность одновременного наступления обоих событий.  В логике взаимоисключающие утверждения логически невозможны одновременно.  В теории вероятностей

Вики

Математическая логика — Википедия

/

Математическая логика Логика первого порядка — это формальная система, используемая для изучения математических утверждений.  Она включает в себя конечные выражения

Прокрутить вверх