ALGORITHMIC INFORMATION THEORY

G J , Chaitin (2009) ALGORITHMIC INFORMATION THEORY. Buku, Vol.1 (No. 1). Yorktown Heights.

[img] Text (ALGORITHMIC INFORMATION THEORY)
Algorithmic Information Theory.pdf - Published Version
Restricted to Registered users only

Download (919kB)

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.

Item Type: Book
Uncontrolled Keywords: ALGORITHMIC, INFORMATION, THEORY
Subjects: Algoritma E-book
Divisions: Buku
Depositing User: Edi Prasetya [edi_hoki]
Date Deposited: 18 Apr 2013 20:47
Last Modified: 26 Aug 2016 08:31
URI: http://digilib.uin-suka.ac.id/id/eprint/7047

Share this knowledge with your friends :

Actions (login required)

View Item View Item
Chat Kak Imum