Treffer im Web
Eduard Schmidt-Weißenfels
Friedrich Gentz (Leipz. 1859) Charaktere der deutschen Litteratur (Leipz. 1859, 2 Bde.) Preußische Landtagsmänner (Berl. 1862), URL:
Schnittregel
Gerhard Gentzen: Untersuchungen über das logische Schließen. (1934). Nachdruck in: Karel Berka, Lothar Kreier: Logik-Texte, Berlin (Ost) 1986 Jean-Yves
Sequenzenkalkül
die klassische und LJ für die intuitionistische Logik, sind von Gerhard Gentzen im Jahre 1934 als formaler Rahmen für die Untersuchung von Systemen des
Bodo Uebber
Services AG nach Berlin. 2004 wurde er Nachfolger von Manfred Gentz und somit Mitglied des Vorstandes der damaligen DaimlerChrysler AG in Stuttgart. Bei der
Staatliche Münze Berlin
Wasser die Maschinen antrieb. Ab 1802 befand sie sich in der von Heinrich Gentz entworfenen Alten Münze, die am Werderschen Markt an Stelle des abgebrannten
Gödelscher Vollständigkeitssatz
Hilbert-Kalkül, bestehend aus Axiomen und Schlussregeln, getan. Ebenfalls vollständig ist zum Beispiel der von Gerhard Gentzen eingeführte Sequenzenkalkül.
Sportdenkmal Berlin-Grünau
1997 fertigte Udo Gentzen als ehemaliger Museumsleiter aus Dömitz eine Schrift über das Denkmal an. Das Denkmal stand dort, wo die Regattastraße in die
Rudolf Steiner (Architekt)
neben Johann August Arens, Nikolaus Friedrich von Thouret und Heinrich Gentz nochmals am Weimarer Schlossbau beteiligt. Zudem war er am Bau des Goethe-Theater
Takeuti Gaisi
Systeme zu gewinnen, die die Analysis umfassen. Hierzu entwickelte er Methoden von Gerhard Gentzen weiter (unter anderem führte er ordinal diagrams ein).
Carl von Diebitsch
nach Granada in Spanien, wo er die Alhambra studierte und 1847 Wilhelm Gentz kennenlernte. 1862 wurde er vom ägyptischen Vizekönig Ismail Pascha nach Kairo
Martin Friedrich Rabe
David Gilly sowie 1804 beim Ausbau des Weimarer Schlosses durch Heinrich Gentz mit. Rabe arbeitete ab 1806 als Bauinspektor und ab 1829 als Schlossbaumeister
Gutshaus Steglitz
Carl Friedrich Beyme, der spätere Großkanzler und Justizminister, die Immobilie und baut das Gutshaus bis 1804 unter der Leitung von Heinrich Gentz um.
Lara Hoffmann
| trainer = Andreas Gentz, vorm.: Ulrich Weiß,
Wulf-Axel Struckmeier | nationalkader = | status = a | karriereende = | Medaillenspiegel = | medaillen
Harmonieprinzip (Logik)
ist. Der Terminus wurde von Michael Dummett geprägt; die Idee, dass es ein Harmonieprinzip geben müsse, wurde jedoch schon von Gerhard Gentzen vorweggenommen.
Cyborg 009
wie Hans-Jürgen Dittberner, Manfred Lehmann, Ronald Nitschke, Horst Gentzen, Joachim Cadenbach, Gerd Duwner oder Friedrich W. Bauschulte konnten für die
Friedhelm Winkelmann
Xanthopulus und ihre Quellen. Nachgelassene Untersuchungen, von Günter Gentz. Überarb. und erw. von Friedhelm Winkelmann. Akademie-Verlag, Berlin 1966. (Texte
Saverio Landolina
Für Heinrich Gentz, den Grafen Stolberg, Johann Gottfried Seume und andere berühmte Reisende gehörte ein Besuch bei Landolina zum festen Programm ihrer
Friedrichswerdersches Rathaus
errichtete Erweiterungsbau für die königliche Münzanstalt von Heinrich Gentz ein, die später so genannte Alte Münze, die ihrerseits 1886 für den
Peano-Arithmetik
aber trotzdem als finit anerkannt werden. 1936 veröffentlichte Gerhard Gentzen einen Konsistenzbeweis mithilfe transfiniter Induktion bis ε0. 1958
René Obermann
mit Digital-Größen wie Oliver Samwer, Ralph Dommermuth und Robert Gentz die Stiftung Internet Economy Foundation (IE.F). Ziele dieser Allianz für
Friederike Möhlenkamp
| trainer = Andreas Gentz, vorm.: Jürgen Schlebach,
Heiner Preute, erster Trainer: Peter Seiffert | nationalkader = | status = n | karriereende = |
Jan von Plato
Schwerpunkt hier war die Beschäftigung mit Werk und Nachlass Gerhard Gentzens. 2008 erschien eine Transkription von Gentzens Manuskript zu dessen Dissertation
Jan von Plato
Smorynski und Edward Griffor: Logic's Lost Genius. The Life of Gerhard Gentzen. Reihe History of Mathematics, Band 33. American Mathematical Society,
Nemesis (Zeitschrift)
Kritik der politisch restaurativen Gegner wie Metternich und Friedrich Gentz an der per Verfassung garantierten Weimarer Pressefreiheit verschärft sich auch