Основы математики
- Математика возникла из практических потребностей и развивалась на протяжении тысячелетий.
- Математическая логика стала разделом математики благодаря работам Лейбница, Ламберта и Джорджа Буля.
- Готтлоб Фреге представил независимое развитие логики с кванторами в своей работе «Язык формул».
- Фундаментальный кризис математики возник в конце 19-го и начале 20-го века из-за открытия парадоксов и противоречивых результатов.
- Математическая логика возникла как новая область математики, предоставляющая математические определения логикам и теоремам.
- Фундаментальный кризис разрешен, но возникают новые философские проблемы, такие как проблема оснований математики.
- Математики и логики спорили о философских вопросах, связанных с математической истиной, связью математики с реальностью и природой математики.
- Формализм является ответом на парадоксы теории множеств и основан на формальной логике.
- Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.
Полный текст статьи: