Index
 
Operating Systems
Java
Programming Languages
Hardware
Microsoft Technologies
Computer Science
Database
Network
Software Engineering
XML and XSL
Internet
Web Programming
Web Technologies
Physics
Bio-Chemistry
Mathematics
Medical
Redbooks
Unlisted/Miscellaneous

Contact Us

Freebookzone.com | What's New | Missing Link | Feedback

Mathematics



Book Title : The Unknowable (Discrete Mathematics and Theoretical Computer Science)
eBook download format(s) : HTM
ISBN-10 : 9814021725 
ISBN-13 : 978-9-814021-72-2 
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


eBook VersionBuy this book from Amazon
Front Cover

Missing Link?, Report It and you may wish to  Buy  this book from amazon

Tell a Friend!

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 Cook-Book 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 Floating-Point 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 Hand-Me-Down 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 (Prentice-Hall 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 :


Tell a Friend!


©2008 FreeBookZone.com - Home - Privacy Policy - Program Policy, Terms and Conditions