Стремление к строгости в математике имеет долгую и неоднозначную историю — историю, из которой математики могут извлечь уроки сейчас, когда формализуют математику в программе Lean.
Рубрика «формализация математики»
Проект Lean: Можно ли формализовать всю математику на компьютере – и нужно ли?
2026-06-26 в 9:36, admin, рубрики: lean, доказательство теорем, история математики, математическая строгость, теорема ферма, формализация математики, формальная верификация