- Регистрация
- 27 Авг 2018
- Сообщения
- 47,045
- Реакции
- 948,107
- Тема Автор Вы автор данного материала? |
- #1
Computers have rapidly become so pervasive in mathematics that future generations may look back to this day as a golden dawn. The article gives a survey of mathematical proofs that rely on computer calculations and formal proofs.
Where stands the mathematical endeavor?
INFORMATION PAGE:
DOWNLOAD:
