In Laras S.S.O.R. ist eine fortlaufende Reihe kleiner schwarzer Rechtecke zu sehen, die sich über 68 gleichförmig aufgespannte weisse Leinwände fortsetzt, und auf den so genannten „ Domino Effekt “ Bezug nimmt.
In der Mathematik wird der Domino Effekt dazu verwendet, das Prinzip der Ordinalzahlen aus der Mengenlehre des deutschen Mathematikers Georg Ferdinand Ludwig Philipp Cantor ( 1845-1918 ) zu illustrieren, einem Prinzip ähnlich dem der mathematischen Induktion.
Dabei geht man davon aus, dass eine Aussage für eine Zahl n wahr ist und beweist, dass die Aussage ebenfalls für jede Zahl n + 1 wahr ist.
www.kunsthallebasel.chIn the main exhibition space we can see a continuous line of dominos captured in the process of falling printed on 68 uniform white canvases hung around the four walls of the room, an installation related to the so-called “ domino effect ”.
In mathematics, the term “ domino effect ” is used, to illustrate the concept of ordinal numbers as part of set theory, a theory developed by the German mathematician Georg Ferdinand Ludwig Philipp Cantor ( 1845-1918 ).
The concept is akin to mathematical induction, a method in which one assumes a statement to be true for the n-th number and proves that the statement also holds true for the n + 1 number.
www.kunsthallebasel.chDen Start bildete ein elektronisches Fußgängerleitsystem in Biel ( Bienne ), der größten zweisprachigen Stadt in der Schweiz.
Interview mit Regula Turtschi, Geschäftsführerin Hof3 - Suchmaschine plus Landkarte und Mengenlehre für Kioskterminals
Interview mit Hannes Rambold, CEO MobiMedia Group
www.eurocis.comThe kickoff was an electronic pedestrian navigation system in Biel ( Bienne ), the largest bilingual town in Switzerland.
Interview with Regula Turtschi, Managing Director Hof3 - Search engine plus map and set theory for kiosk terminals
Interview with Hannes Rambold, CEO MobiMedia Group
www.eurocis.comIn der Rekursionstheorie wird die prinzipielle Berechenbarkeit von Funktionen untersucht.
Die Arbeitsgruppe Mathematische Logik an der Universität Bonn arbeitet vor allem im Bereich der Mengenlehre.
Die Mengenlehre ist die mathematische Theorie des Unendlichen.
www.math.uni-bonn.deRecursion theory, or computability theory, study the abstract computability of functions.
The Mathematical Logic Group at the university of Bonn specialises in set theory.
Set theory is the mathematical theory of the infinite.
www.math.uni-bonn.deDiese Hintergrundtheorie lässt sich am einfachsten als Mengentheorie formalisieren und axiomatisieren.
Die Axiome der Zermelo-Fraenkelschen Mengenlehre werden allgemein als geeignete Grundlagentheorie angesehen und benutzt.
Die Frage Was ist Mathematik? kann so minimal, aber zugleich umfassend beantwortet werden: die Gesamtheit aller Formeln, die sich im Kalkül
www.math.uni-bonn.deThis background theory can most easily be formalised as set theory.
The Zermelo-Fraenkel axioms of set theory are generally accepted and used as an adequate foundational theory.
The question “ What is mathematics ” can thus be answered in a minimal but comprehensive way: it is the collection of all formulas which can be deduced from the Zermelo-Fraenkel axioms in the calculus
www.math.uni-bonn.deInhalt
Der Stoff dieses Kurses - dem ersten Semester einer zwei-semestrigen Vorlesung - umfasst Mengenlehre, Ordnungsrelationen, Algebra ( Gruppen, Verbände ) sowie Aussagen- und Prädikatenlogik erster Stufe.
www.coli.uni-saarland.deContent of course
This course - the first of a 2-semester sequence - introduces set theory, ordering relations, some algebra ( groups, lattices ) as well as propositional logic and first order predicate logic with identity.
www.coli.uni-saarland.deDie Beweistheorie untersucht formale Sprachen und Beweiskalküle.
Die Mengenlehre studiert das Zermelo-Fraenkelsche Axiomensystem und seine Erweiterungen.
Die Modelltheorie betrachtet allgemein Modelle gegebener Axiomensysteme.
www.math.uni-bonn.deProof theory studies formal languages and deduction calculi.
Set theory examines the Zermelo-Fraenkelsche axiom system and its extensions.
Model theory considers the class of models of axiom systems.
www.math.uni-bonn.deХотели бы вы добавить слова, фразы или переводы?
Пришлите нам новую статью.