The LIMITS of MATHEMATICS
A Course on Information Theory and the Limits of Formal Reasoning
Seiten
2002
|
1st ed. 1997. 2nd printing 2002
Springer London Ltd (Verlag)
978-1-85233-668-4 (ISBN)
Springer London Ltd (Verlag)
978-1-85233-668-4 (ISBN)
As a teenager, Greg created independently of Kolmogorov and Solomonoff, what we call today algorithmic information theory, a sub ject of which he is the main architect. My favorite portrait of Greg can be found in John Horgan's-a writer for Scientific American-1996 book The End 01 Science. Ladies and Gentlemen, Greg Chaitin!
As a teenager, Greg created independently of Kolmogorov and Solomonoff, what we call today algorithmic information theory, a sub ject of which he is the main architect. His 1965 paper on gedanken experiments on automata, which he wrote when he was in high school, is still of interest today. He was also heavily involved in IBM, where he has worked for almost thirty years, on the development of RISC technology. Greg's results are widely quoted. My favorite portrait of Greg can be found in John Horgan's-a writer for Scientific American-1996 book The End 01 Science. Greg has gotten many honors. He was a guest of distinguished people like Prigogine, the King and Queen of Belgium, and the Crown Prince of Japan. Just to be brief, allow me to paraphrase Bette Davis in All About Eve. She said, "Fasten your seat belts, it's going to be a bumpy talk!" Ladies and Gentlemen, Greg Chaitin! [Laughter & Applause] CRISTIAN CALUDE introducing GREGORY CHAITIN at the DMTCS'96 meeting at the University of Auckland.
As a teenager, Greg created independently of Kolmogorov and Solomonoff, what we call today algorithmic information theory, a sub ject of which he is the main architect. His 1965 paper on gedanken experiments on automata, which he wrote when he was in high school, is still of interest today. He was also heavily involved in IBM, where he has worked for almost thirty years, on the development of RISC technology. Greg's results are widely quoted. My favorite portrait of Greg can be found in John Horgan's-a writer for Scientific American-1996 book The End 01 Science. Greg has gotten many honors. He was a guest of distinguished people like Prigogine, the King and Queen of Belgium, and the Crown Prince of Japan. Just to be brief, allow me to paraphrase Bette Davis in All About Eve. She said, "Fasten your seat belts, it's going to be a bumpy talk!" Ladies and Gentlemen, Greg Chaitin! [Laughter & Applause] CRISTIAN CALUDE introducing GREGORY CHAITIN at the DMTCS'96 meeting at the University of Auckland.
Randomness in arithmetic and the decline and fall of reductionism in pure mathematics.- Elegant LISP programs.- An invitation to algorithmic information theory.- The limits of mathematics.- Appendix. LISP interpreter in Mathematica.
Erscheint lt. Verlag | 28.10.2002 |
---|---|
Reihe/Serie | Discrete Mathematics and Theoretical Computer Science |
Zusatzinfo | XII, 150 p. |
Verlagsort | England |
Sprache | englisch |
Maße | 155 x 235 mm |
Themenwelt | Informatik ► Theorie / Studium ► Algorithmen |
Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika | |
Mathematik / Informatik ► Mathematik ► Analysis | |
Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
ISBN-10 | 1-85233-668-4 / 1852336684 |
ISBN-13 | 978-1-85233-668-4 / 9781852336684 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
IT zum Anfassen für alle von 9 bis 99 – vom Navi bis Social Media
Buch | Softcover (2021)
Springer (Verlag)
CHF 41,95
Interlingua zur Gewährleistung semantischer Interoperabilität in der …
Buch | Softcover (2023)
Springer Fachmedien (Verlag)
CHF 46,15
Eine Einführung mit Java
Buch | Hardcover (2020)
dpunkt (Verlag)
CHF 62,85