Concept
A New Kind of Science (Un nouveau type de science), souvent référé par ses initiales NKS, est un livre best-seller, écrit par Stephen Wolfram, et publié par sa société Wolfram Research sous le nom de publication Wolfram Media, en 2002. Il contient une étude empirique et systématique des systèmes computationnels tels que les automates cellulaires. Wolfram appelle ces systèmes des programmes simples et soutient que la philosophie scientifique et les méthodes appropriées pour l'étude de programmes simples sont pertinentes dans d'autres domaines de la science. La thèse, élaborée dans le livre A New Kind of Science (NKS), est composée de deux parties : d'une part, elle soutient que la nature de l'informatique doit être explorée expérimentalement et, d'autre part, que les résultats de ces expériences ont une grande pertinence pour comprendre le monde physique. Depuis ses débuts dans les années 1930, le calcul a été principalement abordé à partir de deux traditions : l'ingénierie qui cherche à construire des systèmes pratiques à l'aide de calculs et les mathématiques qui cherchent à prouver les théorèmes sur le calcul. Cependant, aussi récemment que dans les années 1970, l'informatique a été décrite comme étant à la croisée des traditions mathématiques, empiriques et d'ingénierie. Wolfram introduit une troisième tradition de grande importance : la recherche systématique et empirique des systèmes informatiques eux-mêmes. D'où les mots « Nouveau » et « Science » qui apparaissent dans le titre du livre. Après avoir étudié les systèmes informatiques, Wolfram a conclu qu'une toute nouvelle méthode était nécessaire. Pour Wolfram, les mathématiques traditionnelles ne parvenaient pas à décrire la complexité observée dans les systèmes. Grâce à une combinaison d'expériences et d'hypothèses théoriques, le livre présente une nouvelle méthode que Wolfram considère comme le moyen le plus réaliste d'étudier scientifiquement les systèmes complexes. Le thème de base du « nouveau type de science » de Wolfram est l'étude de règles abstraites simples, essentiellement des programmes informatiques élémentaires.