About DBpedia Fr

About: http://fr.dbpedia.org/resource/Logique_mathématique

An Entity of Type : Thing, from Named Graph : http://fr.dbpedia.org, within Data Space : fr.dbpedia.org

La logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du XIXe siècle, qui s'est donné comme objet l'étude des mathématiques en tant que langage. Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité.

thumbnail
Property Value
dbo:abstract
  • La logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du XIXe siècle, qui s'est donné comme objet l'étude des mathématiques en tant que langage. Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité. (fr)
  • La logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du XIXe siècle, qui s'est donné comme objet l'étude des mathématiques en tant que langage. Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité. (fr)
dbo:isPartOf
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 74348 (xsd:integer)
dbo:wikiPageLength
  • 44727 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 190968236 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 1951 (xsd:integer)
  • 1952 (xsd:integer)
  • 1956 (xsd:integer)
  • 1964 (xsd:integer)
  • 1965 (xsd:integer)
  • 1967 (xsd:integer)
  • 1971 (xsd:integer)
  • 1972 (xsd:integer)
  • 1974 (xsd:integer)
  • 1975 (xsd:integer)
  • 1977 (xsd:integer)
  • 1979 (xsd:integer)
  • 1981 (xsd:integer)
  • 1983 (xsd:integer)
  • 1987 (xsd:integer)
  • 1989 (xsd:integer)
  • 1990 (xsd:integer)
  • 1992 (xsd:integer)
  • 1997 (xsd:integer)
  • 2001 (xsd:integer)
  • 2002 (xsd:integer)
  • 2003 (xsd:integer)
  • 2004 (xsd:integer)
  • 2005 (xsd:integer)
  • depuis 2001 (fr)
prop-fr:annéePremièreÉdition
  • 1944 (xsd:integer)
  • 1963 (xsd:integer)
  • 1964 (xsd:integer)
  • 1967 (xsd:integer)
  • 1970 (xsd:integer)
  • 1993 (xsd:integer)
  • 1994 (xsd:integer)
prop-fr:collection
  • Companions to Philosophy (fr)
  • Companions to Philosophy (fr)
prop-fr:directeur
  • oui (fr)
  • oui (fr)
prop-fr:fr
  • Théorie homotopique des types (fr)
  • Théorie homotopique des types (fr)
prop-fr:groupe
  • alpha (fr)
  • alpha (fr)
prop-fr:isbn
  • 0 (xsd:integer)
  • 2 (xsd:integer)
  • 978 (xsd:integer)
prop-fr:isbnOriginal
  • 486425339 (xsd:integer)
prop-fr:langue
  • en (fr)
  • fr (fr)
  • en (fr)
  • fr (fr)
prop-fr:langueOriginale
  • en (fr)
  • en (fr)
prop-fr:lienAuteur
  • Alfred Tarski (fr)
  • Martin Davis (fr)
  • René Cori (fr)
  • Alonzo Church (fr)
  • Jean Largeault (fr)
  • Jean van Heijenoort (fr)
  • Hilary Putnam (fr)
  • Willard Van Orman Quine (fr)
  • Paul Benacerraf (fr)
  • Philippe de Rouilhan (fr)
  • Roland Fraïssé (fr)
  • Alfred Tarski (fr)
  • Martin Davis (fr)
  • René Cori (fr)
  • Alonzo Church (fr)
  • Jean Largeault (fr)
  • Jean van Heijenoort (fr)
  • Hilary Putnam (fr)
  • Willard Van Orman Quine (fr)
  • Paul Benacerraf (fr)
  • Philippe de Rouilhan (fr)
  • Roland Fraïssé (fr)
prop-fr:lieu
  • Londres (fr)
  • Paris (fr)
  • Princeton (fr)
  • New-York (fr)
  • Berlin Heidelberg (fr)
  • Londres (fr)
  • Paris (fr)
  • Princeton (fr)
  • New-York (fr)
  • Berlin Heidelberg (fr)
prop-fr:lireEnLigne
prop-fr:nom
  • dbpedia-fr:Jean-Yves_Girard
  • dbpedia-fr:Stewart_Shapiro
  • Davis (fr)
  • David (fr)
  • Taylor (fr)
  • Putnam (fr)
  • Lafont (fr)
  • Church (fr)
  • Cori (fr)
  • Lascar (fr)
  • Schoenfield (fr)
  • Quine (fr)
  • de Rougemont (fr)
  • Nour (fr)
  • Barwise (fr)
  • Lassaigne (fr)
  • Tarski (fr)
  • Largeault (fr)
  • van Heijenoort (fr)
  • Benacerraf (fr)
  • Fraïssé (fr)
  • Jacquette (fr)
  • Lalement (fr)
  • Raffalli (fr)
  • Rivenc (fr)
  • de Rouilhan (fr)
prop-fr:pagesTotales
  • 248 (xsd:integer)
  • 281 (xsd:integer)
  • 352 (xsd:integer)
  • 378 (xsd:integer)
  • 412 (xsd:integer)
  • 774 (xsd:integer)
  • 832 (xsd:integer)
prop-fr:prénom
  • Jean (fr)
  • Paul (fr)
  • Christophe (fr)
  • Daniel (fr)
  • François (fr)
  • Jon (fr)
  • Karim (fr)
  • Michel (fr)
  • Philippe (fr)
  • Richard (fr)
  • Roland (fr)
  • Alfred (fr)
  • Hilary (fr)
  • Martin (fr)
  • René (fr)
  • Yves (fr)
  • Dale (fr)
  • J. R. (fr)
  • Alonzo (fr)
  • Willard Van Orman (fr)
  • Jean (fr)
  • Paul (fr)
  • Christophe (fr)
  • Daniel (fr)
  • François (fr)
  • Jon (fr)
  • Karim (fr)
  • Michel (fr)
  • Philippe (fr)
  • Richard (fr)
  • Roland (fr)
  • Alfred (fr)
  • Hilary (fr)
  • Martin (fr)
  • René (fr)
  • Yves (fr)
  • Dale (fr)
  • J. R. (fr)
  • Alonzo (fr)
  • Willard Van Orman (fr)
