
Freebookzone.com 
What's New 
Missing Link 
Feedback
Mathematics
Book Title : The Unknowable (Discrete Mathematics and Theoretical Computer Science)
eBook download format(s) : HTM
ISBN10 : 9814021725
ISBN13 : 9789814021722
Author(s) : Gregory J. Chaitin
Publisher : Springer (05 Aug 1999)
Section : Mathematics
Book Review:
Book Description
This essential companion volume to Chaitin's highly successful "The Limits of Mathematics", also published by Springer, gives a brilliant historical survey of the work of this century on the foundations of mathematics, in which the author was a major participant. The Unknowable is a very readable and concrete introduction to Chaitin's ideas, and it includes a detailed explanation of the programming language used by Chaitin in both volumes. It will enable computer users to interact with the author's proofs and discover for themselves how they work. The software for The Unknowable can be downloaded from the author's Web site.
add to del.icio.us
Digg Freebookzone.com!
You may use anyone of the download options
Missing Link?, Report It and you may wish to Buy this book from amazon
Similar Book titles in Mathematics section: Practical Foundations of Mathematics Mathematical Foundations of Computer Science The Limits of Mathematics Implementing Mathematics with The Nuprl Proof System Vector Math for 3D Computer Graphics  An Interactive Tutorial Elementary Mathematics Derivations of Applied Mathematics A Short Course in Discrete Mathematics Mathematics for Algorithm and Systems Analysis Logic for Computer Science: Foundations of Automatic Theorem Proving Mathematics Of The Discrete Fourier Transform (DFT)  With Audio Applications Numerical Methods for Electrical and Computer Engineers Discrete Mathematics A CookBook Of Mathematics The Structure of Finite Algebras (Contemporary Mathematics) Linear Methods of Applied Mathematics Basic Concepts of Mathematics The Chaos Hypertextbook  Mathematics in the Age of the Computer Mathematics of the Rubik's cube Combinatorial Algorithms for Computers and Calculators, Second Edition What Every Computer Scientist Should Know About FloatingPoint Arithmetic Basic Elements of Real Analysis (Undergraduate Texts in Mathematics) Essential Mathematics Algorithmic Mathematics Discrete Mathematics with Algorithms Introduction to Methods of Applied Mathematics
Similar Book titles in Other sections:
Section: Data Structures and Algorithms Introduction to Computer Graphics Concepts, Techniques, and Models of Computer Programming Design and Analysis of Computer Algorithms Computers, Graphics, & Learning Structure and Interpretation of Computer Programs  2nd Edition Show all..
Section: Multimedia & Game Development Simulating Humans: Computer Graphics Animation and Control So you want to be a Computer Game Developer?
Section: CS > Hardware Computer Architecture Tutorial Advanced Computer Architecture Notes Advanced Computer Architecture Tutorials Computer Structures: Principles and Examples Computer Structures: Readings and Examples Show all..
Section: CS > Theory Introduction to Computer Science I Foundations of Computer Science An Introduction to the Theory of Computation (Principles of Computer Science Series) How to Think Like a Computer Scientist: Learning with Python How to Think Like a Computer Scientist: Learning with LOGO Show all..
Section: Computer Hardware The HandMeDown PC: Upgrading and Repairing Personal Computers Beginning Computer Hardware Guide Scott Mueller Library  Computer Dictionary Build Your Own Laptop  An Impractical Guide to Building a Laptop Computer Computer Repair with Diagnostic Flowcharts Show all..
Section: Logic Design and Architecture Computer Aids for VLSI Design, Second Edition
Section: Internet Computer Security Basics 2nd Edition
Section: Advanced Java Introduction to Computer Science Using Java
Section: Miscellaneous The Art of Computer Game Design Computer Vision and Image Processing Academic Careers for Experimental Computer Scientists and Engineers Moths to the Flame : The Seductions of Computer Technology Call Center Mathematics  A scientific method for understanding and improving contact centers Show all..
Section: Networking Introduction to Computer, Internet & Network Systems Security Computer Networks and Internets Computer Networks Design and Validation of Computer Protocols Wireless LANs A Theoretical and Practical Guide Show all..
Section: Assembly Language The Art of Computer Programming
Section: Other Programming Using Z: Specification, Refinement, and Proof (PrenticeHall International Series in Computer Science) Common Lisp: An Interactive Approach (Principles of Computer Science Series) Stack Computers: the new wave Prolog Experiments in Discrete Mathematics, Logic, and Computability
Section: Scripting Concrete Abstractions: An Introduction to Computer Science Using Scheme
Section: Redpapers IBM Sales Center With Computer Telephony Integration IBM Tivoli Storage Productivity Center 4.2: Monitored Computer Storage Space Reports
Section: Redpapers Draft IBM Sales Center for WebSphere Commerce with Computer Telephony Integration
Section: Software Engineering Supercomputers: Directions in Technology and Applications
Similar Books from Amazon :


 