| Property |
Value |
| dbo:abstract
|
- En logique mathématique, le System U et le System U - sont des systèmes de types purs, c'est-à-dire des formes spéciales d'un avec un nombre arbitraire de sortes, d'axiomes et de règles (ou de relations entre les sortes). Ils ont tous deux été prouvés incohérents par Jean-Yves Girard en 1972. Ce résultat conduit alors à ce que la théorie des types de Martin-Löf de 1971 est incohérente car elle permet le même comportement de «type dans le type» que le paradoxe de Girard exploite. (fr)
- En logique mathématique, le System U et le System U - sont des systèmes de types purs, c'est-à-dire des formes spéciales d'un avec un nombre arbitraire de sortes, d'axiomes et de règles (ou de relations entre les sortes). Ils ont tous deux été prouvés incohérents par Jean-Yves Girard en 1972. Ce résultat conduit alors à ce que la théorie des types de Martin-Löf de 1971 est incohérente car elle permet le même comportement de «type dans le type» que le paradoxe de Girard exploite. (fr)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 5357 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1986 (xsd:integer)
- 1992 (xsd:integer)
|
| prop-fr:lienAuteur
|
- Henk Barendregt (fr)
- Thierry Coquand (fr)
- Henk Barendregt (fr)
- Thierry Coquand (fr)
|
| prop-fr:nom
|
- Barendregt (fr)
- Coquand (fr)
- Barendregt (fr)
- Coquand (fr)
|
| prop-fr:pagesTotales
|
- 117 (xsd:integer)
- 227 (xsd:integer)
|
| prop-fr:prénom
|
- Thierry (fr)
- Henk (fr)
- Thierry (fr)
- Henk (fr)
|
| prop-fr:titre
|
- Handbook of Logic in Computer Science (fr)
- Logic in Computer Science (fr)
- Handbook of Logic in Computer Science (fr)
- Logic in Computer Science (fr)
|
| prop-fr:titreChapitre
|
- An analysis of Girard's paradox (fr)
- Lambda calculi with types (fr)
- An analysis of Girard's paradox (fr)
- Lambda calculi with types (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
| |
| dct:subject
| |
| rdfs:comment
|
- En logique mathématique, le System U et le System U - sont des systèmes de types purs, c'est-à-dire des formes spéciales d'un avec un nombre arbitraire de sortes, d'axiomes et de règles (ou de relations entre les sortes). Ils ont tous deux été prouvés incohérents par Jean-Yves Girard en 1972. Ce résultat conduit alors à ce que la théorie des types de Martin-Löf de 1971 est incohérente car elle permet le même comportement de «type dans le type» que le paradoxe de Girard exploite. (fr)
- En logique mathématique, le System U et le System U - sont des systèmes de types purs, c'est-à-dire des formes spéciales d'un avec un nombre arbitraire de sortes, d'axiomes et de règles (ou de relations entre les sortes). Ils ont tous deux été prouvés incohérents par Jean-Yves Girard en 1972. Ce résultat conduit alors à ce que la théorie des types de Martin-Löf de 1971 est incohérente car elle permet le même comportement de «type dans le type» que le paradoxe de Girard exploite. (fr)
|
| rdfs:label
|
- Le Système U (fr)
- System U (en)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
