Accès plus rapide que le navigateur!
155 relations: Abraham Adolf Fraenkel, Addison-Wesley, Alan Turing, Alfred North Whitehead, Alfred Tarski, Algèbre de Boole (logique), Algèbre linéaire, Algorithmique, Alonzo Church, Anglicisme, Arbre (combinatoire), Arithmétique, Arithmétique du second ordre, Armand Colin, Assistant de preuve, Auguste De Morgan, Axiome, Axiomes de Peano, Éditions Aubier-Montaigne, Éditions Dunod, Bertrand Russell, Calcul des prédicats, Calcul des propositions, Calcul des séquents, Cambridge University Press, Charles Sanders Peirce, Cohérence (logique), Combinatoire, Complétude, Congrès international des mathématiciens, Conjecture de Kepler, Conjonction logique, Correction (logique), Correspondance de Curry-Howard, Crise des fondements, David Hilbert, Déduction logique, Déduction naturelle, Démonstration automatique de théorèmes, Démonstration formelle, Discipline (spécialité), Disjonction logique, Dov Gabbay, Dover Publications, Emil Post, Ensemble récursif, Ernst Schröder, Ernst Zermelo, Fonction (mathématiques), Fonction NON-ET, ..., Fonction NON-OU, Fonction OU exclusif, Fonction zêta de Riemann, Fondements des mathématiques, Forcing, Formule (mathématiques), Gauthier-Villars, Géométrie non commutative, George Boole, Gerhard Gentzen, Gilles Gaston Granger, Giuseppe Peano, Gottfried Wilhelm Leibniz, Gottlob Frege, Haskell Curry, Henry Maurice Sheffer, Hypothèse du continu, Idéographie, Implication (logique), Intégration (mathématiques), Interprétation (logique), Jean Largeault, Jean-Henri Lambert, Jean-Yves Girard, Kurt Gödel, Lambda-calcul, Langage mathématique, Leopold Löwenheim, Logique, Logique classique, Logique d'ordre supérieur, Logique de description, Logique et raisonnement mathématique, Logique infinitaire, Logique intuitionniste, Logique linéaire, Logique minimale, Logique non classique, Logique polyvalente, Mathématiques, Médaille Fields, Métathéorème, Métathéorie, Nombre premier, Notation (mathématiques), Paradoxe, Paradoxe du buveur, Paul Cohen, Payot (maison d'édition), Princeton University Press, Principe d'explosion, Principe d'identité des indiscernables, Principe du tiers exclu, Principia Mathematica, Problèmes de Hilbert, Programme de Hilbert, Quantification (logique), Règle d'inférence, Récursivement énumérable, Réseau de Feistel, Relation d'équivalence, Routledge, Sémantique, Sémantique dénotationnelle, Signature (logique), Springer Science+Business Media, Stephen Cole Kleene, Stewart Shapiro, Structure (logique mathématique), Structure (mathématiques), Structure algébrique, Style de Fitch pour la déduction naturelle, Suite, Syllogisme, Syntaxe, Système axiomatique, Système à la Hilbert, Système expert, Système formel, Table de vérité, Théorème de complétude de Gödel, Théorème de Feit-Thompson, Théorème de Löwenheim-Skolem, Théorème des quatre couleurs, Théorèmes d'incomplétude de Gödel, Théorie axiomatique, Théorie de la calculabilité, Théorie de la complexité (informatique théorique), Théorie de la démonstration, Théorie de la mesure, Théorie de Ramsey, Théorie des catégories, Théorie des ensembles, Théorie des graphes, Théorie des groupes, Théorie des modèles, Théorie des types homotopiques, Théorie descriptive des ensembles, Thoralf Skolem, Topologie algébrique, Unification, Valeur de vérité, Variable libre, Wang Hao (logicien), 1900. Développer l'indice (105 plus) »
Abraham Adolf Fraenkel
Abraham Adolf Halevi Fraenkel, né le à Munich et mort le à Jérusalem, plus connu sous le nom de Abraham Adolf Fraenkel, ou plus simplement Abraham Fraenkel, est un mathématicien d'abord allemand puis israélien.
Nouveau!!: Logique mathématique et Abraham Adolf Fraenkel · Voir plus »
Addison-Wesley
Logo d'Addison-Wesley Addison-Wesley est une maison d'édition américaine spécialisée dans les manuels scolaires et la littérature informatique.
Nouveau!!: Logique mathématique et Addison-Wesley · Voir plus »
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!!: Logique mathématique et Alan Turing · Voir plus »
Alfred North Whitehead
Alfred North Whitehead, né le à Ramsgate (dans le Kent, en Angleterre) et mort le à Cambridge (Massachusetts), est un philosophe, logicien et mathématicien britannique.
Nouveau!!: Logique mathématique et Alfred North Whitehead · Voir plus »
Alfred Tarski
Alfred Tarski, né Alfred Teitelbaum le à Varsovie et mort le à Berkeley en Californie, est un logicien et un philosophe polonais, un des maîtres de l'école polonaise de logique et l'un des mathématiciens logiciens les plus éminents du, fondateur de la théorie des modèles et de la sémantique formelle.
Nouveau!!: Logique mathématique et Alfred Tarski · Voir plus »
Algèbre de Boole (logique)
Lalgèbre de Boole, ou calcul booléen, est la partie des mathématiques qui s'intéresse à une approche algébrique de la logique, vue en termes de variables, d'opérateurs et de fonctions sur les variables logiques, ce qui permet d'utiliser des techniques algébriques pour traiter les expressions à deux valeurs du calcul des propositions.
Nouveau!!: Logique mathématique et Algèbre de Boole (logique) · Voir plus »
Algèbre linéaire
L’algèbre linéaire est la branche des mathématiques qui s'intéresse aux espaces vectoriels et aux transformations linéaires, formalisation générale des théories des systèmes d'équations linéaires.
Nouveau!!: Logique mathématique et Algèbre linéaire · Voir plus »
Algorithmique
Organigramme de programmation représentant l'algorithme d'Euclide. Lalgorithmique est l'étude et la production de règles et techniques qui sont impliquées dans la définition et la conception d'algorithmes, c'est-à-dire de processus systématiques de résolution d'un problème permettant de décrire précisément des étapes pour résoudre un problème algorithmique.
Nouveau!!: Logique mathématique et Algorithmique · 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!!: Logique mathématique et Alonzo Church · Voir plus »
Anglicisme
''people'', abréviation de ''famous people'', « célébrités », s'est répandu en 1997Jean Tournier, ''Les Mots anglais du français'', Belin, 1998, p. 542: « ''people'' ».. Un anglicisme est un emprunt fait à la langue anglaise par une autre langue.
Nouveau!!: Logique mathématique et Anglicisme · Voir plus »
Arbre (combinatoire)
Un arbre possède des propriétés structurelles, par exemple enraciné ou non, planaire ou non, étiqueté ou non.
Nouveau!!: Logique mathématique et Arbre (combinatoire) · Voir plus »
Arithmétique
L'arithmétique est la branche des mathématiques qui étudie les nombres entiers naturels (\N), relatifs (\Z) et rationnels (\Q), voire réels (\R), ainsi que leurs relations et propriétés, en lien avec quelques opérations élémentaires: addition (+), soustraction (−), multiplication (×), division (÷, /, ou), puissance et racine.
Nouveau!!: Logique mathématique et Arithmétique · Voir plus »
Arithmétique du second ordre
En logique mathématique, l'arithmétique du second ordre est une théorie des entiers naturels et des ensembles d'entiers naturels.
Nouveau!!: Logique mathématique et Arithmétique du second ordre · Voir plus »
Armand Colin
Armand Colin est une maison d'édition française créée en 1870 par Auguste Armand Colin et qui devient rapidement une référence dans le monde de l'enseignement jusqu'au début du, devenu un département des Éditions Dunod.
Nouveau!!: Logique mathématique et Armand Colin · Voir plus »
Assistant de preuve
En informatique (ou en mathématiques assistées par informatique), un assistant de preuve est un logiciel permettant la vérification de preuves mathématiques, soit sur des théorèmes au sens usuel des mathématiques, soit sur des assertions relatives à l'exécution de programmes informatiques.
Nouveau!!: Logique mathématique et Assistant de preuve · Voir plus »
Auguste De Morgan
Auguste (ou Augustus) De Morgan (à Madurai (Tamil Nadu) -) est un mathématicien et logicien britannique, né en Inde.
Nouveau!!: Logique mathématique et Auguste De Morgan · Voir plus »
Axiome
Un axiome (en grec ancien, « principe servant de base à une démonstration, principe évident en soi » – lui-même dérivé de, « juger convenable, croire juste ») est une proposition non démontrée, utilisée comme fondement d’un raisonnement ou d’une théorie mathématique.
Nouveau!!: Logique mathématique et Axiome · Voir plus »
Axiomes de Peano
Giuseppe Peano En mathématiques, les axiomes de Peano sont des axiomes pour l'arithmétique proposés initialement à la fin du par Giuseppe Peano, et qui connaissent aujourd'hui plusieurs présentations qui ne sont pas équivalentes, suivant la théorie sous-jacente, théorie des ensembles, logique du second ordre ou d'ordre supérieur, ou logique du premier ordre.
Nouveau!!: Logique mathématique et Axiomes de Peano · Voir plus »
Éditions Aubier-Montaigne
Les Éditions Aubier-Montaigne étaient une maison d'édition française fondée à Paris par le romancier et journaliste Fernand Aubier en 1924Voir la fiche historique consacré aux fonds Aubier-Montaigne de l', abbaye d'Ardenne.
Nouveau!!: Logique mathématique et Éditions Aubier-Montaigne · Voir plus »
Éditions Dunod
Dunod est une maison d'édition du groupe Hachette Livre, spécialisée dans les ouvrages de formation universitaire et professionnelle et regroupe les marques Dunod, Armand Colin, InterÉditions, Ediscience, ETSF.
Nouveau!!: Logique mathématique et Éditions Dunod · Voir plus »
Bertrand Russell
Bertrand Arthur William Russell,, né le à Trellech (Monmouthshire) et mort le près de Penrhyndeudraeth (pays de Galles), est un mathématicien, logicien, philosophe, épistémologue, homme politique et moraliste britannique.
Nouveau!!: Logique mathématique et Bertrand Russell · Voir plus »
Calcul des prédicats
En logique mathématique, le calcul des prédicats du premier ordre, logique du premier ordre, calcul des relations, logique quantificationnelle, ou tout simplement calcul des prédicats, est un système formel utilisé pour raisonner et décrire des énoncés en mathématiques, informatique, intelligence artificielle, philosophie et linguistique.
Nouveau!!: Logique mathématique et Calcul des prédicats · Voir plus »
Calcul des propositions
Le calcul des propositions ou calcul propositionnel, (ou encore logique des propositions) fait partie de la logique mathématique.
Nouveau!!: Logique mathématique et Calcul des propositions · Voir plus »
Calcul des séquents
En logique mathématique et plus précisément en théorie de la démonstration, le calcul des séquents est un système de déduction créé par Gerhard Gentzen.
Nouveau!!: Logique mathématique et Calcul des séquents · Voir plus »
Cambridge University Press
Cambridge University Press ou CUP (en français, Presses universitaires de Cambridge) est une maison d'édition universitaire britannique rattachée à l’université de Cambridge.
Nouveau!!: Logique mathématique et Cambridge University Press · Voir plus »
Charles Sanders Peirce
Charles Sanders Peirce, né le à Cambridge dans le Massachusetts et mort le à Milford en Pennsylvanie, est un sémiologue et philosophe américain.
Nouveau!!: Logique mathématique et Charles Sanders Peirce · 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!!: Logique mathématique et Cohérence (logique) · Voir plus »
Combinatoire
En mathématiques, la combinatoire, appelée aussi analyse combinatoire, étudie les configurations de collections finies d'objets ou les combinaisons d'ensembles finis, et les dénombrements.
Nouveau!!: Logique mathématique et Combinatoire · Voir plus »
Complétude
La notion de complétude est utilisée dans plusieurs domaines scientifiques.
Nouveau!!: Logique mathématique et Complétude · Voir plus »
Congrès international des mathématiciens
Un timbre commémoratif allemand du Congrès international des mathématiciens lors de l'édition 1998 à Berlin. Le Congrès international des mathématiciens (ICM, en anglais) est une manifestation organisée tous les quatre ans par l'Union mathématique internationale.
Nouveau!!: Logique mathématique et Congrès international des mathématiciens · Voir plus »
Conjecture de Kepler
Empilement compact de 35 sphères. La conjecture de Kepler est une ancienne conjecture (démontrée en 1998 et certifiée. en 2014) formulée par le physicien, astronome et mathématicien Johannes Kepler en 1611.
Nouveau!!: Logique mathématique et Conjecture de Kepler · Voir plus »
Conjonction logique
En logique, la conjonction est une opération mise en œuvre par le connecteur binaire et.
Nouveau!!: Logique mathématique et Conjonction logique · Voir plus »
Correction (logique)
En logique, la forme d'une argumentation déductive est correcte si et seulement si elle est valide et que toutes ses prémisses sont effectivement vraies.
Nouveau!!: Logique mathématique et Correction (logique) · Voir plus »
Correspondance de Curry-Howard
La correspondance de Curry-Howard, appelée également isomorphisme de Curry-de Bruijn-Howard, correspondance preuve/programme ou correspondance formule/type, est une série de résultats à la frontière entre la logique mathématique, l'informatique théorique et la théorie de la calculabilité.
Nouveau!!: Logique mathématique et Correspondance de Curry-Howard · Voir plus »
Crise des fondements
La crise des fondements des mathématiques, qui a marqué la discipline au tournant du, est l'aboutissement des tentatives d'asseoir la théorie des ensembles, et par là, l'arithmétique et les mathématiques, sur des bases non contradictoires.
Nouveau!!: Logique mathématique et Crise des fondements · Voir plus »
David Hilbert
David Hilbert, né en 1862 à Königsberg et mort en 1943 à Göttingen, est un mathématicien allemand.
Nouveau!!: Logique mathématique et David Hilbert · Voir plus »
Déduction logique
La déduction logique est un type de relation que l'on rencontre en logique mathématique.
Nouveau!!: Logique mathématique et Déduction logique · Voir plus »
Déduction naturelle
En logique mathématique, la déduction naturelle est un système formel où les règles de déduction des démonstrations sont proches des façons naturelles de raisonner.
Nouveau!!: Logique mathématique et Déduction naturelle · Voir plus »
Démonstration automatique de théorèmes
La démonstration automatique de théorèmes (DAT) est l'activité d'un logiciel qui démontre une proposition qu'on lui soumet, sans l'aide de l'utilisateur.
Nouveau!!: Logique mathématique et Démonstration automatique de théorèmes · Voir plus »
Démonstration formelle
Une démonstration formelle est une séquence finie de propositions (appelées formules bien formées dans le cas d'un langage formel) dont chacun est un axiome, une hypothèse, ou résulte des propositions précédentes dans la séquence par une règle d'inférence.
Nouveau!!: Logique mathématique et Démonstration formelle · Voir plus »
Discipline (spécialité)
Une discipline désigne une branche du savoir développée par une communauté de spécialistes adhérant aux mêmes pratiques de recherche.
Nouveau!!: Logique mathématique et Discipline (spécialité) · Voir plus »
Disjonction logique
La disjonction logique, ou disjonction non exclusive, de deux assertions est une façon d'affirmer qu'au moins une de ces deux assertions est vraie (la première, la deuxième, ou les deux).
Nouveau!!: Logique mathématique et Disjonction logique · Voir plus »
Dov Gabbay
Dov Gabbay, né le, est un philosophe britannique spécialiste de la logique.
Nouveau!!: Logique mathématique et Dov Gabbay · Voir plus »
Dover Publications
Dover Publications est une maison d'édition américaine fondée en 1941 par Hayward Cirker et sa femme, Blanche.
Nouveau!!: Logique mathématique et Dover Publications · 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!!: Logique mathématique et Emil Post · 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!!: Logique mathématique et Ensemble récursif · Voir plus »
Ernst Schröder
Ernst Schröder (1841-1902) est un mathématicien allemand.
Nouveau!!: Logique mathématique et Ernst Schröder · Voir plus »
Ernst Zermelo
Ernst Zermelo (à Berlin - à Fribourg-en-Brisgau, à l'état civil, Ernst Friedrich Ferdinand Zermelo) est un mathématicien allemand.
Nouveau!!: Logique mathématique et Ernst Zermelo · Voir plus »
Fonction (mathématiques)
Diagramme de calcul pour la fonction x \mapsto \frac2x-1x+3 En mathématiques, une fonction permet de définir un résultat (le plus souvent numérique) pour chaque valeur d’un ensemble appelé domaine.
Nouveau!!: Logique mathématique et Fonction (mathématiques) · Voir plus »
Fonction NON-ET
4 Portes NAND. La fonction ET-NON (en anglais) est un opérateur logique de l'algèbre de Boole.
Nouveau!!: Logique mathématique et Fonction NON-ET · Voir plus »
Fonction NON-OU
La fonction OU-NON (NOR en anglais) est un opérateur logique de l'algèbre de Boole.
Nouveau!!: Logique mathématique et Fonction NON-OU · Voir plus »
Fonction OU exclusif
La fonction OU exclusif, souvent appelée XOR (eXclusive OR) ou disjonction exclusive, ou somme binaire en cryptographie où il est noté +, ou encore ⊻ en algèbre relationnelle, est un opérateur logique de l'algèbre de Boole.
Nouveau!!: Logique mathématique et Fonction OU exclusif · Voir plus »
Fonction zêta de Riemann
2 (droite verticale) sont les zéros. Carte des couleurs utilisées dans la figure du dessus. En mathématiques, la fonction zêta de Riemann est une fonction analytique complexe qui est apparue essentiellement dans la théorie des nombres premiers.
Nouveau!!: Logique mathématique et Fonction zêta de Riemann · Voir plus »
Fondements des mathématiques
Les fondements des mathématiques sont les principes de la philosophie des mathématiques sur lesquels est établie cette science.
Nouveau!!: Logique mathématique et Fondements des mathématiques · Voir plus »
Forcing
En mathématiques, et plus précisément en logique mathématique, le forcing est une technique inventée par Paul Cohen pour prouver des résultats de cohérence et d'indépendance en théorie des ensembles.
Nouveau!!: Logique mathématique et Forcing · Voir plus »
Formule (mathématiques)
En logique et en mathématiques, une formule est une suite finie d'objets, dotée de propriétés particulières qui rendent possible la syntaxe dans tous ces domaines.
Nouveau!!: Logique mathématique et Formule (mathématiques) · Voir plus »
Gauthier-Villars
Gauthier-Villars est une maison d’édition française dont l’origine remonte à 1790, et qui a joué un rôle important dans l’édition scientifique et le développement de la science au et pendant la première moitié du.
Nouveau!!: Logique mathématique et Gauthier-Villars · Voir plus »
Géométrie non commutative
La géométrie non commutative, développée par Alain Connes, est une branche des mathématiques, et plus précisément un type de géométrie algébrique distincte de la géométrie algébrique telle qu'on l'entend habituellement (celle développée par Alexandre Grothendieck), car s'intéressant à des objets définis à partir de structures algébriques non commutatives.
Nouveau!!: Logique mathématique et Géométrie non commutative · Voir plus »
George Boole
George Boole, né le à Lincoln (Royaume-Uni) et mort le à Ballintemple (Irlande), est un logicien, mathématicien et philosophe britannique.
Nouveau!!: Logique mathématique et George Boole · Voir plus »
Gerhard Gentzen
Gerhard Gentzen (à Greifswald - à Prague) est un mathématicien et logicien allemand, dont l'œuvre est fondamentale en théorie de la démonstration.
Nouveau!!: Logique mathématique et Gerhard Gentzen · Voir plus »
Gilles Gaston Granger
Gilles Gaston Granger, né le à Paris et mort le, est un épistémologue et philosophe rationaliste français spécialiste d'épistémologie comparative.
Nouveau!!: Logique mathématique et Gilles Gaston Granger · Voir plus »
Giuseppe Peano
Giuseppe Peano (Spinetta di Cuneo (Coni), - Cavoretto, près de Turin) est un mathématicien et linguiste italien. Pionnier de l’approche formaliste des mathématiques, il développa, parallèlement à l’Allemand Richard Dedekind, une axiomatisation de l'arithmétique (1889). Il est par ailleurs l’inventeur d'une langue auxiliaire internationale, le Latino sine flexione (LsF) (le latin sans déclinaisons) en 1903. Il fut membre du comité qui créa la délégation pour l'adoption d'une langue auxiliaire internationale.
Nouveau!!: Logique mathématique et Giuseppe Peano · Voir plus »
Gottfried Wilhelm Leibniz
Gottfried Wilhelm Leibniz (Prononciation en allemand standard retranscrite phonémiquement selon la norme API.), parfois francisé en Godefroid-Guillaume Leibniz, né à Leipzig le et mort à Hanovre le, est un philosophe, scientifique, mathématicien, logicien, diplomate, juriste, historien, bibliothécaire et philologue allemand.
Nouveau!!: Logique mathématique et Gottfried Wilhelm Leibniz · Voir plus »
Gottlob Frege
Gottlob Frege, de son nom complet Friedrich Ludwig Gottlob Frege, né le à Wismar et mort le à Bad Kleinen, est un mathématicien, logicien et philosophe allemand, créateur de la logique moderne et plus précisément du calcul propositionnel moderne: le calcul des prédicats.
Nouveau!!: Logique mathématique et Gottlob Frege · Voir plus »
Haskell Curry
Haskell Brooks Curry (né le et mort le) est un logicien et mathématicien américain.
Nouveau!!: Logique mathématique et Haskell Curry · Voir plus »
Henry Maurice Sheffer
Henry Maurice Sheffer (septembre 1882 - 1964) est un logicien américain.
Nouveau!!: Logique mathématique et Henry Maurice Sheffer · Voir plus »
Hypothèse du continu
En théorie des ensembles, l'hypothèse du continu (HC), due à Georg Cantor, affirme qu'il n'existe aucun ensemble dont le cardinal est strictement compris entre le cardinal de l'ensemble des entiers naturels et celui de l'ensemble des nombres réels.
Nouveau!!: Logique mathématique et Hypothèse du continu · Voir plus »
Idéographie
Begriffschrift'' (''Idéographie''). L'idéographie est un langage entièrement formalisé inventé par le logicien Gottlob Frege et qui a pour but de représenter de manière parfaite la logique mathématique.
Nouveau!!: Logique mathématique et Idéographie · Voir plus »
Implication (logique)
En logique mathématique, l'implication est l'un des connecteurs binaires du langage du calcul des propositions, généralement représenté par le symbole « ⇒ » et se lisant « … implique … », « … seulement si … » ou, de façon équivalente, « si …, alors … » comme dans la phrase « s'il pleut, alors il y a des nuages ».
Nouveau!!: Logique mathématique et Implication (logique) · Voir plus »
Intégration (mathématiques)
En mathématiques, l'intégration ou calcul intégral est l'une des deux branches du calcul infinitésimal, l'autre étant le calcul différentiel.
Nouveau!!: Logique mathématique et Intégration (mathématiques) · Voir plus »
Interprétation (logique)
En logique, une interprétation est une attribution de sens aux symboles d'un langage formel.
Nouveau!!: Logique mathématique et Interprétation (logique) · Voir plus »
Jean Largeault
Jean Largeault (né le au Mans et mort le à Créteil) est un philosophe français, spécialiste de logique et de philosophie des mathématiques, et défenseur de la logique intuitionniste.
Nouveau!!: Logique mathématique et Jean Largeault · Voir plus »
Jean-Henri Lambert
Jean-Henri Lambert (Johann Heinrich Lambert en allemand et en anglais) (1728-1777) est un mathématicien et philosophe.
Nouveau!!: Logique mathématique et Jean-Henri Lambert · Voir plus »
Jean-Yves Girard
Jean-Yves Girard, né en 1947 à Lyon, est un logicien et mathématicien contemporain, directeur de recherche au CNRS (émérite) au département de logique de la programmation de l'institut de mathématiques de Luminy (devenu l'Institut de Mathématiques de Marseille depuis le). Il a reçu la médaille d'argent du CNRS en 1983.
Nouveau!!: Logique mathématique et Jean-Yves Girard · 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!!: Logique mathématique 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!!: Logique mathématique et Lambda-calcul · Voir plus »
Langage mathématique
Le langage des mathématiques est une expression couramment employée par les mathématiciens pour désigner l'ensemble des termes propres aux mathématiques.
Nouveau!!: Logique mathématique et Langage mathématique · Voir plus »
Leopold Löwenheim
Leopold Löwenheim, né le à Krefeld, en province de Rhénanie et mort le à Berlin, est un mathématicien allemand, connu pour ses travaux en logique mathématique.
Nouveau!!: Logique mathématique et Leopold Löwenheim · Voir plus »
Logique
La logique — du grec logikê, qui est un terme dérivé de lógos signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte.
Nouveau!!: Logique mathématique et Logique · Voir plus »
Logique classique
La logique classique est la première formalisation du langage et du raisonnement mathématique développée à partir de la fin du en logique mathématique.
Nouveau!!: Logique mathématique et Logique classique · Voir plus »
Logique d'ordre supérieur
Les logiques d'ordre supérieur (en anglais, higher-order logic ou HOL) sont des logiques formelles permettant d'utiliser des variables qui réfèrent à des fonctions ou à des prédicats.
Nouveau!!: Logique mathématique et Logique d'ordre supérieur · Voir plus »
Logique de description
Les logiques de description aussi appelées logiques descriptives (LD) sont une famille de langages de représentation de connaissance qui peuvent être utilisés pour représenter la connaissance terminologique d'un domaine d'application d'une manière formelle et structurée.
Nouveau!!: Logique mathématique et Logique de description · Voir plus »
Logique et raisonnement mathématique
La logique est le fondement du raisonnement mathématique.
Nouveau!!: Logique mathématique et Logique et raisonnement mathématique · Voir plus »
Logique infinitaire
Une logique infinitaire est une logique qui permet des formules infiniment longues ou des démonstrations infiniment longues.
Nouveau!!: Logique mathématique et Logique infinitaire · Voir plus »
Logique intuitionniste
La logique intuitionniste est une logique qui diffère de la logique classique par le fait que la notion de vérité est remplacée par la notion de preuve constructive.
Nouveau!!: Logique mathématique et Logique intuitionniste · Voir plus »
Logique linéaire
date.
Nouveau!!: Logique mathématique et Logique linéaire · Voir plus »
Logique minimale
En logique mathématique, la logique minimale est une logique qui diffère de la logique classique par le fait qu'elle n'inclut ni le tiers-exclu ni le principe d'explosion.
Nouveau!!: Logique mathématique et Logique minimale · Voir plus »
Logique non classique
En logique mathématique, les logiques non classiques sont des logiques formelles qui diffèrent de façon significative de la logique classique.
Nouveau!!: Logique mathématique et Logique non classique · Voir plus »
Logique polyvalente
Les logiques polyvalentes (ou multivalentes, ou multivaluées) sont des alternatives à la logique classique aristotélicienne, bivalente, dans laquelle toute proposition doit être soit vraie soit fausse.
Nouveau!!: Logique mathématique et Logique polyvalente · 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!!: Logique mathématique et Mathématiques · Voir plus »
Médaille Fields
La médaille Fields est la plus prestigieuse récompense en mathématiques avec le prix Abel.
Nouveau!!: Logique mathématique et Médaille Fields · Voir plus »
Métathéorème
En logique, un métathéorème est une propriété d'un système formel démontrée hors du système formel.
Nouveau!!: Logique mathématique et Métathéorème · Voir plus »
Métathéorie
Une métathéorie, ou méta-théorie, est une théorie dont l'objet est une théorie, comme cela est illustré par la citation de Stephen Hawking.
Nouveau!!: Logique mathématique et Métathéorie · Voir plus »
Nombre premier
Entiers naturels de zéro à cent. Les nombres premiers sont marqués en rouge. 7 est premier car il admet exactement deux diviseurs positifs distincts. Un nombre premier est un entier naturel qui admet exactement deux diviseurs distincts entiers et positifs.
Nouveau!!: Logique mathématique et Nombre premier · Voir plus »
Notation (mathématiques)
On utilise en mathématiques un ensemble de notations pour condenser et formaliser les énoncés et les démonstrations.
Nouveau!!: Logique mathématique et Notation (mathématiques) · Voir plus »
Paradoxe
M. Escher sont des représentations graphiques paradoxales. Un paradoxe, d'après l'étymologie (grec ancien, « contraire à l'opinion commune », de, « contre », et, « opinion »), est une idée ou une proposition à première vue surprenante ou choquante, c'est-à-dire allant contre le sens commun.
Nouveau!!: Logique mathématique et Paradoxe · Voir plus »
Paradoxe du buveur
Le paradoxe du buveur (aussi connu comme le théorème du buveur, le principe du buveur) est un théorème de logique mathématique (prédicat) qui peut être énoncé ainsi: Il a été popularisé par le mathématicien logicien Raymond Smullyan, qui l'a appelé le dans son livre de 1978.
Nouveau!!: Logique mathématique et Paradoxe du buveur · Voir plus »
Paul Cohen
Paul Joseph Cohen (1934 - 2007) est un mathématicien américain.
Nouveau!!: Logique mathématique et Paul Cohen · Voir plus »
Payot (maison d'édition)
La société Payot est une maison d'édition suisse fondée à Lausanne en 1875.
Nouveau!!: Logique mathématique et Payot (maison d'édition) · Voir plus »
Princeton University Press
La Princeton University Press est une maison d'édition indépendant liée de près à l'université de Princeton.
Nouveau!!: Logique mathématique et Princeton University Press · Voir plus »
Principe d'explosion
En logique mathématique, le principe d'explosion, énoncé en latin ou encore, ou le principe de Pseudo-Scotus, est une loi de logique classique, de logique intuitionniste et d'autres logiques, selon laquelle n'importe quel énoncé peut être déduit à partir d'une contradiction.
Nouveau!!: Logique mathématique et Principe d'explosion · Voir plus »
Principe d'identité des indiscernables
Le principe d'identité des indiscernables (ou principe des indiscernables) est un principe qui stipule que si deux particuliers possèdent les mêmes propriétés, alors ils sont identiques.
Nouveau!!: Logique mathématique et Principe d'identité des indiscernables · Voir plus »
Principe du tiers exclu
En logique formelle, le principe du tiers exclu (ou "principium medii exclusi" ou " tertium non datur", ou simplement le « tiers exclu ») énonce qu'ou bien une proposition est vraie, ou bien sa négation est vraie.
Nouveau!!: Logique mathématique et Principe du tiers exclu · Voir plus »
Principia Mathematica
Les sont une œuvre en trois volumes d'Alfred North Whitehead et Bertrand Russell, publiés en 1910-1913.
Nouveau!!: Logique mathématique et Principia Mathematica · Voir plus »
Problèmes de Hilbert
Lors du deuxième congrès international des mathématiciens, tenu à Paris en août 1900, David Hilbert entendait rivaliser avec le maître des mathématiques françaises, Henri PoincaréLors du premier congrès international des mathématiciens qui s'était tenu à Zurich en 1897, Henri Poincaré avait été la vedette avec sa conférence « Sur les rapports de l'analyse pure et de la physique mathématique ».
Nouveau!!: Logique mathématique et Problèmes de Hilbert · Voir plus »
Programme de Hilbert
Le programme de Hilbert est un programme créé par David Hilbert dans le but d'assurer les fondements des mathématiques.
Nouveau!!: Logique mathématique et Programme de Hilbert · Voir plus »
Quantification (logique)
236px En mathématiques, les expressions « pour tout » (ou « quel que soit ») et « il existe », utilisées pour formuler des propositions mathématiques dans le calcul des prédicats, sont appelées des quantifications.
Nouveau!!: Logique mathématique et Quantification (logique) · Voir plus »
Règle d'inférence
Dans un système logique, les régles d'inférence sont les règles qui fondent le processus de déduction, de dérivation ou de démonstration.
Nouveau!!: Logique mathématique et Règle d'inférence · 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!!: Logique mathématique et Récursivement énumérable · Voir plus »
Réseau de Feistel
Un réseau de Feistel est une construction utilisée dans les algorithmes de chiffrement par bloc, nommée d'après le cryptologue d'IBM, Horst Feistel.
Nouveau!!: Logique mathématique et Réseau de Feistel · Voir plus »
Relation d'équivalence
En mathématiques, une relation d'équivalence permet, dans un ensemble, de mettre en relation des éléments qui sont similaires par une certaine propriété.
Nouveau!!: Logique mathématique et Relation d'équivalence · Voir plus »
Routledge
Routledge est une maison d'édition britannique d'ouvrages universitaires fondée en 1851.
Nouveau!!: Logique mathématique et Routledge · Voir plus »
Sémantique
La sémantique est une branche de la linguistique qui étudie les signifiés, ce dont on parle, ce que l'on veut transmettre par un énoncé, soit l'ensemble des processus concourant à la construction d'un sens dans la communication (langagière particulièrement).
Nouveau!!: Logique mathématique et Sémantique · Voir plus »
Sémantique dénotationnelle
En informatique, la sémantique dénotationnelle est une des approches permettant de formaliser la signification d'un programme en utilisant les mathématiques.
Nouveau!!: Logique mathématique et Sémantique dénotationnelle · Voir plus »
Signature (logique)
En calcul des prédicats et en algèbre universelle, une signature est une liste de symboles de constante, de fonction ou de relation, chacun ayant une arité.
Nouveau!!: Logique mathématique et Signature (logique) · Voir plus »
Springer Science+Business Media
Springer Science+Business Media ou Springer (anc. Springer Verlag) est un groupe éditorial et de presse spécialisée d'origine allemande.
Nouveau!!: Logique mathématique et Springer Science+Business Media · 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!!: Logique mathématique et Stephen Cole Kleene · Voir plus »
Stewart Shapiro
Stewart Shapiro (né en 1951) est un professeur de philosophie à l'université de l'Ohio et professeur invité à l'université du Connecticut.
Nouveau!!: Logique mathématique et Stewart Shapiro · Voir plus »
Structure (logique mathématique)
En logique mathématique, plus précisément en théorie des modèles, une structure est un ensemble muni de fonctions et de relations définies sur cet ensemble.
Nouveau!!: Logique mathématique et Structure (logique mathématique) · Voir plus »
Structure (mathématiques)
En mathématiques, une structure est une théorie plus forte que la théorie des ensembles, c'est-à-dire une théorie qui en contient tous les axiomes, signes et règles.
Nouveau!!: Logique mathématique et Structure (mathématiques) · Voir plus »
Structure algébrique
En mathématiques, une structure algébrique est définie axiomatiquement par une ou plusieurs opérations sur un ensemble (dites internes), éventuellement muni d’autres opérations (externes) dépendant d’autres ensembles, toutes ces opérations satisfaisant certaines relations telles que l’associativité, la commutativité ou la distributivité.
Nouveau!!: Logique mathématique et Structure algébrique · Voir plus »
Style de Fitch pour la déduction naturelle
En logique mathématique, le style de Fitch pour la déduction naturelle, est une variante de la déduction naturelle.
Nouveau!!: Logique mathématique et Style de Fitch pour la déduction naturelle · Voir plus »
Suite
Suite est un nom commun qui peut désigner.
Nouveau!!: Logique mathématique et Suite · Voir plus »
Syllogisme
En logique, le syllogisme est un raisonnement logique mettant en relation au moins trois propositions: deux ou plus d'entre elles, appelées « prémisses », conduisent à une « conclusion ».
Nouveau!!: Logique mathématique et Syllogisme · Voir plus »
Syntaxe
La syntaxe est, à l'origine, la branche de la linguistique qui étudie la manière dont les mots se combinent pour former des phrases ou des énoncés dans une langue.
Nouveau!!: Logique mathématique et Syntaxe · Voir plus »
Système axiomatique
En mathématiques, un système axiomatique est un ensemble d'axiomes dont certains ou tous les axiomes peuvent être utilisés logiquement pour dériver des théorèmes.
Nouveau!!: Logique mathématique et Système axiomatique · Voir plus »
Système à la Hilbert
En logique, les systèmes à la Hilbert servent à définir les déductions formelles en suivant un modèle proposé par David Hilbert au début du: un grand nombre daxiomes logiques exprimant les principales propriétés de la logique que l'on combine au moyen de quelques règles, notamment la règle de modus ponens, pour dériver de nouveaux théorèmes.
Nouveau!!: Logique mathématique et Système à la Hilbert · Voir plus »
Système expert
Un système expert est un outil capable de reproduire les mécanismes cognitifs d'un expert, dans un domaine particulier.
Nouveau!!: Logique mathématique et Système expert · Voir plus »
Système formel
Un système formel est une modélisation mathématique d'un langage en général spécialisé.
Nouveau!!: Logique mathématique et Système formel · Voir plus »
Table de vérité
Une table de vérité (parfois appelée fonction de vérité) est une table mathématique utilisée en logique classique — en particulier le calcul propositionnel classique et l'algèbre de Boole — pour représenter de manière sémantique des expressions logiques et calculer la valeur de leur fonction relativement à chacun de leurs arguments fonctionnels (chaque combinaison de valeur assumée par leurs variables logiques).
Nouveau!!: Logique mathématique et Table de vérité · Voir plus »
Théorème de complétude de Gödel
En logique mathématique, le théorème de complétude du calcul des prédicats du premier ordre dresse une correspondance entre la sémantique et les démonstrations d'un système de déduction en logique du premier ordre.
Nouveau!!: Logique mathématique et Théorème de complétude de Gödel · 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!!: Logique mathématique et Théorème de Feit-Thompson · Voir plus »
Théorème de Löwenheim-Skolem
En théorie des modèles, le théorème de Löwenheim-Skolem, énoncé par Leopold Löwenheim en 1915 et démontré entièrement en 1920 par Thoralf Skolem, établit que si un ensemble de formules closes de la logique du premier ordre admet un modèle infini, alors il admet un modèle de n'importe quelle cardinalité infinie supérieure ou égale au cardinal du langage et de l'ensemble de formules.
Nouveau!!: Logique mathématique et Théorème de Löwenheim-Skolem · Voir plus »
Théorème des quatre couleurs
Le théorème des quatre couleurs indique qu'il est possible, en n'utilisant que quatre couleurs différentes, de colorier n'importe quelle carte découpée en régions connexes, de sorte que deux régions adjacentes (ou limitrophes), c'est-à-dire ayant toute une frontière (et non simplement un point) en commun reçoivent toujours deux couleurs distinctes.
Nouveau!!: Logique mathématique et Théorème des quatre couleurs · 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!!: Logique mathématique et Théorèmes d'incomplétude de Gödel · Voir plus »
Théorie axiomatique
Quand on parle de théorie mathématique, on fait référence à une somme d'énoncés, de définitions, de méthodes de preuve, etc.
Nouveau!!: Logique mathématique et Théorie axiomatique · 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!!: Logique mathématique 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!!: Logique mathématique et Théorie de la complexité (informatique théorique) · Voir plus »
Théorie de la démonstration
La théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais), est une branche de la logique mathématique.
Nouveau!!: Logique mathématique et Théorie de la démonstration · Voir plus »
Théorie de la mesure
La théorie de la mesure est la branche des mathématiques qui traite des espaces mesurés et est le fondement axiomatique de la théorie des probabilités.
Nouveau!!: Logique mathématique et Théorie de la mesure · Voir plus »
Théorie de Ramsey
En mathématiques, et plus particulièrement en combinatoire, la théorie de Ramsey, nommée d'après Frank Ramsey, tente typiquement de répondre à des questions de la forme: « combien d'éléments d'une certaine structure doivent être considérés pour qu'une propriété particulière se vérifie ? ».
Nouveau!!: Logique mathématique et Théorie de Ramsey · Voir plus »
Théorie des catégories
La théorie des catégories est l'étude des structures mathématiques et de leurs relations.
Nouveau!!: Logique mathématique et Théorie des catégories · 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!!: Logique mathématique et Théorie des ensembles · Voir plus »
Théorie des graphes
tracé de graphe. La théorie des graphes est la discipline mathématique et informatique qui étudie les graphes, lesquels sont des modèles abstraits de dessins de réseaux reliant des objets.
Nouveau!!: Logique mathématique et Théorie des graphes · Voir plus »
Théorie des groupes
groupes de permutations. Voir groupe du Rubik's Cube. La théorie des groupes est en mathématique, plus précisément en algèbre générale, la discipline qui étudie les structures algébriques appelées groupes.
Nouveau!!: Logique mathématique et Théorie des groupes · Voir plus »
Théorie des modèles
La théorie des modèles est une branche de la logique mathématique qui traite de la construction et de la classification des structures.
Nouveau!!: Logique mathématique et Théorie des modèles · Voir plus »
Théorie des types homotopiques
Couverture de la ''Théorie des types homotopiques: Fondations univalentes des mathématiques''. Dans la logique mathématique et de l’informatique, la théorie des types homotopiques (en anglais: Homotopy Type Theory HoTT) fait référence à différentes lignes de développement de la théorie des types intuitionnistes, basée sur l’interprétation des types comme des objets auxquels l’intuition de la théorie de l’homotopie s’applique.
Nouveau!!: Logique mathématique et Théorie des types homotopiques · Voir plus »
Théorie descriptive des ensembles
La théorie descriptive des ensembles est une branche des mathématiques s'intéressant aux ensembles « définissables ».
Nouveau!!: Logique mathématique et Théorie descriptive des ensembles · Voir plus »
Thoralf Skolem
Thoralf Albert Skolem (1887-1963) est un mathématicien et logicien norvégien.
Nouveau!!: Logique mathématique et Thoralf Skolem · Voir plus »
Topologie algébrique
La topologie algébrique, anciennement appelée topologie combinatoire, est la branche des mathématiques appliquant les outils de l'algèbre dans l'étude des espaces topologiques.
Nouveau!!: Logique mathématique et Topologie algébrique · Voir plus »
Unification
Unifier deux termes, c'est les rendre identiques en remplaçant les variables. En informatique et en logique, l'unification est un processus algorithmique qui, étant donnés deux termes, trouve une substitution qui appliquée aux deux termes les rend identiques.
Nouveau!!: Logique mathématique et Unification · Voir plus »
Valeur de vérité
Une valeur de vérité est une valeur attribuée à chaque proposition logique.
Nouveau!!: Logique mathématique et Valeur de vérité · Voir plus »
Variable libre
En mathématiques, et dans d'autres disciplines comprenant des langages formels dont la logique mathématique, une variable libre est une notation qui spécifie à quelles places dans une expression une substitution peut avoir lieu.
Nouveau!!: Logique mathématique et Variable libre · Voir plus »
Wang Hao (logicien)
Wang Hao (ou à Jinan (Chine) - à New York) est un logicien, philosophe et mathématicien sino-américain.
Nouveau!!: Logique mathématique et Wang Hao (logicien) · Voir plus »
1900
L'année 1900 est une année séculaire et une année commune qui commence un lundi.
Nouveau!!: Logique mathématique et 1900 · Voir plus »
Redirections ici:
Logique (mathématiques), Logique symbolique, Logiques mathématiques, Métamathématique, Rigueur mathématique.
