$Cover Image$

Conversations with a Mathematician : Math, Art, Science and the Limits of Reason /

G.J. Chaitin is at the IBM Thomas J. Watson Research Center in New York. He has shown that God plays dice not only in quantum mechanics, but even in the foundations of mathematics, where Chaitin discovered mathematical facts that are true for no reason, that are true by accident. This book collects...

Full description

Bibliographic Details
Main Author:	Chaitin, Gregory J.
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	London : Springer London, 2002.
Subjects:	Mathematics. Computer science. Computer science > Mathematics. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Programming for Mathematicians /
by: Seroul, Raymond
Published: (2000)

Semantics of Type Theory : Correctness, Completeness and Independence Results /
by: Streicher, Thomas
Published: (1991)

Time-Frequency Representations /
by: Tolimieri, Richard
Published: (1996)

Wavelets in Numerical Simulation : Problem Adapted Construction and Applications /
by: Urban, Karsten
Published: (2002)

Principles of Secure Network Systems Design /
by: Ghosh, Sumit, 1958-
Published: (2002)

Numerical Methods for Grid Equations : Volume I Direct Methods /
by: Samarskii, Aleksandr A.
Published: (1989)

Numerical Methods for Grid Equations : Volume II Iterative Methods /
by: Samarskii, Aleksandr A.
Published: (1989)

Discontinuous Galerkin Methods : Theory, Computation and Applications /
by: Cockburn, B. (Bernardo)
Published: (2000)

Matrix-Based Multigrid : Theory and Applications /
by: Shapira, Yaʼir
Published: (2003)

Boundary Element Techniques in Computer-Aided Engineering /
by: Brebbia, C. A.
Published: (1984)

Error Estimation and Adaptive Discretization Methods in Computational Fluid Dynamics /
by: Barth, Timothy J.
Published: (2003)

Large Eddy Simulation of Turbulent Incompressible Flows : Analytical and Numerical Results for a Class of LES Models /
by: John, Volker
Published: (2004)

Topics in Computational Wave Propagation : Direct and Inverse Problems /
by: Ainsworth, Mark, 1965-
Published: (2003)

Adaptive Multiscale Schemes for Conservation Laws /
by: Müller, Siegfried
Published: (2003)

Analytical and Computational Methods of Advanced Engineering Mathematics /
by: Gustafson, Grant B.
Published: (1998)

Modeling and Computational Methods for Kinetic Equations /
by: Degond, Pierre
Published: (2004)

Large-Scale PDE-Constrained Optimization /
by: Biegler, Lorenz T.
Published: (2003)

Isomorphisms of Types: from λ-calculus to information retrieval and language design
by: Cosmo, Roberto
Published: (1995)

Multiresolution Methods in Scattered Data Modelling /
by: Iske, Armin
Published: (2004)

Computational Partial Differential Equations : Numerical Methods and Diffpack Programming /
by: Langtangen, Hans Petter
Published: (1999)

Parallel Multilevel Methods : Adaptive Mesh Refinement and Loadbalancing /
by: Zumbusch, Gerhard
Published: (2003)

A Guide to Simulation /
by: Bratley, Paul
Published: (1987)

Numerical Techniques for Engineering Analysis and Design : Proceedings of the International Conference on Numerical Methods in Engineering: Theory and Applications, NUMETA '87, Swansea, 6-10 July 1987. VOLUME I /
by: Pande, G. N.
Published: (1987)

Efficient Solvers for Incompressible Flow Problems : an Algorithmic and Computational Approach /
by: Turek, Stefan
Published: (1999)

Numerical Analysis /
by: Temam, Roger
Published: (1973)

Multiparticle Quantum Scattering With Applications to Nuclear, Atomic and Molecular Physics /
by: Truhlar, Donald G.
Published: (1997)

Computational Molecular Dynamics: Challenges, Methods, Ideas : Proceedings of the 2nd International Symposium on Algorithms for Macromolecular Modelling, Berlin, May 21-24, 1997 /
by: Deuflhard, P. (Peter)
Published: (1999)

Multiscale Modelling and Simulation /
by: Attinger, Sabine
Published: (2004)

MuPAD Pro Computing Essentials /
by: Majewski, Miroslaw
Published: (2002)

MuPAD Pro Computing Essentials /
by: Majewski, Miroslaw
Published: (2004)

Multiscale and Multiresolution Methods : Theory and Applications /
by: Barth, Timothy J.
Published: (2002)

High Performance Scientific and Engineering Computing : Proceedings of the International FORTWIHR Conference on HPSEC, Munich, March 16-18, 1998 /
by: Bungartz, H.-J. (Hans-Joachim)
Published: (1999)

High-Order Methods for Computational Physics /
by: Barth, Timothy J.
Published: (1999)

Completeness and Reduction in Algebraic Complexity Theory /
by: Bürgisser, Peter
Published: (2000)

Discretization Methods and Iterative Solvers Based on Domain Decomposition /
by: Wohlmuth, Barbara I.
Published: (2001)

High Performance Scientific And Engineering Computing : Proceedings of the 3rd International FORTWIHR Conference on HPSEC, Erlangen, March 12-14, 2001 /
by: Breuer, Michael
Published: (2002)

Scientific Computing in Electrical Engineering : Proceedings of the 3rd International Workshop, August 20-23, 2000, Warnemünde, Germany /
by: Rienen, Ursula
Published: (2001)

Discrete-Event Simulation : Modeling, Programming, and Analysis /
by: Fishman, George S.
Published: (2001)

Monte Carlo and Quasi-Monte Carlo Methods 2000 : Proceedings of a Conference held at Hong Kong Baptist University, Hong Kong SAR, China, November 27 - December 1, 2000 /
by: Fang, Kaitai
Published: (2002)

Numerical Solution of Elliptic Differential Equations by Reduction to the Interface /
by: Khoromskij, Boris N.
Published: (2004)