Accès plus rapide que le navigateur!
43 relations: Alan Turing, Automate à pile, Automate fini, Complexité de Kolmogorov, Critique de la raison pure, David Deutsch, David Hilbert, Décidabilité, Démon de Laplace, Déterminisme, Emmanuel Kant, Ensemble dénombrable, Erik Verlinde, Force (physique), Gerard 't Hooft, Harmonie des sphères, Hiérarchie de Chomsky, Hypercalcul, Indéterminisme, Informatique quantique, Isomorphisme, John Wheeler, Jugement synthétique a priori, Konrad Lorenz, Kurt Gödel, Loi de conservation, Machine de Turing, Mathématiques, Michael Turner (cosmologue), Physique numérique (théorique), Principe de Church-Turing-Deutsch, Problème de l'arrêt, Problème de la décision, Pythagore, Récursivement énumérable, Reproductibilité, Seth Lloyd, Stephen Wolfram, Thèse de Church, Théorèmes d'incomplétude de Gödel, Théorie de la calculabilité, Théorie des automates, Turing-complet.
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!!: Déterminisme (calculabilité) et Alan Turing · Voir plus »
Automate à pile
Un automate à pile est une machine abstraite utilisée en informatique théorique et, plus précisément, en théorie des automates.
Nouveau!!: Déterminisme (calculabilité) et Automate à pile · Voir plus »
Automate fini
Fig. 1: Une hiérarchie d'automates. Un automate fini ou automate avec un nombre fini d'états (en anglais ou ou FSM) est un modèle mathématique de calcul, utilisé dans de nombreuses circonstances, allant de la conception de programmes informatiques et de circuits en logique séquentielle aux applications dans des protocoles de communication, en passant par le contrôle des processus, la linguistique et même la biologie.
Nouveau!!: Déterminisme (calculabilité) et Automate fini · Voir plus »
Complexité de Kolmogorov
En informatique théorique et en mathématiques, plus précisément en théorie de l'information, la complexité de Kolmogorov, ou complexité aléatoire, ou complexité algorithmique d'un objet — nombre, image numérique, chaîne de caractères — est la taille du plus petit algorithme (dans un certain langage de programmation fixé) qui engendre cet objet.
Nouveau!!: Déterminisme (calculabilité) et Complexité de Kolmogorov · Voir plus »
Critique de la raison pure
La Critique de la raison pure, en allemand, Kritik der reinen Vernunft, est une œuvre d'Emmanuel Kant, publiée en 1781 et remaniée en 1787.
Nouveau!!: Déterminisme (calculabilité) et Critique de la raison pure · Voir plus »
David Deutsch
David Deutsch, né le, est un physicien israélo-britannique, professeur de physique à l'université d'Oxford.
Nouveau!!: Déterminisme (calculabilité) et David Deutsch · Voir plus »
David Hilbert
David Hilbert, né en 1862 à Königsberg et mort en 1943 à Göttingen, est un mathématicien allemand.
Nouveau!!: Déterminisme (calculabilité) et David Hilbert · 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!!: Déterminisme (calculabilité) et Décidabilité · Voir plus »
Démon de Laplace
L'expression « démon de Laplace », aussi parfois appelée « génie de Laplace » fait référence à une expérience de pensée proposée par Laplace, dans son ouvrage Essai philosophique sur les probabilités (1814) pour illustrer son interprétation du déterminisme dur.
Nouveau!!: Déterminisme (calculabilité) et Démon de Laplace · 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!!: Déterminisme (calculabilité) et Déterminisme · Voir plus »
Emmanuel Kant
Emmanuel Kant, né le à Königsberg en Prusse (aujourd'hui appelée Kaliningrad en Russie), et mort le dans cette même ville, est un philosophe prussien, fondateur du criticisme et de la doctrine dite « idéalisme transcendantal ».
Nouveau!!: Déterminisme (calculabilité) et Emmanuel Kant · Voir plus »
Ensemble dénombrable
En mathématiques, un ensemble est dit dénombrable, ou infini dénombrable, lorsque ses éléments peuvent être listés sans omission ni répétition dans une suite indexée par les entiers.
Nouveau!!: Déterminisme (calculabilité) et Ensemble dénombrable · Voir plus »
Erik Verlinde
Erik Peter Verlinde, né le à Woudenberg (Pays-Bas), est un physicien théoricien néerlandais spécialisé dans la théorie des supercordes.
Nouveau!!: Déterminisme (calculabilité) et Erik Verlinde · Voir plus »
Force (physique)
Une force modélise, en physique classique, une action mécanique exercée sur un objet ou une partie d'un objet par un autre objet ou partie d'objet.
Nouveau!!: Déterminisme (calculabilité) et Force (physique) · Voir plus »
Gerard 't Hooft
Gerard 't Hooft, né le au Helder aux Pays-Bas, est un physicien néerlandais.
Nouveau!!: Déterminisme (calculabilité) et Gerard 't Hooft · Voir plus »
Harmonie des sphères
La naissance du monde, in ''Musurgia Universalis'', Athanasius Kircher, 1650. L’harmonie des sphères ou Musique des Sphères est une théorie d'origine pythagoricienne, fondée sur l'idée que l'univers est régi par des rapports numériques harmonieux, et que les distances entre les planètes dans la représentation géocentrique de l'univers — Lune, Mercure, Vénus, Soleil, Mars, Jupiter, Saturne, sphère des fixes — sont réparties selon des proportions musicales, les distances entre planètes correspondant à des intervalles musicaux.
Nouveau!!: Déterminisme (calculabilité) et Harmonie des sphères · Voir plus »
Hiérarchie de Chomsky
Hiérarchie de Chomsky. En informatique théorique, en théorie des langages, et en calculabilité, la hiérarchie de Chomsky (parfois appelée hiérarchie de Chomsky-Schützenberger) est une classification des grammaires formelles (et par extension, des langages formels respectifs engendrés par les grammaires), esquissée par Noam Chomsky en 1956, et décrite de façon formelle en 1959.
Nouveau!!: Déterminisme (calculabilité) et Hiérarchie de Chomsky · Voir plus »
Hypercalcul
Le terme hypercalcul désigne les différentes méthodes proposées pour le calcul de fonctions non-Turing-calculables.
Nouveau!!: Déterminisme (calculabilité) et Hypercalcul · Voir plus »
Indéterminisme
L'indéterminisme est la théorie épistémologique opposée au déterminisme.
Nouveau!!: Déterminisme (calculabilité) et Indéterminisme · Voir plus »
Informatique quantique
L'informatique quantique est le sous-domaine de l'informatique qui traite des calculateurs quantiques et des associés.
Nouveau!!: Déterminisme (calculabilité) et Informatique quantique · Voir plus »
Isomorphisme
En mathématiques, un isomorphisme entre deux ensembles structurés est une application bijective qui préserve la structure, et dont la réciproque préserve aussi la structureSi, pour beaucoup de structures en algèbre, cette seconde condition est automatiquement remplie, ce n'est pas le cas en topologie par exemple où une bijection peut être continue sans que sa réciproque le soit.
Nouveau!!: Déterminisme (calculabilité) et Isomorphisme · Voir plus »
John Wheeler
John Archibald Wheeler, né le à Jacksonville en Floride et mort le à Hightstown au New JerseyPierre Barthélémy, « Nécrologie », Le Monde,, 20 et,. d'une pneumonie, est un physicien théoricien américain.
Nouveau!!: Déterminisme (calculabilité) et John Wheeler · Voir plus »
Jugement synthétique a priori
En philosophie, le jugement synthétique a priori (ou « jugement synthétique a priori ») est un type de proposition qui se distingue d'une proposition analytique et d'une proposition synthétique a posteriori.
Nouveau!!: Déterminisme (calculabilité) et Jugement synthétique a priori · Voir plus »
Konrad Lorenz
Konrad Lorenz, né le à Vienne et mort le dans cette même ville, est un biologiste et éthologue-zoologiste autrichien titulaire du prix Nobel de physiologie ou médecine en 1973.
Nouveau!!: Déterminisme (calculabilité) et Konrad Lorenz · 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!!: Déterminisme (calculabilité) et Kurt Gödel · Voir plus »
Loi de conservation
le théorème explique le lien fondamental entre la symétrie et les lois de conservation. En physique, une loi de conservation exprime qu'une propriété mesurable particulière d'un système physique reste constante au cours de l'évolution de ce système.
Nouveau!!: Déterminisme (calculabilité) et Loi de conservation · 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!!: Déterminisme (calculabilité) et Machine de Turing · Voir plus »
Mathématiques
Les mathématiques (ou la mathématique) sont un ensemble de connaissances abstraites résultant de raisonnements logiques appliqués à des objets divers tels que les ensembles mathématiques, les nombres, les formes, les structures, les transformations; ainsi qu'aux relations et opérations mathématiques qui existent entre ces objets.
Nouveau!!: Déterminisme (calculabilité) et Mathématiques · Voir plus »
Michael Turner (cosmologue)
Michael Stanley Turner, né le à Los Angeles, est un cosmologiste américain actuellement en poste à l'université de Chicago.
Nouveau!!: Déterminisme (calculabilité) et Michael Turner (cosmologue) · Voir plus »
Physique numérique (théorique)
En physique et en cosmologie, la physique numérique est une collection de points de vue théoriques basés sur l'hypothèse que l'univers est, fondamentalement, descriptible par l'information, et est donc calculable.
Nouveau!!: Déterminisme (calculabilité) et Physique numérique (théorique) · 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!!: Déterminisme (calculabilité) et Principe de Church-Turing-Deutsch · 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!!: Déterminisme (calculabilité) 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!!: Déterminisme (calculabilité) et Problème de la décision · Voir plus »
Pythagore
Pythagore (en grec ancien) est un maître de sagesse charismatique et philosophe présocratique qui serait né aux environs de 580 av. J.-C. à Samos, une île du sud-est de la mer Égée; on situe sa mort vers 495 av. J.-C., à l'âge de 85 ans.
Nouveau!!: Déterminisme (calculabilité) et Pythagore · 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!!: Déterminisme (calculabilité) et Récursivement énumérable · Voir plus »
Reproductibilité
La reproductibilité d'une expérience scientifique est une des conditions qui permettent d'inclure les observations réalisées durant cette expérience dans le processus d'amélioration perpétuelle des connaissances scientifiques.
Nouveau!!: Déterminisme (calculabilité) et Reproductibilité · Voir plus »
Seth Lloyd
Seth Lloyd, né le, est un professeur de génie mécanique au Massachusetts Institute of Technology et un spécialiste de mécanique quantique, connu pour avoir établi la limite de Lloyd, qui majore le nombre de bits d'information traités par l'univers depuis le Big Bang.
Nouveau!!: Déterminisme (calculabilité) et Seth Lloyd · Voir plus »
Stephen Wolfram
Stephen Wolfram (né le 29 août 1959) est un informaticien, physicien et homme d'affaires britannico-américain.
Nouveau!!: Déterminisme (calculabilité) et Stephen Wolfram · Voir plus »
Thèse de Church
La thèse de Church est une thèse concernant la définition de la notion de calculabilité.
Nouveau!!: Déterminisme (calculabilité) et Thèse de Church · 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!!: Déterminisme (calculabilité) 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!!: Déterminisme (calculabilité) et Théorie de la calculabilité · Voir plus »
Théorie des automates
En informatique théorique, l'objectif de la théorie des automates est de proposer des modèles de mécanismes mathématiques qui formalisent les méthodes de calcul.
Nouveau!!: Déterminisme (calculabilité) et Théorie des automates · 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!!: Déterminisme (calculabilité) et Turing-complet · Voir plus »
