Entrée principale:

Chaitin, Gregory J.

Titre et auteur:

The unknowable / by Gregory J. Chaitin.

Publication:

Singapore ; New York : Springer, ©1999.

Description:

vii, 122 pages ; 25 cm.

Série(s):

Springer series in discrete mathematics and theoretical computer science

Notes:
Includes bibliographical references (pages 111-122).
A hundred years of controversy regarding the foundations of mathematics -- LISP: a formalism for expressing mathematical algorithms -- Gödel's proof of his incompleteness theorem -- Turing's proof of the unsolvability of the halting problem -- My proof that you can't show that a LISP expression is elegant -- Information & randomness: a survey of algorithmic information theory -- Mathematics i the third millennium?
British Library not licensed to copy 0.

Résumé:

"This companion volume to Chaitin's "The Limits of Mathematics", also published by Springer, gives a historical survey of the work this century on the foundations of mathematics, in which the author was a major participant. "The Unknowable" is a 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."--Jacket.

Ressources:
Table of contents
Publisher description
Table of contents only

ISBN:

9814021725 (hardcover)
9789814021722 (hardcover)

Sujet:

Machine theory.
Computational complexity.
Stochastic processes.
Théorie des automates.
Complexité de calcul (Informatique)
Processus stochastiques.

Vedettes secondaires:

Springer series in discrete mathematics and theoretical computer science.

Exemplaires:

Localisation: Bibliothèque main price 267598
Cote: BIB 199571
Statut: Disponible