000 01224 a2200253 4500
003 Nust
005 20220802114215.0
010 _a 87015876
020 _a0521343062
040 _cNust
082 0 0 _a005.1,CHA
100 1 _aChaitin, Gregory J.
_964813
245 1 0 _aAlgorithmic information theory /
_cGregory J. Chaitin.
260 _aCambridge [Cambridgeshire] ;
_aNew York :
_bCambridge University Press,
_c1987.
300 _ax, 175 p. ;
_c25 cm.
440 0 _aCambridge tracts in theoretical computer science ;
_v1
_996226
505 _aIntroduction (Page-1), Formalisms For Computation (Page-6), The Arithmetization (Page-7), The Arithmetization Of Register Machines (Page-7), A Version Of Pure LISP (Page-51), The LISP Interpreter EVAL (Page-69), Conceptual Development (Page-91), Program Size (Page-106), Randomness (Page-127), Incompleteness (Page-144).
650 0 _aComputational complexity.
_939112
650 0 _aLISP (Computer program language)
_990414
650 0 _aMachine theory.
_918056
856 4 1 _3Publisher description
_uhttp://www.loc.gov/catdir/description/cam023/87015876.html
856 4 1 _3Table of contents
_uhttp://www.loc.gov/catdir/toc/cam031/87015876.html
942 _2ddc
_cBK
_k005.1,CHA
999 _c176502
_d176502