prop-fr:présentationEnLigne
prop-fr:sousTitre
  • Textes (fr)
  • Sélection de textes par Gilles Gaston Granger et al. (fr)
  • Selected Readings (fr)
  • Textes (fr)
  • Sélection de textes par Gilles Gaston Granger et al. (fr)
  • Selected Readings (fr)
prop-fr:texte
  • théorie homotopique des types (fr)
  • théorie homotopique des types (fr)
prop-fr:titre
  • Logique mathématique (fr)
  • Philosophie de la logique (fr)
  • Introduction to Metamathematics (fr)
  • Mathematical Logic (fr)
  • Proofs and types (fr)
  • Handbook of Philosophical Logic (fr)
  • Logique et fondements de l'informatique (fr)
  • From Frege To Gödel: A Source Book in Mathematical Logic, 1879-1931 (fr)
  • The Oxford Handbook of Philosophy of Mathematics and Logic (fr)
  • The Undecidable : Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions (fr)
  • Introduction à la logique. Théorie de la démonstration. Cours et exercices corrigés (fr)
  • A Companion to Philosophical Logic (fr)
  • Cours de logique mathématique (fr)
  • Foundations of Mathematical Logic (fr)
  • From Mathematics to Philosophy (fr)
  • Handbook of mathematical Logic (fr)
  • Introduction to mathematical logic (fr)
  • Logic and Structure (fr)
  • Logique Mathématique (fr)
  • Logique mathématique, tomes 1 et 2 (fr)
  • Logique, réduction, résolution (fr)
  • Outlines of a formalist philosophy of mathematics (fr)
  • Philosophy of Mathematics (fr)
  • Popular Lectures on Mathematical Logic (fr)
  • Logique et fondements des mathématiques . Anthologie (fr)
  • Logique, sémantique, métamathématique, 1923-1944 (fr)
  • Logique mathématique (fr)
  • Philosophie de la logique (fr)
  • Introduction to Metamathematics (fr)
  • Mathematical Logic (fr)
  • Proofs and types (fr)
  • Handbook of Philosophical Logic (fr)
  • Logique et fondements de l'informatique (fr)
  • From Frege To Gödel: A Source Book in Mathematical Logic, 1879-1931 (fr)
  • The Oxford Handbook of Philosophy of Mathematics and Logic (fr)
  • The Undecidable : Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions (fr)
  • Introduction à la logique. Théorie de la démonstration. Cours et exercices corrigés (fr)
  • A Companion to Philosophical Logic (fr)
  • Cours de logique mathématique (fr)
  • Foundations of Mathematical Logic (fr)
  • From Mathematics to Philosophy (fr)
  • Handbook of mathematical Logic (fr)
  • Introduction to mathematical logic (fr)
  • Logic and Structure (fr)
  • Logique Mathématique (fr)
  • Logique mathématique, tomes 1 et 2 (fr)
  • Logique, réduction, résolution (fr)
  • Outlines of a formalist philosophy of mathematics (fr)
  • Philosophy of Mathematics (fr)
  • Popular Lectures on Mathematical Logic (fr)
  • Logique et fondements des mathématiques . Anthologie (fr)
  • Logique, sémantique, métamathématique, 1923-1944 (fr)
prop-fr:titreOriginal
  • Mathematical Logic (fr)
  • Philosophy of Logic (fr)
  • Mathematical Logic (fr)
  • Philosophy of Logic (fr)
prop-fr:trad
  • Homotopy Type Theory (fr)
  • Homotopy Type Theory (fr)
prop-fr:traducteur
prop-fr:volume
  • 1 (xsd:integer)
prop-fr:wikiPageUsesTemplate
prop-fr:éditeur
prop-fr:éditeurOriginal
  • Englewood Cliffs N.J.: Prentice-Hall (fr)
  • Englewood Cliffs N.J.: Prentice-Hall (fr)
dct:subject
rdfs:comment
  • La logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du XIXe siècle, qui s'est donné comme objet l'étude des mathématiques en tant que langage. Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité. (fr)
  • La logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du XIXe siècle, qui s'est donné comme objet l'étude des mathématiques en tant que langage. Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité. (fr)
rdfs:label
  • Logique mathématique (fr)
  • Logic toán (vi)
  • Logica matematica (it)
  • Logika matematiko (eu)
  • Lògica matemàtica (ca)
  • Mathematische Logik (als)
  • Wiskundige logica (nl)
  • Wiskundige logika (af)
  • Математична логіка (uk)
  • منطق رياضي (ar)
  • 数理論理学 (ja)
  • Logique mathématique (fr)
  • Logic toán (vi)
  • Logica matematica (it)
  • Logika matematiko (eu)
  • Lògica matemàtica (ca)
  • Mathematische Logik (als)
  • Wiskundige logica (nl)
  • Wiskundige logika (af)
  • Математична логіка (uk)
  • منطق رياضي (ar)
  • 数理論理学 (ja)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:discipline of
is dbo:domain of
is dbo:genre of
is dbo:isPartOf of
is dbo:mainArticleForCategory of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is prop-fr:activité of
is prop-fr:champs of
is prop-fr:discipline of
is prop-fr:domaines of
is prop-fr:titre of
is oa:hasTarget of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License