Jamais seuls. Le zéroïème théorème en histoire des sciences. Problèmes de Hilbert. 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 XXe siècle, et l'on peut dire aujourd'hui que cela a été grandement le cas. Publiée après la tenue du congrès, la liste définitive comprenait 23 problèmes, aujourd'hui appelés les problèmes de Hilbert.
Les sections suivantes présentent brièvement chaque problème. Les 23 problèmes de Hilbert[modifier | modifier le code] Description détaillée[modifier | modifier le code] Premier problème[modifier | modifier le code] Tout sous-ensemble infini des réels peut être mis en bijection avec l'ensemble des entiers naturels ou avec l'ensemble des réels lui-même. Il s'agit de l'hypothèse du continu de Cantor, notée HC. Il existe un bon ordre sur l'ensemble des réels. Démontrer l'hypothèse de Riemann ; Machine de Turing. Un article de Wikipédia, l'encyclopédie libre. Pour les articles homonymes, voir Turing. Vue d’artiste d’une Machine de Turing (sans la table de transition).
Une machine de Turing est un modèle abstrait du fonctionnement des appareils mécaniques de calcul, tel un ordinateur et sa mémoire. Ce modèle a été imaginé par Alan Turing en 1936, en vue de donner une définition précise au concept d’algorithme ou de « procédure mécanique ». Il est toujours largement utilisé en informatique théorique, en particulier dans les domaines de la complexité algorithmique et de la calculabilité. La thèse de Church postule que tout problème de calcul fondé sur une procédure algorithmique peut être résolu par une machine de Turing. À l'origine, le concept de machine de Turing, inventé avant l'ordinateur, était censé représenter une personne virtuelle exécutant une procédure bien définie, en changeant le contenu des cases d'un tableau infini, en choisissant ce contenu parmi un ensemble fini de symboles.
Où. Official Google Blog. PM's apology to codebreaker Alan Turing: we were inhumane | World news. Gordon Brown issued an unequivocal apology last night on behalf of the government to Alan Turing, the second world war codebreaker who took his own life 55 years ago after being sentenced to chemical castration for being gay. Describing Turing's treatment as "horrifying" and "utterly unfair", Brown said the country owed the brilliant mathematician a huge debt.
He was proud, he said, to offer an official apology. "We're sorry, you deserved so much better," Brown writes in a statement posted on the No 10 website. Turing is most famous for his work in helping create the "bombe" that cracked messages enciphered with the German Enigma machines. He was given experimental chemical castration as a "treatment". Thousands have signed a Downing Street petition calling for an official apology, among them the novelist Ian McEwan, scientist Richard Dawkins, and gay rights campaigner Peter Tatchell. In 1999 Time Magazine named him as one of the 100 Most Important People of the 20th Century. Hello world ! 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.
Comme vous le savez sûrement, il existe des problèmes insolubles informatiquement (indécidables). L’exemple canonique de premier programme que tout un chacun étudie est le fameux “printf(“hello, world\n”);”. Démonstration par l’absurde : supposons qu’un tel programme H existe. En photo : Alan Turing, père de l’informatique. Référence : Introduction to Automata Theory, Languages, and Computation, Hopcroft, Motwani, Ullman. Le retour en grâce d’Alan Turing » Article » OwniSciences, Société, découvertes et culture scientifique. 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. Turing l’informaticien Ses contributions majeures sont dans le domaine de l’informatique. Ce qu’on sait moins, c’est que Turing a inventé sa machine (et donc l’ordinateur) pour répondre à un problème mathématique précis, posé par Hilbert dans sa fameuse liste.
Turing, l’homme. Zoomer ou dézoomer? Les enjeux politiques des données ouvertes » Article » OWNI, Digital Journalism. Pour Dominique Cardon, le journalisme de données doit apprendre à se dézoomer lui-même: c'est la condition pour que la libération des données publiques soit véritablement pertinente. Afin que tout un chacun puisse se retrouver dans les chiffres. Dominique Cardon, sociologue au Laboratoire des usages d’Orange Labs, est l’auteur de “La démocratie Internet” (Seuil/République des idées).
Le mouvement qui s’est constitué autour des “données ouvertes” et du “journalisme de données” ouvre un nouveau terrain au dialogue, déjà ancien, entre journalisme et sciences sociales. La promotion du journalisme de données ne cesse en effet de vouloir faire du journaliste un chercheur en sciences sociales, doublé d’un informaticien et d’un infographiste.
Certes, la révolution de l’information numérique, ses potentialités interactives, la multiplication des grandes bases de données, la participation du public et les nouveaux outils de visualisation créent un contexte tout à fait nouveau. SourceMap. Les Cahiers européens de l'imaginaire : Blog. Fr L'appel à contribution est aussi disponible en : Français English Italiano Español Português Deutsch Le fake : la vérité en ses variations « Les choses invisibles sont les seules réelles » (William Godwin), « Comprendre le réel à partir de l’irréel » (Max Weber), « Le monde vrai devint fable » (Friedrich Wilhelm Nietzsche), « La vérité n’est pas un dévoilement qui détruit le mystère, mais la révélation qui lui rend justice » (Walter Benjamin), « L’imaginaire est une réalité plus réelle que le réel » (Gilbert Durand), « L'imaginaire est un Réel plus réel que la réalité » (Michel Maffesoli), « Dans le monde réellement renversé, le vrai est un moment du faux » (Guy Debord), « La différence entre le réel et le simulacre a disparu » (Jean Baudrillard), « We are all fakes » (Banksy)...
Qu’en est-il du réel, de la Vérité, de l’authenticité, dans une vision plurielle et relativiste de l’éxistence ? Calendrier 30/04/13 : ouverture de l'appel à contribution 14/06/13 : clôture des soumissions Calendar. 04 VicenzoSusca.pdf (Objet application/pdf)