Online Library TheLib.net » The unknowable
cover of the book The unknowable

Ebook: The unknowable

00
27.01.2024
0
0
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?
Download the book The unknowable for free or read online
Read Download
Continue reading on any device:
QR code
Last viewed books
Related books
Comments (0)
reload, if the code cannot be seen