Books [Thomas C. Hales] Mathematics in the Age of the Turing Machine

[tttx]

​

DESCRIPTION:

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:

Авторизуйтесь, чтобы посмотреть скрытый контент