LISP program-size complexity. II

DOI10.1016/0096-3003(92)90100-FMaRDI QIDQ1200219zbMATH OpenOpenAlexFDO

Authors Gregory J. Chaitin

Publication date 17 January 1993

Published in Applied Mathematics and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0096-3003(92)90100-f

zbMATH Keywords

information-theoretic incompleteness theoremsLISP halting probabilityprogram-size complexity

Mathematics Subject Classification ID

Algorithmic information theory (Kolmogorov complexity, etc.) (68Q30)

Recommendations

• LISP program-size complexity. III
• LISP program-size complexity. IV
• LISP program-size complexity
• A LISP programming exercise
• On the computational complexity of imperative programming languages
• scientific article; zbMATH DE number 3874574
• On deriving a LISP program from its specification

Cites work

• Gödel's theorem and information
• scientific article; zbMATH DE number 412253 (Why is no real title available?)
• scientific article; zbMATH DE number 44959 (Why is no real title available?)
• scientific article; zbMATH DE number 53705 (Why is no real title available?)
• scientific article; zbMATH DE number 976355 (Why is no real title available?)
• Information-Theoretic Incompleteness
• Information-Theoretic Limitations of Formal Systems
• LISP program-size complexity
• Proof of Recursive Unsolvability of Hilbert's Tenth Problem
• RANDOMNESS AND COMPLEXITY IN PURE MATHEMATICS
• Register machine proof of the theorem on exponential diophantine representation of enumerable sets

Cited in

(6)

• LISP program-size complexity. III
• LISP program-size complexity. IV
• Is complexity a source of incompleteness?
• A program-size complexity measure for mathematical problems and conjectures
• scientific article; zbMATH DE number 1342342 (Why is no real title available?)
• Natural halting probabilities, partial randomness, and zeta functions

This page was built for publication: LISP program-size complexity. II

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1200219)