ENGLISH

The unknowable

By Gregory J Chaitin

Book information

Publisher
Springer
Year
1999
ISBN
9814021725, 9789814021722
Language
english
Format
DJVU
Filesize
685 kB (701408 bytes)
Series
Springer series in discrete mathematics and theoretical computer science
Edition
draft
Pages
129\129
Library
Kolxo3
DPI
600
Time added
2013-05-29 16:00:00

Description

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?

Similar books