| Property |
Value |
| dbo:abstract
|
- En métalogique et en métamathématique, le théorème de Frege est un métathéorème qui affirme que les axiomes de l'arithmétique de Peano sont dérivables en logique du second ordre à partir du principe de Hume. Il a d'abord été prouvé, de manière informelle, par Gottlob Frege dans son Die Grundlagen der Arithmetik (Les Fondements de l'arithmétique), publié en 1884, et prouvé plus formellement dans ses Grundgesetze der Arithmetik, publiées en deux volumes, en 1893 et 1903. Ce théorème a été redécouvert par Crispin Wright au début des années 1980, et a depuis fait l'objet de travaux importants. Il est au cœur de la philosophie des mathématiques connues sous le nom néo-logicisme. (fr)
- En métalogique et en métamathématique, le théorème de Frege est un métathéorème qui affirme que les axiomes de l'arithmétique de Peano sont dérivables en logique du second ordre à partir du principe de Hume. Il a d'abord été prouvé, de manière informelle, par Gottlob Frege dans son Die Grundlagen der Arithmetik (Les Fondements de l'arithmétique), publié en 1884, et prouvé plus formellement dans ses Grundgesetze der Arithmetik, publiées en deux volumes, en 1893 et 1903. Ce théorème a été redécouvert par Crispin Wright au début des années 1980, et a depuis fait l'objet de travaux importants. Il est au cœur de la philosophie des mathématiques connues sous le nom néo-logicisme. (fr)
|
| dbo:namedAfter
| |
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 2891 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1884 (xsd:integer)
- 1893 (xsd:integer)
- 1903 (xsd:integer)
- 2013 (xsd:integer)
|
| prop-fr:art
|
- Frege's theorem (fr)
- Frege's theorem (fr)
|
| prop-fr:auteur
| |
| prop-fr:id
| |
| prop-fr:lang
|
- de (fr)
- en (fr)
- de (fr)
- en (fr)
|
| prop-fr:lieu
| |
| prop-fr:sousTitre
|
- Eine logisch-mathematische Untersuchung über den Begriff der Zahl (fr)
- Eine logisch-mathematische Untersuchung über den Begriff der Zahl (fr)
|
| prop-fr:titre
|
- Die Grundlagen der Arithmetik (fr)
- Grundgesetze der Arithmetik (fr)
- Die Grundlagen der Arithmetik (fr)
- Grundgesetze der Arithmetik (fr)
|
| prop-fr:titreOuvrage
| |
| prop-fr:url
| |
| prop-fr:volume
|
- 1 (xsd:integer)
- 2 (xsd:integer)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
|
- Hermann Pohle (fr)
- Wilhelm Koebner (fr)
- Hermann Pohle (fr)
- Wilhelm Koebner (fr)
|
| dct:subject
| |
| rdfs:comment
|
- En métalogique et en métamathématique, le théorème de Frege est un métathéorème qui affirme que les axiomes de l'arithmétique de Peano sont dérivables en logique du second ordre à partir du principe de Hume. Il a d'abord été prouvé, de manière informelle, par Gottlob Frege dans son Die Grundlagen der Arithmetik (Les Fondements de l'arithmétique), publié en 1884, et prouvé plus formellement dans ses Grundgesetze der Arithmetik, publiées en deux volumes, en 1893 et 1903. Ce théorème a été redécouvert par Crispin Wright au début des années 1980, et a depuis fait l'objet de travaux importants. Il est au cœur de la philosophie des mathématiques connues sous le nom néo-logicisme. (fr)
- En métalogique et en métamathématique, le théorème de Frege est un métathéorème qui affirme que les axiomes de l'arithmétique de Peano sont dérivables en logique du second ordre à partir du principe de Hume. Il a d'abord été prouvé, de manière informelle, par Gottlob Frege dans son Die Grundlagen der Arithmetik (Les Fondements de l'arithmétique), publié en 1884, et prouvé plus formellement dans ses Grundgesetze der Arithmetik, publiées en deux volumes, en 1893 et 1903. Ce théorème a été redécouvert par Crispin Wright au début des années 1980, et a depuis fait l'objet de travaux importants. Il est au cœur de la philosophie des mathématiques connues sous le nom néo-logicisme. (fr)
|
| rdfs:label
|
- Frege's theorem (en)
- Freges Theorem (de)
- Teorema de Frege (es)
- Théorème de Frege (fr)
- フレーゲの定理 (ja)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
