LISP program-size complexity. II (Q1200219)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | LISP program-size complexity. II |
scientific article |
Statements
LISP program-size complexity. II (English)
0 references
17 January 1993
0 references
information-theoretic incompleteness theorems
0 references
program-size complexity
0 references
LISP halting probability
0 references
0 references