Ebooks Gratuits

Télécharger les dernières nouvelles en format ebook, pdf et epub

Recherche d'ebooks...

Nous avons trouvé un total de 38 livres trouvés pour votre recherche. Téléchargez les ebooks et profitez-en !
La Machine de Turing, de Benoît Solès

La Machine de Turing, de Benoît Solès

Auteure: Benoit SOLES

Nombre de pages: 124

Des pièces contemporaines multi-primées exclusivement en Carrés Classiques ! Voici l'histoire de la réussite secrète d'un génie. Celle aussi du destin brisé d'un homme. Turing, mathématicien hors normes, parvient en 1942 à casser le code d'Enigma, la machine de cryptage des messages nazis. Interviews exclusives de Benoit Solès auteur et interprète du rôle principal, Tristan Petitgirard, metteur en scène, et de Amaury de Crayencourt, comédien. Enjeux pédagogiques En complément : Le dossier sur l'œuvre Pour en savoir plus et pour télécharger gratuitement le livret pédagogique réservé exclusivement aux enseignants rendez-vous sur https://carresclassiques.nathan.fr/

Sin imagen

Turing

Auteure: Jean Lassègue

Nombre de pages: 210

Alah Turing (1912-1954), mathématicien et logicien, est considéré comme le père de l'informatique et de l'intelligence artificielle. Il était aussi théoricien de la biologie et philosophe: lui revient le mérite d'avoir mis en rapport la logique et la biologie. On essaye ici de retracer l'itinéraire exceptionnel de ce savant qui fut aussi un homme d'action : lors de la seconde guerre mondiale, alors que les sous-marins allemands faisaient le blocus de l'Angleterre, il a réussi à décrypter les messages codés par la machine Enigma qui leur étaient envoyés par radio de Berlin - il sera décoré pour avoir contribué à éviter l'invasion nazie ; malgré la pénurie d'après-guerre, il a conçu le projet de l'ordinateur et l'a rendu opérationnel avant le projet américain concurrent et avait, dès 1945, le projet de " construire un cerveau " ... Ce livre, en présentant pour la première fois l'ensemble de l'oeuvre de Turing, vise à mieux faire comprendre le monde de la techno-science dans lequel nous vivons aujourd'hui et que Turing a contribué à engendrer.

Alan Turing

Alan Turing

Auteure: Laurent Lemire

Nombre de pages: 196

Pomme croquée et arc-en-ciel du drapeau gay, le célèbre constructeur d’ordinateurs Apple rend un hommage crypté au mathématicien Alan Turing, qui fut l’un des plus grands esprits du XXe siècle. Jeune étudiant à Cambridge dans les années 1930, Turing se distingue en publiant des travaux théoriques qui posent les fondations des recherches en intelligence artificielle. Il côtoie alors les plus grands mathématiciens de l’entre-deux-guerres. En 1936, à Princeton, aux États-Unis, il a l’idée de concevoir un ordinateur. La Seconde Guerre mondiale lui permet d’appliquer ses théories. Engagé par les services secrets britanniques, Turing parvient à percer le secret de la machine « Enigma », qui permettait aux nazis de coder leurs messages, et contribue ainsi à la victoire des Alliés. Mais ce héros discret sera contraint de demeurer dans l’ombre. Condamné d’abord au secret pour ses recherches, Alan Turing le sera ensuite pour son homosexualité, dans une Grande-Bretagne de l’après-guerre où l’homosexualité est un crime – Oscar Wilde en avait fait les frais cinquante ans plus tôt. Désormais écarté de tous les grands projets scientifiques,...

Turing à la plage

Turing à la plage

Auteure: Rachid Guerraoui , Lê Nguyên Hoang

Nombre de pages: 208

Les humains seront-ils un jour dominés par des algorithmes? Installez-vous confortablement dans un transat, et laissez-vous guider sur le chemin menant des premières idées du génie anglais Alan Turing aux capacités affolantes des ordinateurs quantiques et aux promesses de l'intelligence articielle. Les progrès sont immenses mais les obstacles encore nombreux. Au moment de quitter votre transat, vous ne regarderez plus votre ordinateur de la même manière...

Alan Turing

Alan Turing

Auteure: Andrew Hodges

Nombre de pages: 636

