el software libre y las demostraciones matemáticas
Hola, A los que como Enrique y yo compartan la pasion por las matem�ticas y el software libre, les quiero recomendar un articulo de un amigo mio (Juan Pablo) en http://www.zonalibre.org/blog/demairena/ titulado "Open source vs. cajas negras" que explica porque no es valido utilizar programas que no sean open source para demostrar teoremas matematicos, poniendo como ejemplo el caso de la conjetura de Kepler. (Juan Pablo no es un militante del Open Source, pero si un tipo muy inteligente) Hay un proyecto en http://www.math.pitt.edu/~thales/flyspeck/index.html para hacer una version open source de la demostracion. Saludos, Pablo __________________________________ Do you Yahoo!? Yahoo! Small Business $15K Web Design Giveaway http://promotions.yahoo.com/design_giveaway/
participants (1)
-
Pablo De Napoli