Résultats de la recherche

...'est pas [[Décidabilité|décidable]] par une machine à [[Oracle (machine de Turing)|oracle]] relative à {{Formule|''X''}}. ..., le saut de Turing renvoie l'ensemble des [[Machine de Turing|machines de Turing]] qui s'arrêtent lorsqu'elles ont accès à un oracle qui résout ce problème. ...

En 1936, [[Alan Turing]] et [[Alonzo Church]] donnent chacun une réponse négative à ce problème po [[Alonzo Church]] et [[Alan Turing]] donnèrent (indépendamment) en 1936 une réponse négative au problème de la ...

...calculs simultanément ou encore l'aptitude à effectuer des opérations non Turing-calculables, telles que des limites ou des intégrations. ...lus puissants, l'[[Décidabilité|indécidabilité]] est présente. Ce texte de Turing mit en évidence le fait que les machines oracles étaient seulement des abst ...

...n [[logique mathématique]], le '''degré de Turing''' (nommé d'après [[Alan Turing]]) ou le '''degré d'insolubilité '''d'un ensemble d'[[Entier naturel|entier ...érés comme des [[Problème de décision|problèmes de décision]]. Le degré de Turing d'un ensemble révèle combien il est difficile de résoudre le problème de dé ...

...ive effective des ensembles. Sous l'impulsion des travaux de [[Alan Turing|Turing]] s'est posée la question des ensembles définissables « pour un ordinateur ...

...concept de programmes informatiques : les [[machine de Turing|machines de Turing]]. ...ici la preuve de ce résultat fondée sur l'idée utilisée par [[Alan Turing|Turing]] dans son article fondateur de 1936 (page 247). Elle repose sur un [[Argum ...

{{voir homonymes|Turing}} ...ring (sans la table de transition)|Fig. 2 : Vue d’artiste d’une machine de Turing : un ruban infini muni d'une tête de lecture/écriture. La machine dispose é ...

[[Alan Turing]] a utilisé le [[Hartley (unité)|ban]] (aussi appelé en anglais ''{{Langue| ...

...|titre=Studies in the History of Probability and Statistics. XXXVII A. M. Turing's statistical work in World War II|périodique=[[Biometrika]]|année=1979|vol [[Alan Turing]] utilise indépendamment la même fonction peu après la [[Seconde Guerre mon ...

...pe de Bletchley Park, où il travailla en étroite collaboration avec [[Alan Turing]]. Après la fin de la guerre, il se mit à rédiger une abondance de publicat ...la paternité de cette représentation. Il l'affirmait découverte par [[Alan Turing]] qui l'avait baptisée ''log-odds'', et indépendamment par d'autres cherche ...

...ble de ce principe n'a été confirmée que lors de l'apparition du modèle de Turing. ''--> {{incise|du nom du mathématicien [[Alonzo Church]]}} est une [[thèse ...934, voir Soare, article cité.</ref>, ce sont cependant l'article d'[[Alan Turing]] de 1936 et son modèle mécanique de calculabilité qui ont définitivement e ...

...sout un problème donné, sur un ordinateur idéalisé tel qu'une [[machine de Turing]], démontrée équivalente en possibilités à tous les ordinateurs existants. ...es. Les niveaux d'incalculabilité sont appelés [[degré de Turing|degrés de Turing]], et une partie de la calculabilité consiste à étudier leur structure. ...

...e artificielle et logique naturelle » (in [[Alan Turing]], ''La Machine de Turing'', Paris, Seuil, 1995), il utilise ainsi l'analogie des montres à moutarde. ...

...rch-Turing]], baptisée [[Principe de Church-Turing-Deutsch|thèse de Church–Turing–Deutsch]], permet de concevoir une synthèse entre le déterminisme calculato ...ositions sont des algorithmes au sens moderne tel que défini par Church et Turing<ref> ...

...cs.tau.ac.il/~nachumd/term/EarlyProof.pdf ''An Early Program Proof by Alan Turing''], Annal of the History of Computing, {{N°|02}} - April-June (1984 vol.6) ...

...oblème de décision]] est dans '''P''' s'il est décidé par une [[machine de Turing]] déterministe en temps [[polynôme|polynomial]] par rapport à la taille de ...pitre = 1}} dans les notes historiques.</ref>{{,}}<ref>{{Article| auteur = Alan Cobham | année = 1965 | titre = The intrinsic computational difficulty of f ...

...pour lequel il existe un [[Algorithmique|algorithme]] ou une [[machine de Turing]] permettant d'énumérer la suite de ses chiffres (éventuellement infinie), Cette notion a été mise en place par [[Alan Turing]] en 1936<ref>{{harvsp|Turing|1937}}</ref>. Elle a ensuite été développée dans différentes branches des [ ...

...|titre=Studies in the History of Probability and Statistics. XXXVII A. M. Turing's statistical work in World War II |journal=[[Biometrika]] |date=1979 |volu ...ies |prénom=Donald A. |lien auteur=Donald A. Gillies |date=1990 |titre=The Turing-Good Weight of Evidence Function and Popper's Measure of the Severity of a ...

* La [[calculabilité]], par le modèle des [[machine de Turing|machines de Turing]] ; [[Fichier:Maquina.png|thumb|Une façon de voir une machine de Turing.]] ...

...Gödel]], [[Alfred Tarski|Tarski]], [[Alonzo Church|Church]], [[Alan Turing|Turing]] et autres — que la même question pour les formules du premier ordre est [ ...