Roy Schestowitz <newsgroups@xxxxxxxxxxxxxxx> espoused:
> Open Source Mathematical Software
>
> ,----[ Quote ]
>| Increasingly, proprietary software and the algorithms used are an essential
>| part of mathematical proofs. To quote J. Neubüser, 'with this situation two
>| of the most basic rules of conduct in mathematics are violated: In
>| mathematics information is passed on free of charge and everything is laid
>| open for checking.'
> `----
>
> http://www.ams.org/notices/200710/tx071001279p.pdf
>
The man is 100% correct. The whole modern process of philosophical
work of any kind is based around repeatable experiments, peer review and
open developments. The GPL, to my mind, codifies scientific method as
it was taught to me at school and university.
Anyone using a proprietary process in a proof has no proof at all.
--
| Mark Kent -- mark at ellandroad dot demon dot co dot uk |
| Cola faq: http://www.faqs.org/faqs/linux/advocacy/faq-and-primer/ |
| Cola trolls: http://colatrolls.blogspot.com/ |
| My (new) blog: http://www.thereisnomagic.org |
|
|
