2 research outputs found
\"Aquivalenz und Wahrheit
This text summarizes and expands the content of a general audience talk given
at the University of Mainz. Motivated by recent developments in type theory and
category theory, it presents a history of ideas around the concepts of truth,
proof, identity, and equivalence as well as their relation to human thought. We
describe a few ideas of Aristoteles, Leibniz, Kant and Frege and then pass to
the results of G\"odel and Tarski about incompleteness and the difference
between truth and deducibility. The main focus of this text, however, is the
development of type theory in the work of Per Martin-L\"of and further
developments including homotopy type theory, i.e., the univalent foundations
program. This results in particular in the notion of identity types and gives
mathematics the possibility to handle equivalences and isomorphisms in a
conceptual way.Comment: in German, title change
Chronologie der Naturwissenschaften: Der Weg der Mathematik und der Naturwissenschaften von den Anfängen in das 21. Jahrhundert
Das Werk ist eine Chronologie der mathematisch-naturwissenschaftlichen Entdeckungen und deren Protagonisten. Es enthält ca. zwölftausend Einträge über Entdeckungen und Erfindungen mit den Namen jener Personen, die in den einzelnen Disziplinen (Mathematik, Physik, Chemie, Astro-, Geo- und Biowissenschaften) Entdeckungen gemacht haben. Das Nachschlagewerk ist nach Jahren geordnet und umfasst den Zeitraum zwischen 10.000 v.Chr. bis 1990.
Das Werk ergibt damit ein Bild von dem langen und komplizierten Prozess, der von den ersten Erfahrungen und Erkenntnissen über die Natur zu einzelnen wissenschaftlichen Kenntnissen über deren Teilgebiete, dann zu systematischem Wissen über diese Teilgebiete und schließlich zu den heutigen Naturwissenschaften führte.
Für die Vor- und Frühgeschichte sind dabei auch Leistungen berücksichtigt, denen das Attribut der Wissenschaftlichkeit zwar nur bedingt zuerkannt werden kann, deren Aufnahme jedoch unabdingbar ist, um die historischen Entwicklungslinien im vollen Umfang nachzuzeichnen.
Die Geowissenschaften sind in ihrer ganzen, auch die Länder- bzw. Völkerkunde umfassenden Breite vertreten, wobei auch die Anfänge jener Entwicklungen berücksichtigt wurden, die später zu den heute oft als Humangeographie bezeichneten sozial- und geisteswissenschaftlichen Komponenten der Geowissenschaften (Sozial-, Verkehrs-, Wirtschaftsgeographie usw.) führten.
Zudem enthält das Werk Daten zu frühen Universitätsgründungen, zur Formierung verschiedener philosophischer Ideen und Systeme, zur Entstehung bedeutender Akademien, zur Gründung von Vereinigungen der einzelnen Disziplinen, zur Herausgabe von Zeitschriften und zur Konstruktion von wissenschaftlichen Geräten, die – wie Mikroskop, Fernrohr oder Teilchenbeschleuniger – die weitere Forschung maßgeblich beeinflussten. Eine besondere Rolle spielte die Umsetzung naturwissenschaftlicher Ideen in technologischen Verfahren und die sich dabei ergebenden Rückwirkungen auf den Erkenntnisfortschritt in der jeweiligen Disziplin.
Die Fülle der Einträge ermöglicht es, eine Vorstellung von den bestimmenden Entwicklungslinien der einzelnen naturwissenschaftlichen Gebiete und der Mathematik in einem beliebigen Zeitraum zu gewinnen und zu erkennen, welchen Platz sie und ihre Disziplinen in der Entwicklung der menschlichen Gesellschaft eingenommen haben bzw. wie sich diese Rolle im Laufe der Jahrhunderte veränderte. Zugleich werden auch die Wechselwirkungen zwischen den einzelnen Disziplinen deutlich.:Geleitwort
Vorwort und Danksagung
Benutzerhinweise
Autoren und deren Beiträge
Epochen
Vorgeschichte und frühe Hochkulturen
Griechisch-hellenistische Antike
Mittelalter
Renaissance, Humanismus, Reformation
Wissenschaftliche Revolution und Rationalismus
Die Zeit des Durchbruchs zur Industriewirtschaft
Der Industriekapitalismus am Ende des 19. und im Übergang ins 20. Jahrhundert
Die Herausbildung der modernen Naturwissenschaften
Die Zeit des kalten Krieges
Verzeichnisse
Verzeichnis der Nobelpreisträger
Literaturverzeichnis
Personenverzeichnis
Sachwortverzeichni