| dbo:abstract
|
- Der Satz von Diaconescu-Goodman-Myhill, benannt nach , und J. Myhill, ist ein Satz aus der mathematischen Logik, der zeigt, dass der Satz vom ausgeschlossenen Dritten aus dem Auswahlaxiom hergeleitet werden kann. Der ursprüngliche Beweis von R. Diaconescu aus dem Jahre 1975 behandelte die Situation in Topoi. Die hier wiedergegebene Version geht auf Goodman und Myhill zurück. Man spricht daher auch vom Satz von Goodman-Myhill. Manche Autoren sprechen aber auch einfach vom Satz von Diaconescu. (de)
- In mathematical logic, Diaconescu's theorem, or the Goodman–Myhill theorem, states that the full axiom of choice is sufficient to derive the law of the excluded middle, or restricted forms of it, in constructive set theory. It was discovered in 1975 by Radu Diaconescu and later by Goodman and Myhill. Already in 1967, Errett Bishop posed the theorem as an exercise (Problem 2 on page 58 in Foundations of constructive analysis). (en)
- En logique mathématique, le théorème de Diaconescu, ou théorème de Goodman-Myhill, concerne la théorie des ensembles et les mathématiques constructives. Il énonce que dans une (en) avec extensionnalité, le principe du tiers exclu (éventuellement restreint à certaines classes de propositions suivant la théorie en jeu) peut se déduire de l'axiome du choix. Il fut découvert en 1975 par Diaconescu puis par Goodman et Myhill. (fr)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 3340 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dct:subject
| |
| rdfs:comment
|
- Der Satz von Diaconescu-Goodman-Myhill, benannt nach , und J. Myhill, ist ein Satz aus der mathematischen Logik, der zeigt, dass der Satz vom ausgeschlossenen Dritten aus dem Auswahlaxiom hergeleitet werden kann. Der ursprüngliche Beweis von R. Diaconescu aus dem Jahre 1975 behandelte die Situation in Topoi. Die hier wiedergegebene Version geht auf Goodman und Myhill zurück. Man spricht daher auch vom Satz von Goodman-Myhill. Manche Autoren sprechen aber auch einfach vom Satz von Diaconescu. (de)
- In mathematical logic, Diaconescu's theorem, or the Goodman–Myhill theorem, states that the full axiom of choice is sufficient to derive the law of the excluded middle, or restricted forms of it, in constructive set theory. It was discovered in 1975 by Radu Diaconescu and later by Goodman and Myhill. Already in 1967, Errett Bishop posed the theorem as an exercise (Problem 2 on page 58 in Foundations of constructive analysis). (en)
- En logique mathématique, le théorème de Diaconescu, ou théorème de Goodman-Myhill, concerne la théorie des ensembles et les mathématiques constructives. Il énonce que dans une (en) avec extensionnalité, le principe du tiers exclu (éventuellement restreint à certaines classes de propositions suivant la théorie en jeu) peut se déduire de l'axiome du choix. Il fut découvert en 1975 par Diaconescu puis par Goodman et Myhill. (fr)
|
| rdfs:label
|
- Satz von Diaconescu-Goodman-Myhill (de)
- Diaconescu's theorem (en)
- Théorème de Diaconescu (fr)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
