Computability in Analysis and Physics (Perspectives in Mathematical Logic)

"Computability in Analysis and Physics" von Jonathan Ian Richards ist ein Werk, das sich mit der Anwendung der theoretischen Informatik auf die Bereiche der Analysis und Physik befasst. Das Buch untersucht, wie Konzepte der Berechenbarkeitstheorie genutzt werden können, um Probleme in diesen mathematischen und physikalischen Disziplinen zu analysieren. Es behandelt Themen wie die Berechenbarkeit von Funktionen und Mengen im Kontext der reellen Zahlen sowie die algorithmische Lösung physikalischer Probleme. Durch die Verbindung von Logik, Mathematik und Physik bietet es einen interdisziplinären Ansatz zur Untersuchung fundamentaler Fragen über die Natur des Rechnens in kontinuierlichen Systemen. Das Buch richtet sich an Leser mit Interesse an den Schnittstellen zwischen Informatik, Mathematik und theoretischer Physik.