The Limits of Mathematics
A Course on Information Theory and the Limits of Formal Reasoning
Seiten
1997
Springer Verlag, Singapore
9789813083592 (ISBN)
Springer Verlag, Singapore
9789813083592 (ISBN)
- Titel ist leider vergriffen;
keine Neuauflage - Artikel merken
Final version of a course on algorithmic information theory and the epistemology of mathematics and physics. The book presents a "hands on" didactic approach using LISP and Mathematica software, enabling the reader to derive an understanding of the relationship between mathematics and physics.
This text is the final version of a course on algorithmic information theory and the epistemology of mathematics and physics. It discusses Einstein and Goedel's views on the nature of mathematics in the light of information theory, and sustains the thesis that mathematics is quasi-empirical. The book presents a "hands on" didatic approach using LISP and Mathematica software, and the reader should be able to derive an understanding of the close relationship between mathematics and physics.
This text is the final version of a course on algorithmic information theory and the epistemology of mathematics and physics. It discusses Einstein and Goedel's views on the nature of mathematics in the light of information theory, and sustains the thesis that mathematics is quasi-empirical. The book presents a "hands on" didatic approach using LISP and Mathematica software, and the reader should be able to derive an understanding of the close relationship between mathematics and physics.
The Decline and Fall of Reductionalism.- Elegant LISP Programs.- An Invitation to Algorithmic Information Theory.- The Limits of Mathematics: examples.r, utm.r, godel2.r, omega.r, omega2.r, omega3.r, godel3.r.- Appendix: LISP interpreter in Mathematica.
| Reihe/Serie | Discrete Mathematics and Theoretical Computer Science |
|---|---|
| Zusatzinfo | 1 colour figure |
| Verlagsort | Singapore |
| Sprache | englisch |
| Themenwelt | Informatik ► Grafik / Design ► Digitale Bildverarbeitung |
| Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge | |
| Informatik ► Theorie / Studium ► Algorithmen | |
| Mathematik / Informatik ► Mathematik ► Analysis | |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| Mathematik / Informatik ► Mathematik ► Wahrscheinlichkeit / Kombinatorik | |
| ISBN-13 | 9789813083592 / 9789813083592 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Methoden, Konzepte und Algorithmen in der Optotechnik, optischen …
Buch | Hardcover (2024)
Hanser (Verlag)
CHF 55,95