…
comment: The repository administrator has not yet configured an RDF license.
primary topic: ALGORITHMIC INFORMATION THEORY

ALGORITHMIC INFORMATION THEORY
type: Book
type: Article
abstract: More than half a century has passed since the famous papers Godel (1931) and Turing (1937) that shed so much light on the foundations of mathematics, and that simultaneously promulgated mathematical formalisms for specifying algorithms, in one case via primitive recursive function denitions, and in the other case via Turing machines. The development of computer hardware and software technology during this period has been phenomenal, and as a result we now know much better how to do the high-level functional programming of Godel, and how to do the low-level machine language programming found in Turing's paper. And we can actually run our programs on machines and debug them, which Godel and Turing could not do. I believe that the best way to actually program a universal Turing machine is John McCarthy's universal function EVAL. In 1960 Mc- Carthy proposed LISP as a new mathematical foundation for the theory of computation [McCarthy (1960)]. But by a quirk of fate LISP has largely been ignored by theoreticians and has instead become the standard programming language for work on articial intelligence. I believe that pure LISP is in precisely the same role in computational mathematics that set theory is in theoretical mathematics, in that it provides a beautifully elegant and extremely powerful formalism which enables concepts such as that of numbers and functions to be dened from a handful of more primitive notions.
date: 2009-03-10
volume: Vol.1
issue: No. 1
status: peerReviewed
status: published
author list: authors
type: EPrint
type: BookEPrint
is part of: repository
has document: ALGORITHMIC INFORMATION THEORY (Text)
has version: ALGORITHMIC INFORMATION THEORY (Text)
has published: ALGORITHMIC INFORMATION THEORY (Text)
has document: ALGORITHMIC INFORMATION THEORY (Other)
subject: Algoritma E-book

ALGORITHMIC INFORMATION THEORY (Text)
type: Document

Yorktown Heights
type: Organization

September 30, 1997
type: Collection

Chaitin G J
type: Person
given name: Chaitin
family name: G J

ALGORITHMIC INFORMATION THEORY (Other)
type: Document
is version of: ALGORITHMIC INFORMATION THEORY (Text)
is volatile version of: ALGORITHMIC INFORMATION THEORY (Text)
islightbox thumbnail version of: ALGORITHMIC INFORMATION THEORY (Text)
has file: lightbox.jpg
has part: lightbox.jpg

ALGORITHMIC INFORMATION THEORY (Other)
type: Document
is version of: ALGORITHMIC INFORMATION THEORY (Text)
is volatile version of: ALGORITHMIC INFORMATION THEORY (Text)
ispreview thumbnail version of: ALGORITHMIC INFORMATION THEORY (Text)
has file: preview.jpg
has part: preview.jpg

ALGORITHMIC INFORMATION THEORY (Other)
type: Document
is version of: ALGORITHMIC INFORMATION THEORY (Text)
is volatile version of: ALGORITHMIC INFORMATION THEORY (Text)
ismedium thumbnail version of: ALGORITHMIC INFORMATION THEORY (Text)
has file: medium.jpg
has part: medium.jpg

ALGORITHMIC INFORMATION THEORY (Other)
type: Document
is version of: ALGORITHMIC INFORMATION THEORY (Text)
is volatile version of: ALGORITHMIC INFORMATION THEORY (Text)
issmall thumbnail version of: ALGORITHMIC INFORMATION THEORY (Text)
has file: small.jpg
has part: small.jpg

ALGORITHMIC INFORMATION THEORY (Other)
type: Document
is version of: ALGORITHMIC INFORMATION THEORY (Text)
is volatile version of: ALGORITHMIC INFORMATION THEORY (Text)
is index codes version of: ALGORITHMIC INFORMATION THEORY (Text)

HTML Summary of #7047 ALGORITHMIC INFORMATION THEORY
format: text/html
primary topic: ALGORITHMIC INFORMATION THEORY

Algoritma E-book
type: Concept