Классическая математика - Classical mathematics
в основы математики, классическая математика обычно относится к основному подходу к математика, который основан на классическая логика и Теория множеств ZFC.[1] Он контрастирует с другими видами математики, такими как конструктивная математика или же предикативная математика. На практике в конструктивной математике используются наиболее распространенные неклассические системы.[2]
Классическая математика иногда подвергается нападкам на философских основаниях из-за конструктивист и другие возражения против логики, теории множеств и т. д., выбранные в качестве ее основы, например, высказанные Л. Э. Дж. Брауэр. Однако почти вся математика ведется в соответствии с классической традицией или совместимыми с ней способами.
Защитники классической математики, такие как Дэвид Гильберт, утверждали, что с ним легче работать и он наиболее плодотворен; Хотя они признают, что неклассическая математика иногда приводила к плодотворным результатам, которых классическая математика не могла (или не могла так легко) достичь, они утверждают, что в целом все наоборот.[нужна цитата ]
Смотрите также
- Конструктивизм (математика)
- Финитизм
- Интуиционизм
- Неклассический анализ
- Традиционная математика
- Ультрафинитизм
- Философия математики
Рекомендации
- ^ Стюарт Шапиро, изд. (2005). Оксфордский справочник философии математики и логики. Oxford University Press, США. ISBN 978-0-19-514877-0.
- ^ Торкель Францен (1987). Доказуемость и правда. Almqvist & Wiksell International. ISBN 91-22-01158-7.
 | Этот математическая логика -связанная статья является заглушка. Вы можете помочь Википедии расширяя это. |