La vie du personnage
Jeunesse
AlanMathisonTuring,estnéle23juin1912àLondres,enAngleterre.
publicschooltostudyandreceivedagoodsecondaryeducation.Heshowedgreatinterestinnaturalsciencesandakeenmathematicalmindduringhismiddleschool. En 1926, Turing a été admis à la célèbre école publique de Londres pour étudier et a reçu une bonne éducation secondaire.
À la fin de 1927, afin d'aider son autre à comprendre la théorie de la relativité d'Einstein, Turing, qui n'avait que 15 ans, rédigea un résumé des travaux d'Einstein, démontrant qu'il possédait un niveau mathématique et une compréhension scientifique extraordinaires.
L'intérêt de Turing pour les sciences naturelles lui a valu deux fois en 1930 et 1931 le prix des sciences naturelles créé par les parents de l'un de ses camarades de classe, Mocomb, et un article intitulé « L'action des sulfites et des halogénures dans des solutions acides » a été salué par l'inspecteur envoyé par le gouvernement.
Période de recherche scientifique
En 1931, Turing fut admis au King's College de l'université de Cambridge et obtint une bourse d'études en mathématiques pour ses excellentes notes.
MathematicsPrize,becomingoneoftheprestigiousgraduatesofKing'sCollege. In1935, hisfirstmathematicalpaper "TheEquivalenceofRightandLeftAlmostPeriodicity" waspublishedintheJournaloftheLondonMathematicalSociety.Inthesameyear, healsowrote "OntheGaussianErrorFunction" .ThisdissertationenabledhimtobedirectlyelectedbyauniversitystudentasaresearcheratKing'sCollege, andinthefollowingyearhewonthefamousBritishSmith MathematicsPrize, becomingoneoftheprestigiousgraduatesofKing'sCollege.
InMay1936, TuringsubmittedapapertotheprestigiousLondonmathematicsmagazineentitled "OntheApplicationofNumericalCalculationsinDecision-MakingProblems" .Afterthearticlewaspublishedinthe42ndissueofthe "LondonMathematicalSociety" in1937, itimmediatelyattractedwidespreadattention.Intheappendixofthepaper, hedescribedamachinethatcanassistinmathematicalresearch, whichwaslatercalleda "turingmachine" .Themostrevolutionaryaspectofthisideaisthatitwasusedforthefirsttimeinpuremathematicalsymboliclogicandthephysicalworld.Aconnectionwasestablishedbetweenthem, andthecomputerswelaterbecamefamiliarwith, etle "IntelligenceArtificielle" thathasnotyetbeenrealized, areallbasedonthisidea.Thisisthefirstimportantessayinhislifeandhisfamouswork.
En 1937, un autre article « Calculabilité et λ définissabilité » publié par Turing a élargi « l'argument de l'Église » mis en avant par l'Église et a formé la « thèse de Church-Turing », la rigueur de la théorie de l'informatique, a une importance fondamentale pour la formation et le développement de l'informatique.
En septembre 1936, Turing est invité à étudier au Princeton Institute for Advanced Study et à travailler avec l'Église.
Au cours de son séjour aux États-Unis, il effectua des recherches sur la théorie des groupes et rédigea une thèse de doctorat.
À l'été 1938, Turing retourna en Angleterre et était encore chercheur au King's College de l'université de Cambridge, où il continua d'étudier la logique mathématique et la théorie du calcul, et en même temps commença le développement d'ordinateurs.
Expérience de la Seconde Guerre mondiale
. TheSecondWorldWarinterruptedTuring'snormalresearchwork.Intheautumnof1939, hewassummonedtotheBritishMinistryofForeignAffairsCommunicationsOfficeformilitarywork, mainlydecipheringTheworkoftheenemycipher.Duetotheneedofdecipheringwork, heparticipatedinthedevelopmentoftheworld'sfirstelectroniccomputer.Hisworkhasachievedexcellentresults, andin1945hewonthegovernment'shighestaward-theBritishEmpireMedalofHonor
Work.Thisyear,Turingwrotea50-pagedesignspecificationaboutACE.Thisspecificationwasofficiallypublishedin1972afterbeingkeptsecretfor27years.UndertheguidanceofTuring'sdesignideas,theACEprototypewasproducedin1950,andalargeACEmachinewasproducedin1958.Itisbelievedthattheconceptofgeneral-purposecomputerwasproposedbyTuring. En 1945, TuringendedhisworkintheMinistryofForeignAffairs.Hetriedtoresumetheresearchintheoreticalcomputersciencebeforethewar, andcombinedhisworkduringthewartodevelopanewcomputer.Thisideaissupportedbytheauthorities.Inthesameyear, TuringwashiredasaresearcherattheNationalInstituteofPhysicsinTeddington, andbegantoengageinthelogicaldesignandspecificdevelopmentofthe "automaticcomputer" Work.Thisyear, Turingwrotea50-pagedesignspecificationaboutACE.Thisspecificationwasofficiallypublishedin1972afterbeingkeptsecretfor27years.UndertheguidanceofTuring'sdesignideas, theACEprototypewasproducedin1950, andalargeACEmachinewasproducedin1958.Itisbelievedthattheconceptofgeneral-purposecomputerwasproposedbyTuring.
De 1945 à 1948, il travaille au British National Physics Laboratory et est responsable des recherches sur les moteurs de calcul automatique.
raceheparticipatedinafterjoiningtheWaltonAthleticsClub.Turingwonthefirstplacein15minutesand37seconds,whichwasrankedfirstintheUKthatyear.20bits. En août 1946, Turing à sa première course après un entraînement formel de course à pied.
En 1947, lors du championnat de marathon de la British Amateur Athletics Association organisé au stade universitaire de Loughborough, dans le Leicestershire, Turing a réalisé son record personnel de 2 heures 46 minutes et 03 secondes lors de ce match.
En 1948, Turing accepte le poste de maître de conférence à l'Université de Manchester et est nommé assistant de la personne en charge du projet Manchester Automatic Digital Computer (Madam).
En 1949, il est devenu le directeur adjoint du Laboratoire informatique de l'Université de Manchester, responsable du développement de la théorie du logiciel du plus ancien ordinateur réel - « Manchester One », il est donc devenu la première personne au monde à utiliser des ordinateurs dans la pratique. Un scientifique qui étudie les mathématiques.
.Duringthisperiod,hecontinuedtoconducttheoreticalresearchonmathematicallogic.Andputforwardthefamous"TuringTest".Inthesameyear,heraisedthequestionaboutmachinethinking.Hispaper"ComputerandIntelligence(ComputingmachieryandIntelligence),attractedwidespreadattentionandfar-reachinginfluence.InOctober1950,Turingpublishedthepaper"CanMachinesThink".Thisepoch-makingworkearnedTuringthetitleof"FatherofArtificialIntelligence". In1950, Turingwroteandpublished "Theprogrammers'handbookfortheManchesterelectroniccomputer" .Duringthisperiod, hecontinuedtoconducttheoreticalresearchonmathematicallogic.Andputforwardthefamous "Test de Turing" .Inthesameyear, heraisedthequestionaboutmachinethinking.Hispaper "ComputerandIntelligence (ComputingmachieryandIntelligence), attractedwidespreadattentionandfar-reachinginfluence.InOctober1950, Turingpublishedthepaper" CanMachinesThink ".Thisepoch-makingworkearnedTuringthetitleof" FatherofArtificialIntelligence ".
En 1951, en raison de ses réalisations en nombre incalculable, il est devenu membre royal britannique de la société, à l'âge de 39 ans.
En 1952, il a signé comme chercheur au King's College de l'université de Cambridge et s'est consacré à travailler à l'université de Manchester.
En 1952, Turing écrivit un programme d'enseignement. Cependant, aucun ordinateur n'avait assez de puissance de calcul à l'époque.
Décédé après avoir été persécuté
.Hedidnotplead,Andwasconvicted.Afterthefamouspublictrial,hewasgiventwochoices:imprisonmentorhormonetherapy.Hechosehormonalinjectionsandlastedforayear.Duringthistime,thedrugproducedthecontinuousdevelopmentofbreasts.Sideeffects. En 1952, Turing'ssame-sexpartnercollaboratedwithanaccompliceHebrokeintoTuring'shouseandcarriedoutthetheft.Turingcalledthepoliceforthis.However, thepoliceinvestigationresultedinhimbeingchargedwith "obviousindecencyandsexualreversal" .Hedidnotplead, Andwasconvicted.Afterthefamouspublictrial, hewasgiventwochoices: imprisonmentorhormonetherapy.Hechosehormonalinjectionsandlastedforayear.Duringthistime, thedrugproducedthecontinuousdevelopmentofbreasts.Sideeffects.
Le 7 juin 1954, Turing a été retrouvé mort sur le lit à la maison, avec un morceau de pomme imbibée de cyanure sur le chevet.
Formellement réhabilité
InitiatedanonlinepetitiontorehabilitateTuring.AsofSeptember10,2009,thenumberofsignaturesinthepetitionhadexceeded30,000.Forthisreason,thethenBritishgovernmentandPrimeMinisterGordonBrownhadtoissueanofficialapology. En 2009, l'informaticien britannique KangMing lancé une pétition en ligne pour réhabiliter Turing. Au 10 septembre 2009, le nombre de signatures dans la pétition avait dépassé les 30 000.
, i>ElevenimportantpersonsincludingtheBritishPrimeMinisterCameronsentalettertotheBritishPrimeMinisterCameron,requestingthatheberehabilitated. Décembre 2012, Hawking, , Martin Rees, Président de la Société Royale)
OnDecember24,2013, attherequestofBritishMinisterofJusticeChrisGrayling (ChrisGrayling) Mendicité, theQueenofEnglandfinallyissuedaroyalpardontoTuring.TheBritishAttorneyGeneralannouncedthat « Turing'slaterlifewasforcedtocastashadowbecauseofhishomosexuality.Webelievethattheverdictatthattimewasunfair, andthisdiscriminationhasnowbeenabolished.Tothisend, theQueendecidedGiveapardontothisgreatmanasatributetohim. »
Principales réalisations
Turing possède certaines de ses réalisations scientifiques en sciences, en particulier en logique mathématique et en informatique., Qui constituent la base de la technologie informatique moderne.
Théorie de la calculabilité
Calculationcanbesaidtobethefirstmathematicalsubjectencounteredbymankind, andhasbecomeanindispensabletoolinpeople'ssociallifeinthelonghistory..So, whatiscalculation? Intuitivement, calculationgenerallyreferstotheprocessoftransformingasetofvalues intoanother (requis) valuebyapplyingpredeterminedrules.Foracertaintypeofproblem, ifacertainsetofrulescanbefound, accordingtothissetofrules, whenanyspecificproblemofthistypeofproblemisgiven, theresultcanbeobtainedcompletelymechanicallyinafinitestep.Classproblemsarecomputable.Thiskindofruleisanalgorithm, andthiskindofcomputableproblemcanalsobecalledaproblemwithanalgorithm.Thisistheintuitiveconceptofcomputabilityoralgorithmcomputability.
Beforethe20thcentury, itwasgenerallybelievedthatallproblemclasseshadalgorithms, andpeople'scomputationalresearchwastofindoutalgorithms.Itseemsthatjusttoprovethatallscientificpropositions, atleastallmathematicalpropositions, existalgorithms, Leibnizpioneeredtheresearchofmathematicallogic.Butatthebeginningofthe20thcentury, peoplediscoveredthatmanyproblemshavebeenstudiedforalongtime, andstillcan'tfindthealgorithm, suchasHilbert'stenthproblem, theproblemofsemigroupcharactersandsoon.Sopeoplebegantowonderwhethertherearenoalgorithmsfortheseproblems, thatis, theyarenotcomputable.Ofcourse, thisnon-existenceneedstobeproved.Atthistime, peoplediscoveredthatthereisnoprecisedefinitionforeitherthealgorithmorthecomputability! Accordingtotheaforementionedstatementofintuitivecomputability, itisimpossibletoprovethatthereisnoalgorithmatall, car que signifie "complètement mécanique" ? Que signifie "règles déterminées" ? Cependant, l'existence d'un algorithme est généralement confirmée par la construction d'un algorithme, de sorte que la définition précise de l'algorithme peut ne pas être impliquée.
Theneedtosolvetheproblempromptspeopletocontinuetoexplore.In1934, GodelputforwardtheconceptofgeneralrecursivefunctionundertheenlightenmentofHerbrand, andpointedoutthatallalgorithmiccomputablefunctionsaregeneralrecursivefunctions, andviceversa.In1936, Kleene (Kleene) madeitmoreconcrete.Therefore, thegeneralrecursivefunctiondefinitionofthealgorithmiccomputablefunctionwaslatercalledtheElbron-Gödel-Krinidefinition.Inthesameyear, Churchprovedthattheλdefinablefunctionheproposedisequivalenttothegeneralrecursivefunction, andproposedthatthealgorithmiccomputablefunctionisequivalenttothegeneralrecursivefunctionorλdefinablefunction.Thisisthefamous "Churchargument".
Althoughageneralrecursivefunctionisusedtogiveastrictmathematicaldefinitionofacomputablefunction, inthespecificcalculationprocess, intermsofacertainstepofoperation, thereisstilluncertaintyaboutwhatinitialfunctionandbasicoperationtochoose.Inordertoeliminatealluncertainties, Turingdefinedthecomputablefunctionfromanewperspectiveinhisarticle "OnComputableNumbersandItsApplicationinDecisionProblems" .Hecomprehensivelyanalyzedthecalculationprocessofpeople, andreducedthecalculationtothesimplest, mostbasic, andmostcertainoperationaction, soastouseasimplemethodtodescribethebasiccalculationprogramthatisintuitiveandmechanical, sothatanymachine (Anyprogramthatworks) canbereducedtotheseactions.Thissimplemethodisbasedontheconceptofanabstractautomaton, andtheresultisthatthealgorithmiccomputablefunctionisthefunctioncalculatedbythisautomaton.Thisnotonlygaveacompletelydefinitedefinitionofcomputing, butalsoconnectedcomputingandautomataforthefirsttime, whichhadahugeimpactonlatergenerations.Thiskindof "automates" waslatercalle d'une "machine de Turing".
TheTuringmachineisamathematicalmodelofanautomaton.Itisapapertapewithtwoends (oroneend) infinitelyextended.Itisdividedintosquares, andeachsquarecanbeprintedwithacertainalphabet.Aletterin (canalsobeaspace, denotedasS0); thereisalsoaread-writehead, whichhasalimitednumberofinternalstates.Atanytime, theread-writeheadlooksatacertainsquareonthepapertape, andexecutestheactionspecifiedbytheconversionruleaccordingtothecontentofthewatchedsquareandtheinternalstateoftheread-writeheadatthattime.EachTuringmachinehasasetoftransformationrules, theyhaveoneofthefollowingthreeshapes:
qiaRqi,qiaLqi,qiabqj
signifie :lorsquelatêtedelecture/écritureestàl'étatqi,siSilecontenudelaboîtegazeestlettrea,latêtedelecturedéplacerauneboîteversladroite,oudéplacerauneboîteverslagauche,ouimprimeralalettreb(c'est-à-dire,modifierlecontenudelaboîtegazedetob.a,bpeutêtreS0).
TuringdefinesacomputablefunctionasaTuringmachinecomputablefunction.In1937, TuringprovedthatTuringmachinecomputablefunctionandλdefinablefunctionareequivalentinhisarticle "Computabilityandλdefinability", thusbroadeningChurch'sargumentandderiving: algorithme (Oui) ComputablefunctionsareequivalenttogeneralrecursivefunctionsorλdefinablefunctionsorTuringmachinecomputablefunctions.Thisisthe "Eglise-Turingthesis", whichperfectlysolvestheproblemoftheprecisedefinitionofcomputablefunctionsandgreatlypromotesthedevelopmentofmathematicallogic.
LeconceptdemachinedeTuringaunsenstrèsunique:sil'étatinternedelamachinedeTuringestinterprétécommedesinstructions,expriméesenmotsalphabétiques,etstockésdanslamachinecommemotsdesortieetmotsd'entrée,alorsDevientunordinateurélectronique.Enconséquence,labranchesujetdes« automates »aétécréée,quiafavorisélarechercheetledéveloppementdesordinateursélectroniques.
En même temps, Turing a également proposé le concept d'une machine de Turing à usage général, qui équivaut au programme d'interprétation d'un ordinateur à usage général. Cela a directement favorisé la conception et le développement d'ordinateurs à usage général.
Tout en donnant une machine de Turing générale, Turing a souligné que lors du calcul d'une machine de Turing générale, sa «complexité mécanique» a une limite critique.
Jugerleproblème
Le soi-disant « problème de décision » consiste à déterminer si le soi-disant « grand nombre de problèmes » a une solution algorithmique, ou s'il existe une méthode sûre et réalisable pour chaque cas particulier de la classe de problèmes.
Thedeterminationproblemiscloselyrelatedtothecalculabilityproblem, andthetwocanbemutuallydefined: ifacertaintypeofproblemcanbefoundtodeterminewhetherithasacertainproperty, thenthistypeofproblemiscalledCanbedeterminedorsolvable; otherwiseitisundecidableorunsolvable.Thereisadifferencebetweenthetwo: thejudgmentproblemistodeterminewhetherthereisanalgorithmsothateachspecialcaseofatypeofproblemcangivea "oui" ou "non" answertoacertainproperty; theproblemofcomputabilityItistofindanalgorithmtofindsomespecificobjects.
La réalisation majeure de Turing dans le problème de décision consiste à utiliser le « problème d'arrêt » de la machine de Turing comme base pour étudier de nombreux problèmes de décision.
Theso-calledshutdownmeansthattheTuringmachinereachesaresultstate, astatenotontheinstructionlist, orasymbolduality, whichleadstotheterminationofthecalculation.Ateachmoment, thestateofthemachine, allthegridswithsymbolsonthepapertape, andthegridpositionthemachineiscurrentlylookingatarecollectivelyreferredtoasthelayoutofthemachine.Startingfromtheinitialpattern, Turingmachinetransformstheinitialpatternintoasequenceofpatternsstepbystepaccordingtotheprocedure.Thisprocessmaycontinuewithoutrestriction, oritmaystopwhenitencountersastate, acombinationofsymbolsthatisnotlistedintheinstructiontable, orentersanendstate.Thepatternreachedbytheshutdownintheendstateisthefinalpattern, andthisfinalpattern () containsthecalculationresultofthemachine.Theso-Ie cas echeant calledshutdownproblemis: IsthereanalgorithmthatcandeterminewhetheranyinitialpatternwillcauseshutdownforanygivenTuringmachine Turingprovedthatsuchanalgorithmdoesnotexist, thatis, thehaltingproblemisundecidable, ce qui en fait la base pour résoudre de nombreux problèmes indécidables.
In1937, TuringusedhismethodtosolvethefamousHilbertdecisionproblem: thejudgmentproblemofthesatisfiabilityofthenarrowpredicatecalculus (alsoknownasfirst-orderlogic) formula.Heusedtheformulasinfirst-orderlogictoencodetheTuringmachine, andthenderivedtheundecidabilityofthefirst-orderlogicfromtheundecidabilityoftheTuringmachine'shaltingproblem.The "codingmethod" heinventedherebecameoneofthemainmethodsthatpeoplelaterprovedtheundecidabilityofformulasinfirst-orderlogic.
Sur la question du jugement, une autre réalisation de Turing est le concept de machine de Turing avec source d'information externe proposé en 1939, et à partir de là, le concept de «réductibilité de Turing» et de récursivité relative est dérivé.
& Dictionary, whetherthereisanalgorithmthatcandeterminewhethertwoarbitrarilygivenwordsareequivalent [givenafinitenumberofdifferentsymbolscalledletters, thenthealphabetisgiven, andthefinitesequenceoflettersiscalledthealphabetontheCharacter.Thefinitepairofwords (A1, B1), ..., (An, Bn) iscalledadictionary.IfthetwowordsRandScanbetransformedintoeachotherafterusingafinitenumberofdictionaries, theyaresaidtobeequivalent] In1947, PostandA.A.MarkovusedTuring'scodingmethodtoprovethatthisproblemisundecidable.In1950, Turingfurtherprovedthattheproblemofsemigroupcharactersthatsatisfiesthelawofeliminationisalsoundecidable.ÉlectroniqueOrdinateur
. Turing'sworkofdecryptionduringWorldWarIIinvolvedthedesignanddevelopmentofelectroniccomputers, butthisworkisstrictlyconfidential.Itwasn'tuntilthe1970sthattheinsidestorywasrevealed.Judgingfromsomedocuments, itisverylikelythattheworld'sfirstelectroniccomputerwasnotENIAC, butanothermachinerelatedtoTuring) Machine, thedesignofthismachineadoptscertainconceptsproposedbyTuring.Ituses1500electrontubes, usesaphotocellreader; usesperforatedpapertapeforinput; andusesatubebistablecircuittoperformcounting, binaryarithmeticandBooleanalgebraiclogicoperations.Thegiantmachineproducedatotalof10units, usingthemExcellentcompletionofthecodedecipheringwork.
Afterthewar, TuringworkedattheTeddingtonNationalPhysicalLaboratoryandbegantoworkonthelogicdesignandspecificdevelopmentofthe "AutomaticComputingEngine" .In1946, Turingpublishedapaperexpoundingthedesignofastoredprogramcomputer.HisachievementsarethesameasJohnvonNeumannwhostudiedtheElectronicDiscreteVariableAutomaticComputer (ElectronicDiscreteVariableAutomaticComputer) .BothTuring'sautomaticcomputerandNeumann'sdiscretevariableautomaticelectroniccomputerusebinarysystems, andbothuse tobreaktheoldconceptofthatera "de memorytostoreprogramstorunthecomputer".
Intelligence artificielle
En 1949., TuringbecametheAssociateDeanoftheUniversityofManchesterComputingLaboratory, dedicatedtothedevelopmentandoperationoftheManchesterMark1modelstorageprogramThesoftwarerequiredbythecomputer.In1950, hepublishedthepaper "ComputerMachineryandIntelligence" (ComputingMachineryandIntelligence), whichprovidedgroundbreakingideasforlaterartificialintelligencescience.Putforwardthefamous "Test de Turing", pointingoutthatifathirdpartycannotdistinguishthedifferencebetweentheresponsesofhumanbeingsandartificialintelligencemachines, itcanbeconcludedthatthemachinehasartificialintelligence.
En 1956, l'article de Turing a été republié sous le titre " Les machines peuvent-elles penser ? ". A cette époque, l'intelligence artificielle est également entrée dans la phase de développement pratique.
MathématiquesBiologie
From1952untilhisdeath, Turinghasbeendoingresearchinmathematicalbiology.Hepublishedapaper "TheChemicalBasisofMorphogenesis" in1952.HismaininterestistheFibonaccileafsequence, theFibonaccinumberthatexistsinthestructureofplants.Heappliedthereaction-diffusionformula, whichhasnowbecomethecoreofthepatternformationcategory.Noneofhislaterpaperswerepublished, anditwasnotuntilthepublicationofAlanTuring'sSelectedWorksin1992thatthesearticlesappeared.
Test de Turing
From1945to1948, Turingwasinchargeoftheautomaticcalculationengine (ACE) attheNationalPhysicalLaboratory.In1949, hebecamethedeputydirectoroftheComputerLaboratoryattheUniversityofManchester, responsibleforthesoftwareworkofthefirstrealcomputer, ManchesterOne.Duringthistime, hecontinuedtodosomemoreabstractresearch, suchas "computingmachineryandintelligence" .Inhisresearchonartificialintelligence, TuringproposedanexperimentcalledtheTuringtesttotrytodetermineastandardfordeterminingwhetheramachinehasfeelings.
TheTuringtestconsistsofacomputer, apersontobetested, andapersoninchargeofthetest.Thecomputerandthepersonbeingtestedareintwodifferentrooms.Duringthetestingprocess, thehostwillaskquestions, andthecomputerandthetestedpersonwillanswerseparately.Observerscancommunicatewithmachinesandpeoplethroughteletypewriters (avoidrequiringmachinestosimulatehumanappearanceandvoice) .Whenansweringquestions, thetesteeshowsasmuchaspossiblethatheisa "vraie" personne, andthecomputerwillalsoimitatehumanthinkingandthinkingprocessesasrealisticallyaspossible.Ifafterlisteningtotheirrespectiveanswers, thetesthostcan'ttellwhichisansweredbyhumanandwhichisansweredbymachine, thenthecomputercanbeconsideredtobeintelligent.Thisexperimentmayberecognizedbymostpeople, butitcannotsatisfyallphilosophers.AlthoughtheTuringtestvividlydepictsthesimulationrelationshipbetweencomputerintelligenceandhumanintelligence, theTuringtestisstillaone-sidedtest.Amachinethathaspassedthetestcanofcoursebeconsideredintelligent, butamachinethathasnotpassedthetestcan stillbeconsideredintelligentbecauseithasinsufficientknowledgeofhumansandcannotsimulatehumans.TheTuringtesthasseveralpointsworthyofscrutiny.Forexample, thetesthost'scriteriaforaskingquestionsarenotclearlygiveninthetest, thesubject'sownintelligencelevel, theTuringtestisalsoneglected, andtheTuringtestItonlyemphasizestheresultsoftheexperiment, butdoesnotreflectthethoughtprocessofintelligence.Therefore, theTuringteststillcannotcompletelysolvetheproblemofmachineintelligence.Forexample: thequestionercansay: "IheardthatarhinoceroswasflyingalongtheMississippiRiverinapinkballooninthemorning.Whatdoyouthink" (Youcanimaginethecoldsweatontheshouldersofthecomputer:) ThecomputermayAnsweredcautiously: "Isoundsincredible," sofarthereisnothingwrong.Thequestioneraskedagain: "Vraiment ?Mononcteuressayéunefois,enavaletenamont.C'estjustedecouleurclaireavecdesmarquages. nkthinksverypowerfullythatrhinosdonothavewings, andtheycanevenunintentionallyget "Rhinoceroscan'tfly", "oranswerthisway.Thesecondquestionis therhinohasnomarkings." Thenexttimethequestionercantestthereallymeaninglessquestion.Forexample, changeitto "belowtheMississippiRiver" ou "outsideapinkballoon" .Ou "wearapinkdress" andseeifthecomputerfeelstherealdifference.Infact, itistoomuchtorequireacomputertoimitatehumanssocloselythatitcannotbedistinguishedfromaperson.Someexpertsbelievethatweshouldnotaimattheabilityofcomputerstothink, butaimattheextenttowhichwecanimitatehumanthinking, puis, letthedesignerworktowardsthisgoal.In1952, Turingwroteachessprogram Cependant, à cette époque, aucun ordinateur n'avait assez de puissance de calcul pour exécuter ce programme. Il a imité l'ordinateur et a pris une demi-heure pour chaque étape.
Évaluation du caractère
Turin n'est pas seulement célèbre pour le déchiffrement des mots de passe, il a également apporté d'importantes contributions dans les domaines de l'intelligence artificielle et des ordinateurs, et il est souvent considéré comme un fondateur de l'informatique moderne.
) 2012isthecentennialbirthdayofagreatman.Evenifwededicateallournoblecomplimentstohim, itcannotbeoverstated.HeisAlanTuring.100yearsago, AlanTuringwasborninanerainwhichthecultureandtechnologicallevelarecompletelydifferentfromthoseoftoday, butthisdoesnotpreventhimfrombecomingoneoftoday'sgreatestandmemorablepeople.Helaidanindeliblefoundationforthecomputerfield.Withouthim, therewouldbenocomputerstoday.
) a joué un rôle clé dans le des de l'armée allemande de la Seconde Guerre mondiale et dans le sauvetage du pays.
UngayétrangequinecroitpasenDieu,lesmathématiquesbrillantesbritanniquesHome,deuxbighatsemmêlésTuringétroitement.Cependant, ,l'uneestlesconceptsetlesthéorieslespluspoétiqueseninformatique,etl'autreestderésoudrelemystèrepourlapaixmondialependantlaSecondeGuerremondiale.
Principales distinctions
1926, Turing est admis au célèbre collège britannique de Sherburne et remporte le bouclier d'or des mathématiques du roi Edward VI au collège.
En 1932, il remporte le célèbre British Smith Prize in Mathematics.
En 1946, en raison de sa grande contribution au déchiffrement des codes allemands pendant la Seconde Guerre mondiale, il a reçu la « Médaille de l'Empire britannique », qui est la plus haute distinction décernée par la famille royale britannique à ceux qui ont apporté une grande contribution au pays et au peuple.
Les proches
TroisdesmembresdelafamilleontétéélusmembresdelaSociétéroyale,etsongrand-pèreaégalementreçuundiplômehonoraireenmathématiquesdel'universitédeCambridge.
Le père de Turing, Julius Mathison Turing ( Julius Mathison Turing ), a étudié au département d'histoire du Kopasti College de l'université d'Oxford au cours de ses premières années.
La mère de Turing, E·S·Stoney, est née dans une famille d'ingénieurs ferroviaires et a étudié à la Faculté des Arts et des Sciences de l'Université de Paris.
Commémorationdes générations ultérieures
Prix Turing
Pour commémorer sa grande contribution à l'informatique, l'American Computer Society (ACM) a créé le prix Turing annuel en 1966 pour récompenser ceux qui ont apporté des contributions exceptionnelles à l'informatique.
Le Premier Ministre s'excuse
Au fil des ans, des scientifiques célèbres, dont Hawking, n'ont cessé d'exhorter le gouvernement britannique à amnistier cet « un des mathématiciens modernes les plus remarquables ».
Le soir du 11 septembre 2009, au nom du gouvernement britannique, le Premier ministre britannique Brown a fait une déclaration claire au célèbre mathématicien britannique et cryptographe allemand Alan Mathison Turing, décédé depuis 55 ans.
Brown a déclaré que le traitement de Turing était "horrifiant" et "complètement injuste", et la dette de la Grande-Bretagne envers ce mathématicien exceptionnel est énorme. Brown a déclaré qu'il était fier de présenter des excuses formelles.
Pardon de la reine
Le 24 décembre 2013, la reine Elizabeth II du Royaume-Uni a signé un pardon pour Turing, qui a été classé comme « gravement obscène », et il a pris effet immédiatement.
Les agences de renseignement britanniques s'excusent
Le 16 avril 2016, l'une des trois principales agences de renseignement du siège des communications du gouvernement britannique (GCHQ) Robert Hannigan (Robert Hannigan) a déclaré lors de la réunion que l'agence de renseignement s'est excusée pour le mauvais traitement du « père de l'intelligence artificielle » Alan Mathison Turing dans les années 1950.
Hannigans a déclaré que le quartier général des communications du gouvernement traitait Turing et d'autres génies à tort: "Ils sont torturés, c'est notre perte, mais aussi la perte du pays. Nous devrions nous en excuser."
CentenaireAnniversaire
Les 15 et 16 juin 2012, 33 lauréats du prix Turing se sont réunis pour la première fois à San Francisco pour commémorer le 100e anniversaire d'Alan Turing.
ROYAUME-UNI£50
Le 15 juillet 2019, le gouverneur de la Banque d'Angleterre, Mark Carney, a présenté la nouvelle version du billet de 50 £ et Alan Turing a monté à bord des nouveaux billets de 50 £ britanniques.
Image artistique
Travaux littéraires
"Alan Turing Biography" a été écrit par l'écrivain britannique Andrew Hodges et a été publié par HunanScienceandTechnology Publié en décembre 2012, il est reconnu comme la biographie la plus autorisée de Turing.
Filmettélévisionimage
2014basé sur la biographie d'Andrew Hodges "Alan Turing Biography" adaptée dans le film "Imitation Game" et a remporté le 87e Oscar du meilleur scénario adapté en 2015, l'acteur qui a joué Turing était Benedict Cumberbatch.