The Limits of Mathematics
A Course on Information Theory and the Limits of Formal Reasoning
Seiten
1997
Springer Verlag, Singapore
978-981-3083-59-2 (ISBN)
Springer Verlag, Singapore
978-981-3083-59-2 (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-10 | 981-3083-59-X / 981308359X |
ISBN-13 | 978-981-3083-59-2 / 9789813083592 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Modelle für 3D-Druck und CNC entwerfen
Buch | Softcover (2022)
dpunkt (Verlag)
CHF 48,85
alles zum Drucken, Scannen, Modellieren
Buch | Softcover (2024)
Markt + Technik Verlag
CHF 34,90