Génie de l'informatique et héros de la Seconde Guerre mondiale, Alan Turing est célèbre pour avoir décrypté les communications codées de l'armée allemande en venant à bout d'Enigma, la machine de chiffrement utilisée par les nazis, réputée inviolable. Il faut dire que lorsqu'il " casse " le code secret allemand, à trente ans, le mathématicien n'en est pas à son premier coup d'éclat. Déjà, en 1936, il a dessiné les contours d'une première machine programmable, ou " machine de Turing ", capable d'effectuer n'importe quel calcul mathématique : l'ancêtre de l'ordinateur. Après guerre, Alan Turing poursuit ses recherches et se consacre en pionnier aux possibilités offertes par l'intelligence artificielle. Mais l'ex-héros national est persécuté à cause de son homosexualité, et condamné en 1952 à la castration chimique. Deux années plus tard, à l'âge de 41 ans, Alan Turing met fin à ses jours en croquant une pomme empoisonnée au cyanure. Cette biographie qui mêle histoire des sciences, politique et philosophie, nous dévoile la vie palpitante de l'inventeur, longtemps méconnu, qui a révolutionné nos vies. " L'une des biographies scientifiques les...

Lettres à Alan Turing

Lettres à Alan Turing

Auteure: Jean-Marc LEVY-LEBLOND , Henri ATLAN , Ali BENMAKHLOUF , Pierre BERLOQUIN , Catherine BERNSTEIN , Gérard BERRY , Pierre CASSOU-NOGUÈS , Jean-Paul DELAHAYE , Jean DHOMBRES , Jean-Pierre DUPUY , Nazim FATÈS , Jean-Gabriel GANASCIA , Sylvie LAINÉ , Jean LASSÈGUE , Jacques LECLAIRE , Hervé LE GUYADER , Laurent LEMIRE , Ignazio LICATA , Giuseppe LONGO , François NICOLAS , Odile PAPINI , Jean-François PEYRET , François RIVENC , Sara TOUIZA-AMBROGGIANI

Nombre de pages: 252

La gloire d’Alan Turing commence vers la fin du XXe siècle, bien longtemps après sa mort.Il aura donc fallu attendre l’informatisation du monde, la divulgation de ses activités de décryptage durant la Seconde Guerre mondiale et la levée des tabous sur l’homosexualité, pour que son génie mathématique déploie enfin toutes ses dimensions scientifiques, culturelles et personnelles.Ses recherches très variées, et notamment sa célèbre machine, sont loin d’avoir donné tous leurs fruits. Nous vivons en partie dans une sorte d’« espace de Turing » mal connu, que les lettres rassemblées ici explorent avec humour, savoir et affection. Jean-Marc Lévy-Leblond est physicien et essayiste. Il dirige les collections scientifiques au Seuil et la revue Alliage.Auteurs : Henri ATLAN, Ali BENMAKHLOUF, Pierre BERLOQUIN, Catherine BERNSTEIN, Gérard BERRY, Pierre CASSOU-NOGUÈS, Jean-Paul DELAHAYE, Jean DHOMBRES, Jean-Pierre DUPUY, Nazim FATÈS, Jean-Gabriel GANASCIA, Sylvie LAINÉ, Jean LASSÈGUE, Jacques LECLAIRE, Hervé LE GUYADER, Laurent LEMIRE, Ignazio LICATA, Giuseppe LONGO, François NICOLAS, Odile PAPINI, Jean-François PEYRET, François RIVENC, Sara...

L'incroyable destin d'Alan Turing, père de l'informatique

L'incroyable destin d'Alan Turing, père de l'informatique

Auteure: Mathilde George , Baptiste MASSA

Nombre de pages: 48

La vie fascinante d'Alan Turing : isolé socialement et différent des autres, il consacre sa vie à la science. Génie précoce des mathématiques, héros de la 2nde guerre mondiale, il est surtout considéré comme le "père de l'informatique", selon la phrase figurant sur sa tombe. Chapitre 1 : Les choses de la vie Alan Turing naît en Angleterre et grandit loin de ses parents, malgré ses prédispositions en mathématiques sa scolarité s'avère difficile. Chapitre 2 : Christopher C'est à l'université que s'exprime vraiment son génie, c'est aussi là qu'il tombe amoureux de Christopher. Chapitre 3 : La machine universelle En tentant de résoudre un problème, Alan Turing met au point une "machine universelle". Celle-ci se révèle utile à l'armée pour déchiffrer les codes ennemis. À la veille de la 2nde Guerre mondiale, il est recruté comme cryptanalyste. Chapitre 4 : La bombe Dans l'armée, à partir de la machine allemande Enigma, il met au point une autre machine de décryptage qu'il surnomme la "bombe". Son travail et sa brillante application des mathématiques sauvent des millions de vies, son rôle est déterminant dans le dénouement de la 2nde Guerre mondiale....

Le Code Turing

Le Code Turing

Auteure: Corinne Guitteaud

Et si les Britanniques signaient la paix avec les Nazis ? Peu de temps après la signature du traité entre l'Allemagne et le Royaume-Uni, le professeur Turing embarque à bord d'un navire qui doit le conduire aux États-Unis, où il espère mettre sa machine à l'abri. Au cours de la traversée, il fait la connaissance du mystérieux Ulysse. Ce dernier lui révèle que la princesse Elizabeth, la fille du roi déchu George VI, est en danger. Entraîné dans une course contre la montre, Turing risque sa vie pour empêcher que ce drame ne se produise. La collection uchronies vous propose de revisiter l'Histoire en compagnie de personnages célèbres et vous accompagnera tout l'été.

La Pomme d'Alan Turing

La Pomme d'Alan Turing

Auteure: Philippe Langenieux-villard

Nombre de pages: 180

L'incroyable histoire d'un génie persécuté, fondateur de l'informatique. Dans cette biographie romancée d'Alan Turing (1912-1954), Philippe Langenieux-Villard revient sur le parcours de ce mathématicien et cryptologue de génie, inventeur de l'ordinateur. Après Cambridge, Alan, jeune homme introverti et passionné de mathématiques, obtient un poste à l'université de Princeton où il se distingue par son invention d'un calculateur. Préoccupé par la montée du fascisme en Europe, il renonce à la carrière qui s'offre à lui aux Etats-Unis et retourne dans son Angleterre natale. Pendant la guerre, il devient une figure incontournable du renseignement : il casse le code des messages cryptés d'Enigma, machine utilisée par les Allemands pour transmettre des informations sensibles, et permet aux Alliés de sauver des milliers de vie. Au-delà de l'homme de sciences, c'est également la psychologie complexe de Turing que l'auteur explore à travers ses relations intimes, tant avec sa mère qu'avec les hommes qu'il a aimés. Son égocentrisme cache une profonde fragilité, à une époque où l'homosexualité masculine était encore considérée comme un crime. Turing fut...

Sin imagen

Lettres à Alan Turing

Auteure: Jean-Marc Lévy-Leblond

Nombre de pages: 240

La gloire d'Alan Turing commence vers la fin du XXe siècle, bien longtemps après sa mort. Il aura donc fallu attendre l'informatisation du monde, la divulgation de ses activités de décryptage durant la Seconde Guerre mondiale et la levée des tabous sur l'homosexualité, pour que son génie mathématique déploie enfin toutes ses dimensions scientifiques, culturelles et personnelles. Ses recherches très variées, et notamment sa célèbre machine, sont loin d'avoir donné tous leurs fruits. Nous vivons en partie dans une sorte d'"espace de Turing" mal connu, que les lettres rassemblées ici explorent avec humour, savoir et affection.

Sin imagen

Alan Turing

Auteure: Laurent Lemire

Nombre de pages: 191

Pomme croquée et drapeau arc-en-ciel, le constructeur d'ordinateurs Apple rendait un hommage crypté au mathématicien homosexuel Alan Turing, l'un des plus grands esprits du XXe siècle, qui mit fin à ses jours le soir du 7 juin 1954 en mordant dans une pomme imprégnée de cyanure. Cet étrange surdoué, étudiant à Cambridge dans les années 1930, se distingue en posant les fondations des recherches en intelligence artificielle. En 1936, il a l'idée de concevoir un ordinateur. La Seconde Guerre mondiale lui offre l'occasion d'appliquer ses théories : pour le compte des services secrets britanniques, il parvient à percer le secret de la machine Enigma qui permettait aux nazis de coder leurs messages, et contribue ainsi à la victoire des Alliés. Mais ce héros discret est contraint de demeurer dans l'ombre, une première fois en raison de ses travaux pour les services secrets et par la suite pour sa sexualité : dans la Grande-Bretagne d'après-guerre, l'homosexualité est un crime. Ecarté de tous les grands projets scientifiques, Turing est condamné en 1952 à la castration chimique. Mariant enquête journalistique et archives conservées à Cambridge, Laurent Lemire...

Les innovateurs

Les innovateurs

Auteure: Walter Isaacson

Nombre de pages: 600

Commment un groupe de hackers, de génies et de geeksa crée la révolution numérique L’auteur de la biographie magistrale de Steve Jobs parue quelques mois après la mort du patron d’Apple et aujourd’hui adaptée au cinéma nous livre un nouveau travail monumental et unique. Depuis le milieu du XIXe siècle et jusqu’à nos jours, Walter Isaacson dresse l’histoire des premières machines, de la naissance de l’ordinateur jusqu’à l’explosion de l’ère numérique. Une formidable saga qui met en scène des hommes et des femmes de génie, des intuitions spectaculaires, des aventures industrielles totalement hors du commun. De la vision d’Ada Lovelace – fille de Byron – qui fut la première à imaginer que les calculatrices deviendraient des ordinateurs multitâches, aux nouvelles réflexions vertigineuses des créateurs de Google, Walter Isaacson nous offre la plus stimulante galerie de portraits. L’aventure numérique n’est pas uniquement associée à l’inventivité de quelques génies – c’est une aventure collective faite de centaines d’étapes, chacune associée à la créativité d’une équipe. Comment fonctionnaient leurs esprits, quel...

La joie discrète d'Alan Turing

La joie discrète d'Alan Turing

Auteure: Jacques Marchand

Nombre de pages: 430

En 1936, dans sa chambre d’étudiant à Cambridge, un jeune homme conçoit une machine à calculer universelle qui servira, douze ans plus tard, d’assise théorique pour la construction des premiers ordinateurs. Qui était vraiment Alan Turing, ce mathématicien audacieux qui a également réussi, pendant la Seconde Guerre mondiale, à décrypter les communications des Allemands? Comment a-t-il pu, au début des années 1950, écrire les tout premiers textes sur l’intelligence artificielle? Pourquoi a-t-il dû subir une castration chimique? S’est-il vraiment suicidé par la suite? A-t-il réellement croqué, comme Blanche-Neige, une pomme empoisonnée? Au-delà des faits saisissants et des mythes tenaces, ce fascinant roman biographique permet de voir que la vie de Turing fut aussi singulière, aussi imprévisible que son œuvre scientifique. Sauvageon et fuyant, mais aussi exubérant et drôle, parfaitement ignorant des simagrées qu’il faut maîtriser pour briller en société, cet homme ne cherchait jamais à se mettre en avant. Alan Turing est donc longtemps resté dans l’ombre. Mais on reconnaît aujourd’hui en lui le plus visionnaire et le plus fécond des...

Algorithmes quantiques

Algorithmes quantiques

Auteure: Frédéric Magniez

Nombre de pages: 80

Dans les années 1980, Richard Feynman suggérait qu’un ordinateur fonctionnant selon les règles de la physique quantique pourrait résoudre des problèmes intraitables par un ordinateur classique. Il faudra attendre 2019 pour que Google effectue un calcul sur un prototype de circuit quantique programmable. Cette prouesse, qui remet en question les fondements de la thèse de Church-Turing, a ouvert la voie à nombre de start-up, grandes entreprises du numérique et gouvernements qui s’orientent peu à peu vers cette technologie à laquelle on prédit de larges champs d’application : intelligence artificielle, cryptographie et sécurité, finance, santé. Un travail de grande ampleur s’est enclenché pour comprendre toutes les facettes du calcul quantique, notamment des algorithmes, et relever le défi de ce nouveau tournant technologique. Informaticien, Frédéric Magniez est directeur de l’Institut de recherche en informatique fondamentale (Irif). Il est professeur invité sur la chaire annuelle Informatique et sciences numériques du Collège de France, créée en partenariat avec l’Inria, pour l’année académique 2020-2021.

Sin imagen

Alan Turing

Auteure: David Leavitt

Nombre de pages: 273

Né à Londres en 1912, Alan Turing fait des études de mathématiques à l'Université de Cambridge. Dans le cadre de sa thèse, en 1936, il imagine une machine qui pourrait résoudre toute seule des problèmes. Cette "Machine de Turing" sera construite plus tard, pendant la Deuxième Guerre mondiale, pour percer les codes secrets utilisés par les Nazis. C'était le premier ordinateur... Après la guerre, Turing devient un champion de l'intelligence artificielle, formulant le célèbre " test de Turing " qui remet en cause nos idées sur la conscience humaine. Mais il est soudain arrêté et condamné pour homosexualité. Désespéré, il se suicide en croquant une pomme trempée dans le cyanure. Cette pomme, stylisée, se retrouve aujourd'hui sur des millions d'ordinateurs, en hommage au " père de l'informatique ". Tout en exposant avec élégance les travaux de Turing et leur portée, David Leavitt fait appel à sa sensibilité d'écrivain pour entrer dans le monde de cet homme exceptionnel et nous raconter son extraordinaire histoire.

Sin imagen

Le problème de Turing

Auteure: Harry Harrison , Marvin Lee Minsky

Nombre de pages: 541

Brian Delaney, génie des mathématiques, touche au but. Il a trouvé une solution au fameux problème de Turing, créé une intelligence artificielle qui puisse - au moins - rivaliser avec l'intelligence humaine. Son bureau est envahi, sa machine et ses notes volées, ses commanditaires assassinés. Lui-même est laissé pour mort, la moitié de son cerveau détruit. Il va falloir recommencer et se reconstruire lui-même, inventant la première prothèse cérébrale. Est-il encore un humain, ou plus qu'à demi une machine ? Dans ce thriller haletant, Harry Harrison (l'auteur de Soleil vert) et Marvin Minsky (le pape mondialement reconnu de l'intelligence artificielle) exploitent les idées les plus récentes sur l'un des plus profonds mystères de l'univers : le secret de l'intelligence.

Les réalités de la réalité - deuxième partie: vers une compréhension des facteurs responsables des progrès de la science moderne (Volume 1)

Les réalités de la réalité - deuxième partie: vers une compréhension des facteurs responsables des progrès de la science moderne (Volume 1)

Auteure: Fritz Dufour, MBA, DESS

Nombre de pages: 272

Ce Volume 1 de la Deuxième partie examine les facteurs qui font progresser la science. Il expose les différences entre la science normale et la pseudoscience en montrant l'importance de la méthode scientifique dans l'avancement de la science. Il introduit le concept de Vérité dans la science en soulignant que même si la vérité est basée sur la méthode scientifique, la science peut-elle être vraie? Peut-elle représenter la réalité? L'auteur se concentre sur la science moderne qui, selon lui, est née de la révolution scientifique qui a commencé avec Galilée et qui a conduit à la révolution industrielle. Les impacts de celle-ci sont analysés à la lumière du modernisme, de la modernisation et de la modernité, tous trois liés au progrès scientifique. Le livre traite également du bond scientifique Newtonien – en analysant particulièrement le tissu sociopolitique de l’Angleterre d'alors – et d’Albert Einstein en montrant comment il a changé l’histoire. Selon l'auteur, notre monde physique lui-même peut nous aider à comprendre le progrès scientifique. Ainsi, il explique, entre autres, la structure des atomes et des molécules, le rôle de la...

Une petite histoire des sciences

Une petite histoire des sciences

Auteure: William Bynum

Nombre de pages: 352

Cet ouvrage raconte une grande aventure. Celle qui emmène les lecteurs dans les étoiles grâce au télescope, qui analyse la composition de la terre, classe les éléments dans le tableau périodique, traite de la physique et explique l'électricité, la gravité et la structure de l'atome, qui a permis la découverte de l'ADN. Ce livre cherche aussi à ouvrir de nouvelles perspectives. C'est donc une histoire palpitante, pleine de rebondissements, parfois racontée avec humour. Le lecteur passera des moments passionnants et drôles.

Mon Zombie et moi. La philosophie comme fiction

Mon Zombie et moi. La philosophie comme fiction

Auteure: Pierre Cassou-Noguès

Nombre de pages: 350

Que et où suis-je ? Après avoir revisité un certain nombre de positions classiques sur la nature et le statut du sujet (celle de Descartes notamment) et de réponses possibles à la question de savoir ce que je suis (une personne ? une machine ?), cette enquête développe une théorie originale fondée sur la notion de figures imaginaires. On y trouvera une façon nouvelle de faire de la philosophie, s'appuyant sur et passant par la fiction. Cette méthode est mise en œuvre par l'analyse d'une série de figures tirées de la littérature, où sont convoqués des auteurs classiques comme Poe, Maupassant, Nerval, aussi bien que des écrivains de science-fiction comme Wells, Conan Doyle, Stapledon, Ph. K. Dick. S'y ajoutent d'originales fictions imaginées par l'auteur, qui deviennent autant de plans d'expérience philosophique : puis-je, au sens propre, perdre la tête ? être invisible ? intouchable ? habiter un tableau ? être fait de plusieurs morceaux ? Voici, autour de la question du sujet, un parcours par la fiction d'un pan de la philosophie aussi bien qu'un voyage philosophique à travers la science-fiction. Pierre Cassou-Noguès, philosophe, est chercheur au CNRS. Il a ...

Bulletin de la Société française de philosophie

Bulletin de la Société française de philosophie

Auteure: Société française de philosophie

"Vocabulaire technique et critique de la philosophie, fasc. 1-21" edited by André Lalande and others, is included in bulletins for 1902-22; a 2d edition of fasc. 1-2 of the Vocabulaire, in bulletin for 1923. The work was published separately in a new edition in 1928.

Sin imagen

Alan Turing

Auteure: Patrick Goutefangea

Nombre de pages: 243

LA PLAUSIBILITE DE L'EQUIVALENCE ENONCEE PAR LA + THESE DE CHURCH-TURING ; ENTRE PROCEDURE EFFECTIVE DE CALCUL ET PROCEDE MECANIQUE REPOSE SUR LA POSSIBILITE, POUR UNE + MACHINE UNIVERSELLE ;, DE SIMULER LES CONDITIONS INTUITIVES DU CALCUL CHEZ UN INDIVIDU HUMAIN. EN CE SENS, LA MACHINE UNIVERSELLE RENVOIE A L'HOMME, NON SEULEMENT EN TANT QU'IL CALCULE, MAIS EN TANT QU'IL EST SON CREATEUR : LA MACHINE DOIT POUVOIR SIMULER LES CONDITIONS DE SA PROPRE CONSTRUCTION. LE + JEU DE L'IMITATION ; IMAGINE PAR TURING A POUR FONCTION D'ETABLIR CETTE POSSIBILITE. SELON TURING, L'ADVERSAIRE HUMAIN DE LA MACHINE AU JEU DE L'IMITATION PEUT ETRE SURPRIS PAR CELLE-CI. BIEN PLUS, IL NE DISPOSE D'AUCUN MOYEN DE DISTINGUER L'IMPREVISIBLE AUQUEL IL EST AINSI CONFRONTE DE CELUI QU'IL ATTEND D'UN INDIVIDU HUMAIN DONT IL POSTULE QU'IL PENSE. L'ADVERSAIRE HUMAIN DE LA MACHINE EST CONDUIT AU COURS DU JEU A FAIRE COMME SI SON INTERLOCUTEUR MECANIQUE ETAIT POUR LUI UN SEMBLABLE, C'EST-A-DIRE UN AUTRUI. PAR LA, L'HYPOTHESE D'UNE VICTOIRE DE LA MACHINE AU JEU DE L'IMITATION FAIT APPEL A LA PROBLEMATIQUE QUI REGIT, DANS UNE OPTIQUE KANTIENNE, L'EXAMEN DES CONDITIONS DE POSSIBILITE DE LA RECONNAISSANCE D'UN...

Personnalite en Informatique Theorique

Personnalite en Informatique Theorique

Auteure: Source Wikipedia

Nombre de pages: 36

Ce contenu est une compilation d'articles de l'encyclopedie libre Wikipedia. Pages: 34. Chapitres: John von Neumann, Alan Turing, Donald Knuth, Kurt Godel, Marcel-Paul Schutzenberger, Claude Shannon, John Tukey, John Horton Conway, Haskell Curry, Seymour Papert, Alexander Razborov, Richard Hamming, Alonzo Church, James Cooley, Doron Zeilberger, Avi Wigderson, George Dantzig, Joseph Sifakis, Daniel Spielman, Richard Karp, Giuseppe Longo, Madhu Sudan, Leonid Levin, Stephen Cook, Leslie Lamport, Maurice Nivat, Robin Milner, Myron Tribus, Emil Post, Charles Antony Richard Hoare, James Pustejovsky, Gerard Huet, Bernd Sturmfels, Juris Hartmanis, Elwyn Berlekamp, Dana S. Scott, Carl Adam Petri, Jean-Louis Krivine, Johan Hastad, Georges Gonthier, Richard Stearns, Corrado Bohm, David Gelernter, Pierre Lescanne, Warren Weaver, Jean-Pierre Jouannaud, Benjamin Werner, Jacques Mazoyer, Shmuel Winograd, Geraud Senizergues, Rudolf Bayer. Extrait: John von Neumann (ne Janos Neumann de Margitta, 1903-1957), mathematicien et physicien americano-hongrois, a apporte d'importantes contributions tant en mecanique quantique, qu'en analyse fonctionnelle, en theorie des ensembles, en informatique, en...

Sin imagen

Machines de Turing et automates cellulaires

Auteure: Charles Corge

Nombre de pages: 492

A la question posée par David Hilbert en 1900, reprise par Max Newman. sous la forme : " Existe-t-il un procédé mécanique qui permette de savoir si une proposition mathématique est démontrable ou non ? ", Alan Turing répondit en 1936 en inventant une machine abstraite qui porte son nom, d'une simplicité maximale, qui imprime ou lit des traits dans les cases alignées d'un ruban de papier sans fin. L'auteur propose de le suivre dans l'analyse très fine du fonctionnement de cette machine en décomposant les procédés de l'arithmétique élémentaire en ses mécanismes les plus fondamentaux jusqu'à la limite du possible. Il amène le lecteur petit à petit, en le prenant par la main, vers des calculs de plus en plus élaborés cernant, ce faisant la notion de fonctions effectivement calculables. Il montre dans le détail qu'une telle machine jouit de la propriété d'universalité : elle est capable d'exécuter tout calcul imaginable que l'homme peut spécifier à l'aide d'un algorithme, c'est-à-dire une suite finie et discrète de règles : elle est capable de simuler toute autre machine de Turing, mais son inventeur a prouvé qu'il n'en est aucune qui puisse en prédire ...

Sin imagen

Alan Turing, la pensée informatique

Auteure: Jean Lassègue , Jean-Louis Giavitto , Sacha Krakowiak , Anne Canteaut

Nombre de pages: 65
L'Homme qui en savait trop

L'Homme qui en savait trop

Auteure: Laurent ALEXANDRE , David ANGEVIN

Nombre de pages: 309

Héros méconnu de la Seconde Guerre mondiale et génie visionnaire – l'inventeur de l'ordinateur, c'est lui –, Alan Turing a révolutionné nos vies. Et il est mort en paria. Dans un futur proche. Les transhumanistes ont gagné. L'IA (intelligence artificielle) domine désormais le monde. Mais elle a une obsession : réhabiliter la mémoire de son " père ", le génial mathématicien anglais Alan Turing. Pour cela, il lui faut établir la preuve qu'il ne s'est pas suicidé, comme l'a toujours prétendu la version officielle, mais qu'il a été assassiné. En quête du moindre indice, elle remonte le fil de sa vie... En décodant Enigma, la machine de cryptage des forces allemandes, fierté du régime hitlérien sur laquelle les services secrets alliés se cassaient les dents, Alan Turing a largement influé sur le cours de l'histoire. En créant l'ordinateur, il a inventé le futur. Pourtant, ce jeune homosexuel au QI exceptionnel a connu un destin terrible : traité en renégat par sa propre patrie, il est mort d'empoisonnement au cyanure dans des circonstances suspectes en 1954, en pleine guerre froide, peu après avoir accepté la castration chimique pour échapper à la...

Sin imagen

Un fou rêve de machines de Turing

Auteure: Janna Levin

Nombre de pages: 236

