Stephen Wolfram

Le Stephen Wolfram (soutenu le 29 août , 1959 dans Londres ) est un physicien connu pour son travail dans la physique théorique de particules de , les automates cellulaires , la théorie de complexité , et l'algèbre d'ordinateur de , et est le créateur du Mathematica de programme informatique.

La vie tôt

Le père de Wolfram, Hugo Wolfram, était un romancier et sa mère, Sybil Wolfram, était un professeur de la philosophie à l'université de d'Oxford . Wolfram était instruit à l'école d'Etat de d'Eton . Souvent décrit comme prodige d'enfant , il a édité un article sur la physique de particules de à l'âge 16 et est entré à l'Université d'Oxford (université de rue John de ) à l'âge 17. dans la physique de particules du Caltech à l'âge 20 et a joint le corps enseignant là. Son travail avec le Fox de Geoffrey sur la théorie de l'interaction forte est encore employé aujourd'hui dans la physique expérimentale de particules.

La vie professionnelle

Il a mené le développement de la SMP du système d'algèbre d'ordinateur de (programme de manipulation symbolique de : La SMP était essentiellement la version zéro du Mathematica ) dans le département de physique de Caltech pendant 1979-1981, mais un conflit avec l'administration au-dessus des juste de la propriété intellectuelle concernant la SMP -- brevets/copyright et participation de corps enseignant dans des entreprises commerciales -- par la suite causé l'à démissionner de Caltech. La SMP a été encore développée et commercialement lancée sur le marché par Inference Corp. de Los Angeles au cours de la période 1983-1988. En 1981, Wolfram a été attribué une camaraderie de MacArthur de . En 1983, il est parti pour l'école des sciences normales de l'institut de pour les études supérieures , où il a étudié les automates cellulaires, principalement avec des simulations sur ordinateur. Dans les années 80 de milieu Wolfram a travaillé aux simulations physiques (telles que flux de fluide turbulent ) avec les automates cellulaires sur la machine de raccordement à côté du Richard Feynman .

Mathematica

voient également : Mathematica

En Wolfram 1986 quitté l'institut de pour les études supérieures pour l'Université des Illinois de au l'Urbana-Champagne où il a fondé leur centre pour les systèmes complexes recherche et a commencé à développer le système Mathematica d'algèbre d'ordinateur, qui a été libéré la première fois en 1988, quand il a laissé le milieu universitaire. En 1987 il co-founded une compagnie appelée la recherche de Wolfram de , qui continue à prolonger le programme et à le lancer sur le marché avec le succès. En date d'aujourd'hui Stephen Wolfram est l'actionnaire majoritaire.

un nouveau genre de la Science

voient également : un nouveau genre de

la Science

De 1992 à 2002, Wolfram ont travaillé à son controversé de de livre un nouveau genre de la Science (NKS), qui présente une étude empirique des systèmes informatiques très simples. En plus, elle a argué du fait que pour des raisons de principe fondamental ces types de systèmes, plutôt que des mathématiques traditionnelles, sont nécessaires pour modeler et comprendre la complexité en nature.

Puisque le dégagement du livre de NKS en 2002, Wolfram a dédoublé son temps entre développer Mathematica et personnes d'une manière encourageante pour devenir impliqué avec NKS en présentant des exposés, tenant des conférences de NKS, et commençant des cours d'été de NKS.

Découverte de la machine de Turing universelle la plus simple

Dans le livre de NKS, Wolfram a trouvé la machine universelle de Turing de connue la plus simple , celle avec 2 états et 5 couleurs. Puisqu'on l'a su qu'aucune machine avec 2 états et 2 couleurs ne peut être universelle, Wolfram après fait une recherche empirique sur 2.984 machines possibles de Turing du 2.3 et parmi des candidats il a choisi un qu'il a eu l'intuition pourrait en effet être la machine de Turing universelle la plus simple. Un prix US$25,000 a été annoncé pour être attribué à la première personne ou groupe qui fourniraient une preuve formelle qui ce candidat particulier est universel ou qui ce n'est pas. Le Alex Smith , un étudiant préparant une licence de 20 ans de Birmingham , R-U, prétendu avoir prouvé l'universalité de la machine de Turing de Wolfram 2.3 et a été attribué le prix. Le Vaughan Pratt d'informaticien plus tard a prétendu avoir fondé une erreur dans le raisonnement de la preuve. La recherche et l'Alex Smith de Wolfram plus tard ont contesté la réclamation de Pratt sur le même groupe de discussion.

Random links: