| Property |
Value |
| dbo:abstract
|
- En logique mathématique, l'indépendance se réfère à la non-prouvabilité d'une proposition relativement à d'autres propositions. Une proposition σ est indépendante d'une théorie de premier ordre donnée T, si T ne prouve pas σ; à savoir, il est impossible de prouver σ à partir de T, et il est également impossible de prouver à partir de T que σ est faux. Parfois, σ est dit être indécidable de T; à ne pas confondre à la « décidabilité », du problème de décision. Une théorie T est indépendante si chaque axiome présent dans T n'est pas prouvable à partir des autres axiomes de T. Une théorie pour laquelle il existe un ensemble indépendant d'axiomes est dit indépendamment axiomatisable (fr)
- En logique mathématique, l'indépendance se réfère à la non-prouvabilité d'une proposition relativement à d'autres propositions. Une proposition σ est indépendante d'une théorie de premier ordre donnée T, si T ne prouve pas σ; à savoir, il est impossible de prouver σ à partir de T, et il est également impossible de prouver à partir de T que σ est faux. Parfois, σ est dit être indécidable de T; à ne pas confondre à la « décidabilité », du problème de décision. Une théorie T est indépendante si chaque axiome présent dans T n'est pas prouvable à partir des autres axiomes de T. Une théorie pour laquelle il existe un ensemble indépendant d'axiomes est dit indépendamment axiomatisable (fr)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 2451 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1976 (xsd:integer)
- 1997 (xsd:integer)
|
| prop-fr:art
|
- Independence (fr)
- Independence (fr)
|
| prop-fr:collection
|
- Graduate Texts in Mathematics (fr)
- Graduate Texts in Mathematics (fr)
|
| prop-fr:id
| |
| prop-fr:isbn
| |
| prop-fr:lang
| |
| prop-fr:lieu
|
- Londres (fr)
- Berlin, New York (fr)
- Londres (fr)
- Berlin, New York (fr)
|
| prop-fr:nom
|
- Monk (fr)
- Mendelson (fr)
- Monk (fr)
- Mendelson (fr)
|
| prop-fr:numéroÉdition
| |
| prop-fr:prénom
|
- Elliott (fr)
- J. Donald (fr)
- Elliott (fr)
- J. Donald (fr)
|
| prop-fr:périodique
| |
| prop-fr:titre
|
- Mathematical Logic (fr)
- An Introduction to Mathematical Logic (fr)
- Mathematical Logic (fr)
- An Introduction to Mathematical Logic (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- En logique mathématique, l'indépendance se réfère à la non-prouvabilité d'une proposition relativement à d'autres propositions. Une proposition σ est indépendante d'une théorie de premier ordre donnée T, si T ne prouve pas σ; à savoir, il est impossible de prouver σ à partir de T, et il est également impossible de prouver à partir de T que σ est faux. Parfois, σ est dit être indécidable de T; à ne pas confondre à la « décidabilité », du problème de décision. (fr)
- En logique mathématique, l'indépendance se réfère à la non-prouvabilité d'une proposition relativement à d'autres propositions. Une proposition σ est indépendante d'une théorie de premier ordre donnée T, si T ne prouve pas σ; à savoir, il est impossible de prouver σ à partir de T, et il est également impossible de prouver à partir de T que σ est faux. Parfois, σ est dit être indécidable de T; à ne pas confondre à la « décidabilité », du problème de décision. (fr)
|
| rdfs:label
|
- Незалежність системи аксіом (uk)
- Independence (mathematical logic) (en)
- Independência (lógica matemática) (pt)
- Indépendance (logique mathématique) (fr)
- Независимость системы аксиом (ru)
- Oavgörbar (sv)
- Onafhankelijkheid (wiskundige logica) (nl)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
