28 relations: Allemagne, Cohérence (logique), Complétude (logique), Coq (logiciel), David Hilbert, Hayden White, Kurt Gödel, Langage de programmation, Langage naturel, Logique mathématique, Mathématicien, Mathématiques, Méta (préfixe), Méta-éthique, Métaconnaissance, Métahistoire, Métalogique, Paradoxe de Richard, Philosophie des sciences, Réflexion (informatique), Stanford Encyclopedia of Philosophy, Stephen Hawking, Système de preuve interactive, Théorème de Feit-Thompson, Théorèmes d'incomplétude de Gödel, Théorie, Théorie des ensembles, Une brève histoire du temps.
Allemagne
LAllemagne, officiellement la République fédérale d’Allemagne est un État d'Europe centrale, et selon certaines définitions d'Europe de l'Ouest, entouré par la mer du Nord, le Danemark et la mer Baltique au nord, par la Pologne à l'est-nord-est, par la Tchéquie à l'est-sud-est, par l'Autriche au sud-sud-est, par la Suisse au sud-sud-ouest, par la France au sud-ouest, par la Belgique et le Luxembourg à l'ouest, enfin par les Pays-Bas à l'ouest-nord-ouest.
Nouveau!!: Métathéorie et Allemagne · Voir plus »
Cohérence (logique)
En logique mathématique, la cohérence, ou consistance, d'une théorie axiomatique peut se définir de deux façons, soit par référence à la déduction: il n'est pas possible de tout démontrer à partir des axiomes de la théorie, soit par référence à la sémantique de la théorie: celle-ci possède des réalisations qui lui donnent un sens.
Nouveau!!: Métathéorie et Cohérence (logique) · Voir plus »
Complétude (logique)
En logique mathématique et métalogique, un système formel est dit complet par rapport à une propriété particulière si chaque formule possédant cette propriété peut être prouvée par une démonstration formelle à l'aide de ce système, c'est-à-dire par l'un de ses théorèmes; autrement, le système est dit incomplet.
Nouveau!!: Métathéorie et Complétude (logique) · 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!!: Métathéorie et Coq (logiciel) · Voir plus »
David Hilbert
David Hilbert, né en 1862 à Königsberg et mort en 1943 à Göttingen, est un mathématicien allemand.
Nouveau!!: Métathéorie et David Hilbert · Voir plus »
Hayden White
Hayden White (né le à Martin dans le Tennessee et mort le à Santa Cruz en Californie) est un historien américain de la critique littéraire, connu pour son œuvre Metahistory: The Historical Imagination in Nineteenth-Century Europe (1973).
Nouveau!!: Métathéorie et Hayden White · 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!!: Métathéorie et Kurt Gödel · Voir plus »
Langage de programmation
Fragment de code écrit dans le langage de programmation JavaScript. Un langage de programmation est un langage informatique destiné à formuler des algorithmes et produire des programmes informatiques qui les appliquent.
Nouveau!!: Métathéorie et Langage de programmation · Voir plus »
Langage naturel
Un langage naturel.
Nouveau!!: Métathéorie et Langage naturel · Voir plus »
Logique mathématique
La logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du, qui s'est donné comme objet l'étude des mathématiques en tant que langage.
Nouveau!!: Métathéorie et Logique mathématique · Voir plus »
Mathématicien
Carl Friedrich Gauss, aussi appelé « prince des mathématiciens ». Emmy Noether Un mathématicien ou une mathématicienne est au sens restreint un chercheur ou une chercheuse en mathématiques, par extension toute personne faisant des mathématiques la base de son activité principale.
Nouveau!!: Métathéorie et Mathématicien · 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!!: Métathéorie et Mathématiques · Voir plus »
Méta (préfixe)
Étymologie des préfixes (meta/profond). Méta est un préfixe qui provient du grec (meta) (après, au-delà de, avec).
Nouveau!!: Métathéorie et Méta (préfixe) · Voir plus »
Méta-éthique
La méta-éthique désigne la partie de la philosophie morale qui analyse les concepts fondamentaux de l'éthique, leurs présupposés épistémologiques et leur signification.
Nouveau!!: Métathéorie et Méta-éthique · Voir plus »
Métaconnaissance
Une métaconnaissance est une connaissance sur une ou des connaissances.
Nouveau!!: Métathéorie et Métaconnaissance · Voir plus »
Métahistoire
La métahistoire regroupe principalement deux types de sciences historiques: l'historiographie et l'étude du sens de l'histoire.
Nouveau!!: Métathéorie et Métahistoire · Voir plus »
Métalogique
La métalogique est l'étude de la métathéorie de la logique.
Nouveau!!: Métathéorie et Métalogique · Voir plus »
Paradoxe de Richard
Le paradoxe de Richard est le paradoxe suivant, qui apparaît lorsqu'une théorie des ensembles n'est pas suffisamment formalisée: Son auteur, le mathématicien français Jules Richard, professeur au lycée de Dijon, le décrivit dans une lettre au directeur de la Revue générale des Sciences Pures et Appliquées.
Nouveau!!: Métathéorie et Paradoxe de Richard · Voir plus »
Philosophie des sciences
La philosophie des sciences est la branche de la philosophie qui étudie les fondements philosophiques, les méthodes et les implications de la science, qu'il s'agisse de sciences naturelles ou de sciences sociales.
Nouveau!!: Métathéorie et Philosophie des sciences · Voir plus »
Réflexion (informatique)
En programmation informatique, la réflexion est la capacité d'un programme à examiner, et éventuellement à modifier, ses propres structures internes de haut niveau lors de son exécution.
Nouveau!!: Métathéorie et Réflexion (informatique) · Voir plus »
Stanford Encyclopedia of Philosophy
La Stanford Encyclopedia of Philosophy (SEP) est une encyclopédie de philosophie en ligne mise en place et gérée par l'université Stanford.
Nouveau!!: Métathéorie et Stanford Encyclopedia of Philosophy · Voir plus »
Stephen Hawking
Stephen William Hawking (prononcé), né le à Oxford et mort le à Cambridge, est un physicien théoricien et cosmologiste britannique.
Nouveau!!: Métathéorie et Stephen Hawking · Voir plus »
Système de preuve interactive
Un système de preuve interactive est composé de deux machines abstraites: un prouveur et un vérificateur qui s'échangent des messages. En théorie de la complexité des algorithmes, un système de preuve interactive est un protocole formel de démonstration de théorèmes qui fait intervenir deux participants qui échangent des messages.
Nouveau!!: Métathéorie et Système de preuve interactive · Voir plus »
Théorème de Feit-Thompson
En mathématiques, et plus précisément en théorie des groupes, le théorème de Feit-Thompson, également appelé théorème de Feit et Thompson.
Nouveau!!: Métathéorie et Théorème de Feit-Thompson · 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!!: Métathéorie et Théorèmes d'incomplétude de Gödel · Voir plus »
Théorie
Une théorie (du grec theoria, « contempler, observer, examiner ») est un ensemble cohérent, si elle prétend à la scientificité, d'explications, de notions ou d'idées sur un sujet précis, pouvant inclure des lois et des hypothèses, induites par l'accumulation de faits provenant de l'observation, l'expérimentation ou, dans le cas des mathématiques, déduites d'une base axiomatique donnée: théorie des matrices, des torseurs, des probabilités.
Nouveau!!: Métathéorie et Théorie · Voir plus »
Théorie des ensembles
La théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du.
Nouveau!!: Métathéorie et Théorie des ensembles · Voir plus »
Une brève histoire du temps
Une brève histoire du temps: Du big bang aux trous noirs est un ouvrage de vulgarisation scientifique qui traite de cosmologie, la science des lois qui gouvernent l’univers, écrit par l’astrophysicien britannique Stephen Hawking.
Nouveau!!: Métathéorie et Une brève histoire du temps · Voir plus »