
Technomagie
Get flash to fully experience Pearltrees
Le zéroïème théorème en histoire des sciences - La science, la cité
Le zéroïème théorème, késako ? C'est cette idée selon laquelle une découverte ou une invention qui porte le nom d'une personne n'est jamais due à cette personne. Le nombre d'Avogadro ? Il a été déterminé en premier par Loschmidt en 1865.Un article de Wikipédia, l'encyclopédie libre. Lors du deuxième congrès international des mathématiciens tenu à Paris en 1900 , David Hilbert présenta une liste de problèmes qui tenaient jusqu'alors les mathématiciens en échec. Ces problèmes devaient, selon Hilbert, marquer le cours des mathématiques du XX e siècle , et l'on peut dire aujourd'hui que cela a été grandement le cas. La liste définitive fut publiée après la tenue du congrès et est aujourd'hui familièrement appelée problèmes de Hilbert . Prouvé indécidable (ni sa vérité ni sa fausseté ne peuvent être prouvés) dans la théorie des ensembles de Zermelo-Fraenkel , avec ou sans l' axiome du choix . Il n'y a pas de consensus sur le fait que ce résultat apporte une solution au problème.
Problèmes de Hilbert - Wikipédia
Machine de Turing - Wikipédia
Un article de Wikipédia, l'encyclopédie libre. Une machine de Turing est un modèle abstrait du fonctionnement des appareils mécaniques de calcul, tel un ordinateur et sa mémoire, créé par Alan Turing en vue de donner une définition précise au concept d' algorithme ou « procédure mécanique ». Ce modèle [ 1 ] est toujours largement utilisé en informatique théorique , en particulier pour résoudre les problèmes de complexité algorithmique et de calculabilité . On lui adjoint pour cela un oracle .Les Cahiers européens de l'imaginaire : 8 mars 2011 : colloque!
PM's apology to codebreaker Alan Turing: we were inhumane | World news | The Guardian
Ouh la la, une semaine sans billet ! Rien ne va plus ! Rassurez-vous, je ne suis pas mort, mais juste en train d’approfondir ma connaissance de l’algorithmique et des automates cellulaires… Parlons donc informatique pour une fois.
Matières Vivantes » Blog Archive » Hello world !
Après les excuses du gouvernement Brown en 2009 contre le traitement abominable qui lui fut réservé, un documentaire en cours de tournage va remettre le génie d'Alan Turing sous les projecteurs pour le centenaire de sa naissance célébré en 2012. Alan Turing, né en 1912 et mort en 1954, est un modèle scientifique pour de nombreuses personnes. Mathématicien spécialiste de cryptographie, il est précurseur si ce n’est l’inventeur d’au moins deux domaines scientifiques très actifs aujourd’hui qui m’intéressent au plus haut point : l’informatique et la biologie intégrative. De plus, nombre de ses travaux avaient des motivations autant philosophiques que scientifiques, ce qui explique peut-être le souffle qui les anime.

