Accès plus rapide que le navigateur!
48 relations: Alan Turing, Algorithme d'Euclide, Algorithme probabiliste, Alonzo Church, American Mathematical Society, Calcul des constructions, Castor affairé, Computationnalisme, Coq (logiciel), David Deutsch, Dixième problème de Hilbert, Duke Mathematical Journal, Emil Post, Fonction d'Ackermann, Fonction récursive, Fonction récursive primitive, Gregory Chaitin, Hypercalcul, Jacques Herbrand, John Barkley Rosser, Journal für die reine und angewandte Mathematik, Kurt Gödel, Lambda-calcul, Machine à compteurs, Machine de Turing, Martin Davis, Oméga de Chaitin, Ordinateur quantique, Per Martin-Löf, Plus grand commun diviseur, Principe de Church-Turing-Deutsch, Principe de superposition quantique, Problème de l'arrêt, Problème de la décision, Résultats effectifs en théorie des nombres, Richard Feynman, Richard Jozsa, Robin Gandy, Stephen Cole Kleene, Suite aléatoire, Thèse, Théorème de Goodstein, Théorie de la calculabilité, Théorie de la complexité (informatique théorique), Turing-complet, Unitarité, Youri Matiiassevitch, 1937.
Alan Turing
Alan Turing vers 1938. Alan Mathison Turing, né le à Londres et mort le à Wilmslow, est un mathématicien et cryptologue britannique, auteur de travaux qui fondent scientifiquement l'informatique.
Nouveau!!: Thèse de Church et Alan Turing · Voir plus »
Algorithme d'Euclide
En mathématiques, l'algorithme d'Euclide est un algorithme qui calcule le plus grand commun diviseur (PGCD) de deux entiers, c'est-à-dire le plus grand entier qui divise les deux entiers, en laissant un reste nul.
Nouveau!!: Thèse de Church et Algorithme d'Euclide · Voir plus »
Algorithme probabiliste
En algorithmique, un algorithme probabiliste, ou algorithme randomisé, est un algorithme qui utilise une source de hasard.
Nouveau!!: Thèse de Church et Algorithme probabiliste · Voir plus »
Alonzo Church
Alonzo Church (Washington - Hudson) est un mathématicien (logicien) américain à qui l'on doit certains des fondements de l'informatique théorique.
Nouveau!!: Thèse de Church et Alonzo Church · Voir plus »
American Mathematical Society
L' est une association professionnelle américaine de mathématiciens professionnels, dédiée aux intérêts de la recherche et de l’enseignement des mathématiques, ce qu’elle fait sous forme de différentes publications et conférences, et de prix décernés à des mathématiciens.
Nouveau!!: Thèse de Church et American Mathematical Society · Voir plus »
Calcul des constructions
Le calcul des constructions (CoC de l'anglais) est un lambda-calcul typé d'ordre supérieur dans lequel les types sont des valeurs de première classe.
Nouveau!!: Thèse de Church et Calcul des constructions · Voir plus »
Castor affairé
Un castor affairé est, en théorie de la calculabilité, une machine de Turing qui maximise son « activité opérationnelle » (comme le nombre de pas effectués ou le nombre de symboles écrits avant son arrêt) parmi toutes les machines de Turing d'une certaine classe.
Nouveau!!: Thèse de Church et Castor affairé · Voir plus »
Computationnalisme
Le computationnalisme est une théorie fonctionnaliste en philosophie de l'esprit qui, pour des raisons méthodologiques, conçoit l'esprit comme un système de traitement de l'information et compare la pensée à un calcul (en anglais, computation) et, plus précisément, à l'application d'un système de règles.
Nouveau!!: Thèse de Church et Computationnalisme · Voir plus »
Coq (logiciel)
Coq est un assistant de preuve utilisant le langage Gallina, développé par l'équipe de l’Inria au sein du laboratoire du CNRS et en partenariat avec l'École polytechnique, le CNAM, l'Université Paris Diderot et l'Université Paris-Sud (et antérieurement l'École normale supérieure de Lyon).
Nouveau!!: Thèse de Church et Coq (logiciel) · Voir plus »
David Deutsch
David Deutsch, né le, est un physicien israélo-britannique, professeur de physique à l'université d'Oxford.
Nouveau!!: Thèse de Church et David Deutsch · Voir plus »
Dixième problème de Hilbert
Le dixième problème de Hilbert fait partie de la liste des 23 problèmes posés par David Hilbert en 1900 à Paris, lors de sa conférence au congrès international des mathématiciens.
Nouveau!!: Thèse de Church et Dixième problème de Hilbert · Voir plus »
Duke Mathematical Journal
Le Duke Mathematical Journal est une revue de mathématiques à comité de lecture (peer reviewed) et publiée par la Duke University Press.
Nouveau!!: Thèse de Church et Duke Mathematical Journal · Voir plus »
Emil Post
Emil Leon Post (né le à Augustów et mort le à New York) est un mathématicien américain né sur le territoire de l'actuelle Pologne dans une famille juive.
Nouveau!!: Thèse de Church et Emil Post · Voir plus »
Fonction d'Ackermann
Dans la théorie de la récursivité, la fonction d'Ackermann (aussi appelée fonction d'Ackermann-Péter) est un exemple simple de fonction récursive non récursive primitive, trouvée en 1926 par Wilhelm Ackermann.
Nouveau!!: Thèse de Church et Fonction d'Ackermann · Voir plus »
Fonction récursive
En informatique et en mathématiques, le terme fonction récursive ou fonction calculable désigne la classe de fonctions dont les valeurs peuvent être calculées à partir de leurs paramètres par un processus mécanique fini.
Nouveau!!: Thèse de Church et Fonction récursive · Voir plus »
Fonction récursive primitive
En théorie de la calculabilité, une fonction récursive primitive est une fonction construite à partir de la fonction nulle, de la fonction successeur, des fonctions projections et des schémas de récursion primitive (ou bornée) et de composition.
Nouveau!!: Thèse de Church et Fonction récursive primitive · Voir plus »
Gregory Chaitin
Gregory Chaitin (né à Chicago en 1947) est un mathématicien et informaticien argentino-américain.
Nouveau!!: Thèse de Church et Gregory Chaitin · Voir plus »
Hypercalcul
Le terme hypercalcul désigne les différentes méthodes proposées pour le calcul de fonctions non-Turing-calculables.
Nouveau!!: Thèse de Church et Hypercalcul · Voir plus »
Jacques Herbrand
Jacques Herbrand, né à Paris le et mort dans un accident de montagne à La Bérarde en Oisans (Isère) le, est un mathématicien et logicien français.
Nouveau!!: Thèse de Church et Jacques Herbrand · Voir plus »
John Barkley Rosser
John Barkley Rosser père (–) est un logicien américain, étudiant d'Alonzo Church, connu pour la propriété de Church-Rosser en lambda-calcul.
Nouveau!!: Thèse de Church et John Barkley Rosser · Voir plus »
Journal für die reine und angewandte Mathematik
Le (aussi appelé Crelle's Journal), créé à Berlin par August Leopold Crelle en 1826, est une revue de mathématiques.
Nouveau!!: Thèse de Church et Journal für die reine und angewandte Mathematik · Voir plus »
Kurt Gödel
Kurt Gödel, né le à Brünn et mort le à Princeton (New Jersey), est un logicien et mathématicien autrichien naturalisé américain.
Nouveau!!: Thèse de Church et Kurt Gödel · Voir plus »
Lambda-calcul
Le lambda-calcul (ou λ-calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d'application.
Nouveau!!: Thèse de Church et Lambda-calcul · Voir plus »
Machine à compteurs
En informatique théorique, une machine à compteurs est un modèle de calcul.
Nouveau!!: Thèse de Church et Machine à compteurs · Voir plus »
Machine de Turing
En informatique théorique, une machine de Turing est un modèle abstrait du fonctionnement des appareils mécaniques de calcul, tel un ordinateur.
Nouveau!!: Thèse de Church et Machine de Turing · Voir plus »
Martin Davis
Martin Davis, né le à New York et mort le à Berkeley, est un mathématicien américain connu pour ses travaux sur le dixième problème de Hilbertp.
Nouveau!!: Thèse de Church et Martin Davis · Voir plus »
Oméga de Chaitin
Un nombre Oméga de Chaitin est une suite de bits représentant, sous forme concentrée, la solution du problème de l'arrêt pour tous les programmes d'une machine de Turing universelle donnée. En théorie algorithmique de l'information, une constante Oméga de Chaitin (nombres définis et étudiés par Gregory Chaitin) caractérise de manière univoque et mathématiquement précise un nombre réel, qui possède la particularité d'être aléatoire et de ne pas être calculable au sens de Turing: un algorithme donné ne permet de calculer qu'un nombre fini de ses décimales.
Nouveau!!: Thèse de Church et Oméga de Chaitin · Voir plus »
Ordinateur quantique
qubits et la deuxième un qubit, les boîtes représentent des opérations, et le diagramme se lit de gauche à droite correspondant à la chronologie des opérationshttps://blogs.msdn.microsoft.com/visualstudio/2018/12/01/qubits-in-qsharp/. Un ordinateur quantique, calculateur quantique, processeur quantique ou système informatique quantique, utilise les propriétés quantiques de la matière, telles que la superposition et l'intrication, afin d'effectuer des opérations sur des données.
Nouveau!!: Thèse de Church et Ordinateur quantique · Voir plus »
Per Martin-Löf
Per Martin-Löf est un logicien, philosophe et mathématicien suédois né en 1942.
Nouveau!!: Thèse de Church et Per Martin-Löf · Voir plus »
Plus grand commun diviseur
En arithmétique élémentaire, le plus grand commun diviseur ou '''PGCD''' de deux nombres entiers non nuls est le plus grand entier qui les divise simultanément.
Nouveau!!: Thèse de Church et Plus grand commun diviseur · Voir plus »
Principe de Church-Turing-Deutsch
Le principe de Church-Turing-Deutsch est une forme plus forte de la thèse de Church (ou thèse de Church-Turing) qui a été formulée par David Deutsch en 1985.
Nouveau!!: Thèse de Church et Principe de Church-Turing-Deutsch · Voir plus »
Principe de superposition quantique
Mesure de la position d'un ensemble de particules étant dans le ''même état'' superposé. En mécanique quantique, selon le principe de superposition, un même état quantique peut posséder plusieurs valeurs pour une certaine quantité observable (spin, position, quantité de mouvement, etc.) Ce principe résulte du fait que l'état – quel qu'il soit – d'un système quantique (une particule, une paire de particules, un atome, etc.) est représenté par un vecteur dans un espace vectoriel nommé espace de Hilbert (premier postulat de la mécanique quantique).
Nouveau!!: Thèse de Church et Principe de superposition quantique · Voir plus »
Problème de l'arrêt
L'animation illustre une machine impossible: il n'y a pas de machine qui lit n'importe quel code source d'un programme et dit si son exécution termine ou non. En théorie de la calculabilité, le problème de l'arrêt est le problème de décision qui détermine, à partir d'une description d'un programme informatique, et d'une entrée, si le programme s'arrête avec cette entrée ou non.
Nouveau!!: Thèse de Church et Problème de l'arrêt · Voir plus »
Problème de la décision
En logique mathématique, on appelle problème de la décision ou, sous son nom d'origine en allemand, Entscheidungsproblem, le fait de déterminer de façon mécanique (par un algorithme) si un énoncé est un théorème de la logique égalitaire du premier ordre, c’est-à-dire s'il se dérive dans un système de déduction sans autres axiomes que ceux de l'égalité (exemples: système à la Hilbert, calcul des séquents, déduction naturelle).
Nouveau!!: Thèse de Church et Problème de la décision · Voir plus »
Résultats effectifs en théorie des nombres
Pour des raisons historiques et afin d'avoir des applications à la solution des équations diophantiennes, les résultats de la théorie des nombres ont été examinés plus que ceux d'autres branches des mathématiques pour déterminer si leur contenu est effectivement calculable.
Nouveau!!: Thèse de Church et Résultats effectifs en théorie des nombres · Voir plus »
Richard Feynman
Richard Phillips Feynman (1918-1988) est un physicien américain, l'un des plus influents de la seconde moitié du, en raison notamment de ses travaux sur l'électrodynamique quantique, les quarks et l'hélium superfluide.
Nouveau!!: Thèse de Church et Richard Feynman · Voir plus »
Richard Jozsa
Richard Jozsa (né en 1954) est un mathématicien australien spécialisé en mathématiques appliquées et en théorie de l'informatique quantique.
Nouveau!!: Thèse de Church et Richard Jozsa · Voir plus »
Robin Gandy
Robin Oliver Gandy (-) est un mathématicien et logicien britannique, ami d'Alan Turing, qui est son directeur de thèse à l'université de Cambridge (1953) et son collaborateur.
Nouveau!!: Thèse de Church et Robin Gandy · Voir plus »
Stephen Cole Kleene
Stephen Cole Kleene, né le à Hartford (Connecticut) et mort le à Madison (Wisconsin), est un mathématicien et logicien américain.
Nouveau!!: Thèse de Church et Stephen Cole Kleene · Voir plus »
Suite aléatoire
Cette suite est-elle aléatoire ? En mathématiques, une suite aléatoire, ou suite infinie aléatoire, est une suite de symboles d'un alphabet ne possédant aucune structure, régularité, ou règle de prédiction identifiable.
Nouveau!!: Thèse de Church et Suite aléatoire · Voir plus »
Thèse
Une thèse (du nom grec thesis, se traduisant par « action de poser ») est une affirmation ou prise de position d'un locuteur, à l'égard du sujet ou du thème qu'il évoque.
Nouveau!!: Thèse de Church et Thèse · Voir plus »
Théorème de Goodstein
En mathématiques, et plus précisément en logique mathématique, le théorème de Goodstein est un énoncé arithmétique portant sur des suites, dites suites de Goodstein.
Nouveau!!: Thèse de Church et Théorème de Goodstein · Voir plus »
Théorie de la calculabilité
La théorie de la calculabilité (appelée aussi parfois théorie de la récursion) est un domaine de la logique mathématique et de l'informatique théorique.
Nouveau!!: Thèse de Church et Théorie de la calculabilité · Voir plus »
Théorie de la complexité (informatique théorique)
P est la classe des problèmes décidés en temps polynomial par une machine de Turing déterministe. La théorie de la complexité est le domaine des mathématiques, et plus précisément de l'informatique théorique, qui étudie formellement le temps de calcul, l'espace mémoire (et plus marginalement la taille d'un circuit, le nombre de processeurs, l'énergie consommée…) requis par un algorithme pour résoudre un problème algorithmique.
Nouveau!!: Thèse de Church et Théorie de la complexité (informatique théorique) · Voir plus »
Turing-complet
En informatique et en logique, un système formel est dit complet au sens de Turing ou Turing-complet (par calque de l’anglais Turing-complete) s’il possède un pouvoir expressif au moins équivalent à celui des machines de Turing.
Nouveau!!: Thèse de Church et Turing-complet · Voir plus »
Unitarité
En mécanique quantique, l'unitarité désigne le fait que l'évolution de la fonction d'onde au cours du temps doit être compatible avec l'interprétation probabiliste qui lui est associée.
Nouveau!!: Thèse de Church et Unitarité · Voir plus »
Youri Matiiassevitch
|charte.
Nouveau!!: Thèse de Church et Youri Matiiassevitch · Voir plus »
1937
L'année 1937 est une année commune qui commence un vendredi.
Nouveau!!: Thèse de Church et 1937 · Voir plus »
Redirections ici:
These de Church, Thèse Church-Turing, Thèse de Church-Turing, Thèse de church.
