A Galois connection between Turing jumps and limits

Limit computable functions can be characterized by Turing jumps on the input side or limits on the output side. As a monad of this pair of adjoint operations we obtain a problem that characterizes the low functions and dually to this another problem that characterizes the functions that are computable relative to the halting problem. Correspondingly, these two classes are the largest classes of functions that can be pre or post composed to limit computable functions without leaving the class of limit computable functions. We transfer these observations to the lattice of represented spaces where it leads to a formal Galois connection. We also formulate a version of this result for computable metric spaces. Limit computability and computability relative to the halting problem are notions that coincide for points and sequences, but even restricted to continuous functions the former class is strictly larger than the latter. On computable metric spaces we can characterize the functions that are computable relative to the halting problem as those functions that are limit computable with a modulus of continuity that is computable relative to the halting problem. As a consequence of this result we obtain, for instance, that Lipschitz continuous functions that are limit computable are automatically computable relative to the halting problem. We also discuss 1-generic points as the canonical points of continuity of limit computable functions, and we prove that restricted to these points limit computable functions are computable relative to the halting problem. Finally, we demonstrate how these results can be applied in computable analysis

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