Is Complexity a Source of Incompleteness?

Is Complexity a Source of Incompleteness? (2004)

Cached

Download Links

by Cristian S. Calude , Helmut Jürgensen

Venue:	IS COMPLEXITY A SOURCE OF INCOMPLETENESS
Citations:	6 - 5 self

BibTeX

@MISC{Calude04iscomplexity,
    author = {Cristian S. Calude and Helmut Jürgensen},
    title = {      Is Complexity a Source of Incompleteness?},
    year = {2004}
}

Bookmark

OpenURL

Abstract

Citations

1412	An introduction to Kolmogorov complexity and its applications, Second edn - Li, Vitanyi - 1997
308	Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. I. Monatshefte fr Mathematik und Physik - Gödel - 1931
274	A Theory of Program Size Formally Identical to Information Theory - Chaitin - 1975
264	Algorithmic Information Theory - Chaitin - 1987
155	2002, Computability and Logic - Boolos, Burgess, et al.
125	On Hilbert’s tenth problem - Matiyasevich - 2000
123	Algorithmic randomness and complexity - Downey, Hirschfeldt - 2010
108	Information and Randomness — An Algorithmic Perspective - Calude - 1994
105	personal communication - TOMITA, MILLER - 1962
64	A Mathematical Incompleteness in Peano Arithmetic, in Handbook for Mathematical Logic - Paris, Harrington - 1977
58	The limits of mathematics - Chaitin - 1998
52	The incompleteness theorems - Smorynski - 1989
47	Gödel’s theorem and information - Chaitin
43	Information-theoretic limitations of formal systems - Chaitin - 1974
33	Incompleteness theorems for random reals - Chaitin - 1987
31	Theories of Computational Complexity - Calude - 1988
26	Gödel’s Proof - Nagel, Newman - 1960
21	What is a computation - Davis - 1978
19	Logical Dilemmas. The Life and Work of Kurt Gödel - Dawson - 1997
18	Is independence an exception - Calude, Jürgensen, et al. - 1994
18	Impossibility: the limits of science and the science of limits - Barrow - 1998
16	Calude, Information and Randomness: An Algorithmic Perspective, 2nd Edition (Springer-Verlag - S - 2002
16	Complexité et Hasard - Information - 1994
14	Chaitin Ω numbers, Solovay machines and incompleteness, Theoret - Calude
13	Algorithmic information theory - Lambalgen - 1989
13	Cornerstones of undecidability - Rozenberg, Salomaa - 1994
13	Randomness and mathematical proof’, Scientific American 232 - Chaitin - 1975
12	Independence results in computer science - Hartmanis, Hopcroft - 1976
12	A Logical Journey. From Gödel to Philosophy - Wang - 1996
9	Algorithmically coding the universe - Calude, Salomaa - 1994
9	On interpreting Chaitin’s Incompleteness Theorem - Raatikainen - 1998
8	Mathematical jujitsu: Some informal thoughts about Gödel and physics - Barrow
8	LISP program-size complexity - Chaitin - 1992
8	Heijenoort (Ed.), From Frege to Gödel. A Source Book - van - 1967
7	The work of Kurt Gödel - Kleene - 1976
6	Five More Golden Rules - Casti - 2000
6	Gödel’s theorems - Detlefsen - 1998
6	Does Gödel’s theorem matter to mathematics - Kolata - 1985
6	Logical Dilemmas. The Life and Work of Kurt Gödel - JR - 1997
6	complexity, randomness and beyond, Minds and Machines - Incompleteness
5	Independent instances for some undecidable problems - Calude, Păun - 1983
4	complexity, randomness and beyond - Calude, Incompleteness - 2002
4	Randomness and mathematical proof, Sci - Chaitin - 1975
4	Gödel, Biographical Memoirs of Fellows of the Royal - Kurt - 1980
3	Calude, Chaitin Ω numbers, Solovay machines and incompleteness, Theoret - S - 2002
3	The source of Chaitin’s incorrectness - Fallis - 1996
3	On Gödel - Hintikka - 2000
2	The Limits of Science and the Science of Limits - Impossibility - 1998
2	Calude, A genius’s story: two books on Gödel. The life and works of a master logician - S - 1997
2	Theories of Computational Compexity - Calude - 1988