axiom-developer
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-developer] Why proving Axiom correct is important


From: daly
Subject: [Axiom-developer] Why proving Axiom correct is important
Date: Thu, 7 May 2015 22:20:14 -0500

Mathematicans need to be able to rely on the algorithms.

http://nautil.us/issue/24/error/in-mathematics-mistakes-arent-what-they-used-to-be



reply via email to

[Prev in Thread] Current Thread [Next in Thread]