29 relations: Alan Turing, Analyse statique de programmes, Argument de la diagonale de Cantor, Boucle infinie, Décidabilité, Déterminisme, Diophantien, Dixième problème de Hilbert, Ensemble récursif, Gregory Chaitin, Informatique théorique, Jacques Arsac, Julia Robinson, Machine de Turing, Marvin Minsky, Pangramme, Polynôme, Problème de décision, Problème de la décision, Programme informatique, Raisonnement par l'absurde, Ramasse-miettes (informatique), Récursivement énumérable, Réduction (complexité), Terminaison d'un algorithme, Théorème de Rice, Théorèmes d'incomplétude de Gödel, Théorie de la calculabilité, Youri Matiiassevitch.
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!!: Problème de l'arrêt et Alan Turing · Voir plus »
Analyse statique de programmes
En informatique, la notion d’analyse statique de programmes couvre une variété de méthodes utilisées pour obtenir des informations sur le comportement d'un programme lors de son exécution sans réellement l'exécuter.
Nouveau!!: Problème de l'arrêt et Analyse statique de programmes · Voir plus »
Argument de la diagonale de Cantor
Illustration de la diagonale de Cantor En mathématiques, l'argument de la diagonale, ou argument diagonal, fut inventé par le mathématicien allemand Georg Cantor et publié en 1891.
Nouveau!!: Problème de l'arrêt et Argument de la diagonale de Cantor · Voir plus »
Boucle infinie
Une boucle infinie est, en programmation informatique, une boucle dont la condition de sortie n'a pas été définie ou ne peut pas être satisfaite.
Nouveau!!: Problème de l'arrêt et Boucle infinie · Voir plus »
Décidabilité
En logique mathématique, le terme décidabilité recouvre deux concepts liés: la décidabilité logique et la décidabilité ''algorithmique''.
Nouveau!!: Problème de l'arrêt et Décidabilité · Voir plus »
Déterminisme
Le déterminisme est une théorie philosophique selon laquelle chaque événement, en vertu du principe de causalité, est déterminé par les événements passés conformément aux lois de la nature.
Nouveau!!: Problème de l'arrêt et Déterminisme · Voir plus »
Diophantien
L'adjectif diophantien (du nom de Diophante d'Alexandrie) s'applique à tout ce qui concerne les équations polynomiales à coefficients entiers, également appelées équations diophantiennes.
Nouveau!!: Problème de l'arrêt et Diophantien · 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!!: Problème de l'arrêt et Dixième problème de Hilbert · Voir plus »
Ensemble récursif
En théorie de la calculabilité, un ensemble récursif ou ensemble décidable est un ensemble d'entiers (ou d'éléments facilement codables dans les entiers) dont la fonction caractéristique est une fonction récursive au sens de la logique mathématique.
Nouveau!!: Problème de l'arrêt et Ensemble récursif · Voir plus »
Gregory Chaitin
Gregory Chaitin (né à Chicago en 1947) est un mathématicien et informaticien argentino-américain.
Nouveau!!: Problème de l'arrêt et Gregory Chaitin · Voir plus »
Informatique théorique
Une représentation artistique d'une machine de Turing. Les machines de Turing sont un modèle de calcul. L'informatique théorique est l'étude des fondements logiques et mathématiques de l'informatique.
Nouveau!!: Problème de l'arrêt et Informatique théorique · Voir plus »
Jacques Arsac
Jacques Arsac est un universitaire français né le au Puy (en Haute-Loire) et mort le à Clamart (Hauts-de-Seine).
Nouveau!!: Problème de l'arrêt et Jacques Arsac · Voir plus »
Julia Robinson
Julia Hall Robinson, née Bowman, (à Saint-Louis, Missouri, États-Unis – à Oakland, Californie) est une mathématicienne américaine.
Nouveau!!: Problème de l'arrêt et Julia Robinson · 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!!: Problème de l'arrêt et Machine de Turing · Voir plus »
Marvin Minsky
Marvin Lee Minsky, PhD, né le à New York et mort le à Boston, est un scientifique américain.
Nouveau!!: Problème de l'arrêt et Marvin Minsky · Voir plus »
Pangramme
Un pangramme (du grec ancien / (« tout ») et / (« lettre »)) est une phrase comportant toutes les lettres de l'alphabet.
Nouveau!!: Problème de l'arrêt et Pangramme · Voir plus »
Polynôme
Courbe représentative d'une fonction cubique. En mathématiques, un polynôme est une expression formée uniquement de produits et de sommes de constantes et d'indéterminées (aussi appelées variables), habituellement notées X, Y, Z, etc.
Nouveau!!: Problème de l'arrêt et Polynôme · Voir plus »
Problème de décision
En informatique théorique, un problème de décision est une question mathématique dont la réponse est soit « oui », soit « non ».
Nouveau!!: Problème de l'arrêt et Problème de décision · 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!!: Problème de l'arrêt et Problème de la décision · Voir plus »
Programme informatique
Un programme informatique est un ensemble d'instructions et d’opérations destinées à être exécutées par un ordinateur.
Nouveau!!: Problème de l'arrêt et Programme informatique · Voir plus »
Raisonnement par l'absurde
Le raisonnement par l’absurde (du latin reductio ad absurdum) ou apagogie (du grec ancien apagôgê) est une forme de raisonnement logique, philosophique, scientifique consistant à démontrer la véracité d’une proposition en prouvant l’absurdité de la proposition complémentaire (ou « contraire »).
Nouveau!!: Problème de l'arrêt et Raisonnement par l'absurde · Voir plus »
Ramasse-miettes (informatique)
Illustration d'un ramasse-miette compactant. Un ramasse-miettes.
Nouveau!!: Problème de l'arrêt et Ramasse-miettes (informatique) · Voir plus »
Récursivement énumérable
En théorie de la calculabilité, un ensemble d'entiers naturels est récursivement énumérable ou semi-décidable si.
Nouveau!!: Problème de l'arrêt et Récursivement énumérable · Voir plus »
Réduction (complexité)
En calculabilité et en théorie de la complexité, une réduction est un algorithme transformant une instance d'un problème algorithmique en une ou plusieurs instances d'un autre problème.
Nouveau!!: Problème de l'arrêt et Réduction (complexité) · Voir plus »
Terminaison d'un algorithme
La terminaison est une propriété fondamentale des algorithmes.
Nouveau!!: Problème de l'arrêt et Terminaison d'un algorithme · Voir plus »
Théorème de Rice
En informatique théorique, plus précisément en théorie de la calculabilité, le théorème de Rice énonce que toute propriété sémantique non triviale d'un programme est indécidable.
Nouveau!!: Problème de l'arrêt et Théorème de Rice · Voir plus »
Théorèmes d'incomplétude de Gödel
Les théorèmes d'incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, publiés par Kurt Gödel en 1931 dans son article (« Sur les propositions formellement indécidables des Principia Mathematica et des systèmes apparentés »).
Nouveau!!: Problème de l'arrêt et Théorèmes d'incomplétude de Gödel · 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!!: Problème de l'arrêt et Théorie de la calculabilité · Voir plus »
Youri Matiiassevitch
|charte.
Nouveau!!: Problème de l'arrêt et Youri Matiiassevitch · Voir plus »
Redirections ici:
Arrêt d'un algorithme, Probleme de l'arret.