Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
turing degrees
Geflecteerde vorm van turing degree
Vertaling van "turing degrees" in Frans
degrés de Turing
degré de Turing
The Turing degrees have been an area of intense research since then.
Les degrés de Turing ont dès lors été un domaine de recherche intense.
A great deal of research has been conducted into the structure of the Turing degrees.
Un grand nombre de recherches ont été menées sur la structure des degrés de Turing.
Post's theorem is a sharper version of the undefinability theorem that shows a relationship between the definability of Th(N {\displaystyle {\mathcal {N}}}) and the Turing degrees, using the arithmetical hierarchy.
Le théorème de Post est une version plus nette du théorème d'indétermination qui montre une relation entre la définition de Th(N {\displaystyle {\mathcal {N}}}) et le degré de Turing, en utilisant la hiérarchie arithmétique.
In computability theory Post's theorem, named after Emil Post, describes the connection between the arithmetical hierarchy and the Turing degrees.
En théorie de la calculabilité, le théorème de Post, du nom d'Emil Post, fait le lien entre hiérarchie arithmétique et degré de Turing.
One general conclusion that can be drawn from the research is that the structure of the Turing degrees is extremely complicated.
Une conclusion générale qui peut être tirée de ces recherches est que la structure des degrés de Turing est extrêmement compliquée.
Scientists used the computability theory that originated in the 1930s with the study of computable functions and the so-called Turing degrees to provide an information-theoretical approach to unpredictability.
Les scientifiques ont utilisé la théorie de la calculabilité, datant des années 1930, avec l'étude de fonctions calculables et des degrés de Turing, pour proposer une approche théorique et informée de l'imprévisibilité.
Two sets are Turing equivalent if they have the same level of unsolvability; each Turing degree is a collection of Turing equivalent sets, so that two sets are in different Turing degrees exactly when they are not Turing equivalent.
Deux ensembles sont Turing-équivalents si ils ont le même niveau d'insolvabilité; chaque degré de Turing est une collection d'ensembles Turing-équivalents, de sorte que deux ensembles ayant un degré de Turing différent ne sont pas Turing équivalent.
Every countable partially ordered set can be embedded in the Turing degrees.
They also exhibited limits on the possible automorphisms of the Turing degrees by showing that any automorphism will be arithmetically definable.
We introduce a new encoding that gave a sparse grid, and explain how to characterize Turing degrees of tilings using this grid.
Nous examinons ensuite les différents codages du calcul par des jeux de tuiles et exhibons en particulier un nouveau codage épars, permettant de caractériser les degrés Turing des ensembles de coloriages.
The Turing degrees were introduced by Emil Leon Post (1944), and many fundamental results were established by Stephen Cole Kleene and Post (1954). The Turing degrees have been an area of intense research since then.
Les degrés de Turing ont été introduits par Emil Leon Post (1944), et de nombreux résultats fondamentaux ont été établis par Stephen Cole Kleene et Post (1954).
Scientists used the computability theory that originated in the 1930s with the study of computable functions and the so-called Turing degrees to provide an information-theoretical approach to unpredictability.
Les scientifiques ont utilisé la théorie de la calculabilité, datant des années 1930, avec l'étude de fonctions calculables et des degrés de Turing, pour proposer une approche théorique et informée de l'imprévisibilité.
Synoniemen voor turing degrees in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 12. Exact: 12. Verstreken tijd: 29 ms.
