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
| |
dbo:wikiPageLength
|
- 44727 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
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
| |
prop-fr:fr
|
- Théorie homotopique des types (fr)
- Théorie homotopique des types (fr)
|
prop-fr:groupe
| |
prop-fr:isbn
|
- 0 (xsd:integer)
- 2 (xsd:integer)
- 978 (xsd:integer)
|
prop-fr:isbnOriginal
| |
prop-fr:langue
|
- en (fr)
- fr (fr)
- en (fr)
- fr (fr)
|
prop-fr:langueOriginale
| |
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
| |
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 | |