Log in to save to my catalogue

The unknowable / by Gregory J. Chaitin.

The unknowable / by Gregory J. Chaitin.

The unknowable / by Gregory J. Chaitin.

https://devfeature-collection.sl.nsw.gov.au/record/74VvWLlDdM43

The unknowable / by Gregory J. Chaitin.

About this item

Full title

The unknowable / by Gregory J. Chaitin.

Author / Creator

Publisher

Singapore ; New York : Springer, c1999.

Call Numbers

T0391858

Record Identifier

74VvWLlDdM43

MMS ID

991011980459702626

Language

English

Formats

Physical Description

Physical content

vii, 122 p. ; 25 cm.

Contents

I. A Hundred Years of Controversy Regarding the Foundations of Mathematics -- II. LISP: A Formalism for Expressing Mathematical Algorithms -- III. Godel's Proof of his Incompleteness Theorem -- IV. Turing's Proof of the Unsolvability of the Halting Problem -- V. My Proof that You Can't Show that a L...

Publication information

Publisher

Singapore ; New York : Springer, c1999.

Date Published

c1999.

More information

Scope and Contents

Summary

"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 pro...

Alternative Titles

Full title

The unknowable / by Gregory J. Chaitin.

Authors, Artists and Contributors

Author / Creator

Notes

General note

Springer series in discrete mathematics and theoretical computer science.

Includes bibliographical references (p. 111-122).

Transferred from N511.3/63.

Contextual Information

Date Copyright

c1999.

Identifiers

Primary Identifiers

Call Numbers

T0391858

Record Identifier

74VvWLlDdM43

Permalink

https://devfeature-collection.sl.nsw.gov.au/record/74VvWLlDdM43

Other Identifiers

ISBN

9814021725 (hardcover)

9789814021722 (hardcover)

DDC

511.3

MMS ID

991011980459702626

How to access this item

1 of 0Request as a Library member