Kurt Gôdel et Alan Turing, deux des plus grands mathématiciens du xxe siècle, ne se sont jamais rencontrés. Mûs par une curiosité sans cesse renouvelée, hostiles aux conformismes en vigueur, ils ont tous deux connu une fin tragique. Janna Levin raconte ici deux existences parallèles : les rencontres de Gôdel avec Wittgenstein et les membres du Cercle de Vienne au Café Josephinum, l'assassinat de son ami Moritz Schlick, l'exil américain, la difficile vie de couple ; les expériences traumatisantes du jeune Turing dans un internat anglais, ses conversations avec Wittgenstein à Cambridge, ses amours malheureuses et sa condamnation pour homosexualité. L'inquiétude intellectuelle des deux mathématiciens se manifeste à chaque page, notamment à travers leurs tentatives pour se comprendre eux-mêmes à la lumière de découvertes scientifiques.

Sin imagen

Alan Turing ou l'énigme de l'intelligence

Auteure: Andrew Hodges

Nombre de pages: 437

Mathématicien génial et père intellectuel des ordinateurs, Alan Turing (1912-1954) est une figure majeure du Xxe siècle. Sa courte vie est placée sous le signe de l'Enigma, nom de code allemand qu'il déchiffra pendant la Seconde Guerre mondiale, apportant ainsi une aide essentielles aux Alliés. L'énigme, c'est d'abord la vie même de Turing. Mauvais élève mais brillant mathématicien, ce pacifiste participe à la lutte antinazie à Bletchey Park, le centre anglais du décryptage. Inventeur décisif de notre modernité scientifique et technique, il reste socialement malhabile. Sans doute concentre-t-il les traits des élites britanniques de son milieu, celui de Cambridge, tout en menant une vie de solitaire. L'originalité de son génie est devenue pour nous la banalité des ordinateurs. L'intelligence ? Celle des services secrets britanniques, mais aussi celle d'un homme d'exception qui peut être considéré comme le premier théoricien de l'intelligence artificielle. Alan Turing possédait l'intelligence logique d'un cerveau calculateur, mais nouée à la sensibilité douloureuse d'un homosexuel, qui mourut, probablement par suicide, victime des préjugés.

Sin imagen

Alan Turing

Auteure: Andrew Hodges

Nombre de pages: 702

Génie de l'informatique et héros de la Seconde Guerre mondiale, Alan Turing est célèbre pour avoir décrypté les communications codées de l'armée allemande en venant à bout d'Enigma, la machine de chiffrement utilisée par les nazis, réputée inviolable. Il faut dire que lorsqu'il "casse" le code secret allemand, à 30 ans, le mathématicien n'en est pas à son premier coup d'éclat. Déjà, en 1936, il a dessiné les contours d'une première machine programmable, ou "machine de Turing", capable d'effectuer n'importe quel calcul mathématique : l'ancêtre de l'ordinateur. Après guerre, Alan Turing poursuit ses recherches et se consacre en pionnier aux possibilités offertes par l'intelligence artificielle. Mais l'ex-héros national est persécuté à cause de son homosexualité et condamné en 1952 à la castration chimique. Deux années plus tard, à l'âge de 41 ans, Alan Turing met fin à ses jours en croquant une pomme empoisonnée au cyanure. Cette biographie, qui mêle histoire des sciences, politique et philosophie, nous dévoile la vie palpitante de l'inventeur, longtemps méconnu, qui a révolutionné nos vies. LA BIOGRAPHIE LA PLUS COMPLETE SUR ALAN TURING : LE ...

Sin imagen

Sur la frontière entre machines de Turing à arrêt décidalbe et machines de Turing universelles

Auteure: Maurice Margenstern

Nombre de pages: 47
Sin imagen

La logique ordinale de Turing

Auteure: Benoit Potvin

Le sujet visé par cette dissertation est la logique ordinale de Turing. Nous nous référons au texte original de Turing «Systems of logic based on ordinals» (Turing [1939]), la thèse que Turing rédigea à Princeton sous la direction du professeur Alonzo Church. Le principe d'une logique ordinale consiste à surmonter localement l'incomplétude gödelienne pour l'arithmétique par le biais de progressions d'axiomes récursivement consistantes. Étant donné son importance considérable pour la théorie de la calculabilité et les fondements des mathématiques, cette recherche méconnue de Turing mérite une attention particulière. Nous retraçons ici le projet d'une logique ordinale, de ses origines dans le théorème d'incomplétude de Gödel jusqu'à ses avancées dans les développements de la théorie de la calculabilité. Nous concluons par une discussion philosophique sur les fondements des mathématiques en fonction d'un point de vue finitiste.

Derniers ebooks et auteurs recherchés