Diaconescu ist der Familienname folgender Personen:
 |
Diese Seite ist eine Begriffsklärung zur Unterscheidung mehrerer mit demselben Wort bezeichneter Begriffe. |
Wikimedia Foundation.
Diaconescu's theorem — 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… … Wikipedia
Cristian Diaconescu — Diaconescu at a meeting with United States Secretary of State Hillary Clinton, May 2009 Minister of Justice In office 10 March 2004 – 28 December 2004 … Wikipedia
Cristian Diaconescu — (2009) Cristian Diaconescu (* 2. Juli 1959 in Bukarest) ist ein rumänischer Rechtswissenschaftler, Diplomat und Politiker. Biografie Nach dem Schulbesuch studierte er von 1979 bis 1983 Rechtsw … Deutsch Wikipedia
Théorème de Diaconescu — 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 théorie constructive des ensembles (en) avec extensionnalité, le… … Wikipédia en Français
Ioana Diaconescu — Ioana Lorena Diaconescu (born June 30, 1979 in Bucharest) is a former freestyle swimmer from Romania, who repesented her native country at two consecutive Summer Olympics, starting in 1996 in Atlanta, Georgia. In 2000, at the European LC… … Wikipedia
Institutional model theory — generalizes a large portion of first order model theory to an arbitrary logical system. The notion of logical system here is formalized as an institution. Institutions constitute a model oriented meta theory on logical systems similar to how the… … Wikipedia
K-theory (physics) — In string theory, the K theory classification refers to a conjectured application of K theory (in abstract algebra and algebraic topology) to superstrings, to classify the allowed Ramond Ramond field strengths as well as the charges of stable D… … Wikipedia
Romania national basketball team — Infobox national basketball team color1 = 002B7F color2 = FCD116 country = Romania country alt= România coach = flagicon|FRA Marc Silvert fiba ranking = T 75th joined fiba = 1932 fiba zone = FIBA Europe zone championship = EuroBasket national fed … Wikipedia
Théorème de Goodman-Myhill — Théorème de Diaconescu Le théorème de Diaconescu, ou le théorème de Goodman Myhill, énonce qu une forme du principe du tiers exclu, qui est rejeté dans les mathématiques constructives, est la conséquence du controversé axiome du choix dans la… … Wikipédia en Français
Romania at the 1996 Summer Olympics — Infobox Olympics Romania games=1996 Summer competitors=165 (98 men and 67 women) sports=18 flagbearer=Iulică Ruican gold=4 silver=7 bronze=9 total=20 rank=14Romania competed at the 1996 Summer Olympics in Atlanta, United States.Medalists Gold*… … Wikipedia
