Towards computer aided mathematics
β
Christoph BenzmΓΌller
π
Article
π
2006
π
Elsevier Science
π
English
β 88 KB
In his autobiography 1 Bertrand Russell characterizes mathematics as follows: "It seems to me now that mathematics is capable of an artistic excellence as great as that of any music, perhaps greater; not because the pleasure it gives (although very pure) is comparable, either in intensity or in the