En ligne : "A new kind of Science" de S. Wolfram

Ici, on discute de sujets variés...
Avatar de l’utilisateur
Invité
Messages : 4757
Inscription : 16 janv. 2004, 17:47

En ligne : "A new kind of Science" de S. Wolfram

#1

Message par Invité » 14 mai 2005, 18:18

Le livre "A new kind of Science" de Stephen Wolfram (l'auteur du logiciel Mathematica) , est disponible gratuitement sur le web.

http://www.wolframscience.com/nksonline/toc.html

Dans le système de Wolfram, les automates cellulaires remplacent les équations mathématiques pour tenter d'expliquer la nature.

"Galileo proclaimed that nature is written in the language of mathematics, but Wolfram would argue that it is written in the language of programs"

I.

Avatar de l’utilisateur
groucho_max
Messages : 411
Inscription : 07 mars 2005, 16:14

Re: En ligne : "A new kind of Science" de S. Wolfr

#2

Message par groucho_max » 15 mai 2005, 11:46

Invité a écrit :Le livre "A new kind of Science" de Stephen Wolfram (l'auteur du logiciel Mathematica) , est disponible gratuitement sur le web.

http://www.wolframscience.com/nksonline/toc.html

Dans le système de Wolfram, les automates cellulaires remplacent les équations mathématiques pour tenter d'expliquer la nature.
Wolfram n'est pas l'initiateur de cette facon de proceder (Konrad Zuse est le pere de ce que l'on appelle aujourd'hui la 'digital physics' (fin des annees 60), et Edward Fredkin sa premiere nourrice) - bien qu'il ait contribue a la classification des automates cellulaires -, et enormement de chercheurs travaillent dans ce secteur tres actif tant des mathematiques, de l'informatique que de la modelisation (en biologie, en physique, etc.) depuis de tres nombreuses annees. Je precise juste ca, en passant, parce que le livre de Wolfram ne cite presque personne (ingratitude? megalomanie?), laissant ainsi croire a tort au lecteur non-initie qu'il est entre autres un "revolutionnaire".
"Galileo proclaimed that nature is written in the language of mathematics, but Wolfram would argue that it is written in the language of programs"
Ce qui, a quelques details pres, revient au meme (cf. p.e. l'isomorphisme de Curry-Howard qui etablit en (tres) gros plusieurs correspondances, dont {type}<--> {theoreme} et {programme} <-->{preuve}).

groucho max
"La metaphysique est une lanterne accrochee dans le dos qui n'eclaire que le sphincter." (Gustave Choupin in "Membrax contre Turlut")

Répondre

Qui est en ligne ?

Utilisateurs parcourant ce forum : Aucun utilisateur inscrit