Thinking about gödel and turing essays on complexity, 1970-2007

Gregory J. Chaitin, Paul Davies

Research output: Book/ReportBook

15 Citations (Scopus)

Abstract

Dr Gregory Chaitin, one of the world’s leading mathematicians, is best known for his discovery of the remarkable O number, a concrete example of irreducible complexity in pure mathematics which shows that mathematics is infinitely complex. In this volume, Chaitin discusses the evolution of these ideas, tracing them back to Leibniz and Borel as well as Gödel and Turing. This book contains 23 non-technical papers by Chaitin, his favorite tutorial and survey papers, including Chaitin’s three Scientific American articles. These essays summarize a lifetime effort to use the notion of program-size complexity or algorithmic information content in order to shed further light on the fundamental work of Gödel and Turing on the limits of mathematical methods, both in logic and in computation. Chaitin argues here that his information-theoretic approach to metamathematics suggests a quasi-empirical view of mathematics that emphasizes the similarities rather than the differences between mathematics and physics. He also develops his own brand of digital philosophy, which views the entire universe as a giant computation, and speculates that perhaps everything is discrete software, everything is 0‘s and 1‘s. Chaitin’s fundamental mathematical work will be of interest to philosophers concerned with the limits of knowledge and to physicists interested in the nature of complexity.

Original languageEnglish (US)
PublisherWorld Scientific Publishing Co.
Number of pages347
ISBN (Electronic)9789812708977
ISBN (Print)9812708960, 9789812708953
DOIs
StatePublished - Jan 1 2007

Fingerprint

Physics
Mathematics
Fundamental
Metamathematics
Software
Philosopher
Giant
Mathematical Methods
Physicists
Mathematicians
Tutorial
Gottfried Wilhelm Leibniz
Logic
Universe
Philosophy

ASJC Scopus subject areas

  • Arts and Humanities(all)
  • Computer Science(all)

Cite this

Thinking about gödel and turing essays on complexity, 1970-2007. / Chaitin, Gregory J.; Davies, Paul.

World Scientific Publishing Co., 2007. 347 p.

Research output: Book/ReportBook

Chaitin, Gregory J. ; Davies, Paul. / Thinking about gödel and turing essays on complexity, 1970-2007. World Scientific Publishing Co., 2007. 347 p.
@book{f7425740aee5409e957b3f3ae9e63bcb,
title = "Thinking about g{\"o}del and turing essays on complexity, 1970-2007",
abstract = "Dr Gregory Chaitin, one of the world’s leading mathematicians, is best known for his discovery of the remarkable O number, a concrete example of irreducible complexity in pure mathematics which shows that mathematics is infinitely complex. In this volume, Chaitin discusses the evolution of these ideas, tracing them back to Leibniz and Borel as well as G{\"o}del and Turing. This book contains 23 non-technical papers by Chaitin, his favorite tutorial and survey papers, including Chaitin’s three Scientific American articles. These essays summarize a lifetime effort to use the notion of program-size complexity or algorithmic information content in order to shed further light on the fundamental work of G{\"o}del and Turing on the limits of mathematical methods, both in logic and in computation. Chaitin argues here that his information-theoretic approach to metamathematics suggests a quasi-empirical view of mathematics that emphasizes the similarities rather than the differences between mathematics and physics. He also develops his own brand of digital philosophy, which views the entire universe as a giant computation, and speculates that perhaps everything is discrete software, everything is 0‘s and 1‘s. Chaitin’s fundamental mathematical work will be of interest to philosophers concerned with the limits of knowledge and to physicists interested in the nature of complexity.",
author = "Chaitin, {Gregory J.} and Paul Davies",
year = "2007",
month = "1",
day = "1",
doi = "10.1142/6536",
language = "English (US)",
isbn = "9812708960",
publisher = "World Scientific Publishing Co.",

}

TY - BOOK

T1 - Thinking about gödel and turing essays on complexity, 1970-2007

AU - Chaitin, Gregory J.

AU - Davies, Paul

PY - 2007/1/1

Y1 - 2007/1/1

N2 - Dr Gregory Chaitin, one of the world’s leading mathematicians, is best known for his discovery of the remarkable O number, a concrete example of irreducible complexity in pure mathematics which shows that mathematics is infinitely complex. In this volume, Chaitin discusses the evolution of these ideas, tracing them back to Leibniz and Borel as well as Gödel and Turing. This book contains 23 non-technical papers by Chaitin, his favorite tutorial and survey papers, including Chaitin’s three Scientific American articles. These essays summarize a lifetime effort to use the notion of program-size complexity or algorithmic information content in order to shed further light on the fundamental work of Gödel and Turing on the limits of mathematical methods, both in logic and in computation. Chaitin argues here that his information-theoretic approach to metamathematics suggests a quasi-empirical view of mathematics that emphasizes the similarities rather than the differences between mathematics and physics. He also develops his own brand of digital philosophy, which views the entire universe as a giant computation, and speculates that perhaps everything is discrete software, everything is 0‘s and 1‘s. Chaitin’s fundamental mathematical work will be of interest to philosophers concerned with the limits of knowledge and to physicists interested in the nature of complexity.

AB - Dr Gregory Chaitin, one of the world’s leading mathematicians, is best known for his discovery of the remarkable O number, a concrete example of irreducible complexity in pure mathematics which shows that mathematics is infinitely complex. In this volume, Chaitin discusses the evolution of these ideas, tracing them back to Leibniz and Borel as well as Gödel and Turing. This book contains 23 non-technical papers by Chaitin, his favorite tutorial and survey papers, including Chaitin’s three Scientific American articles. These essays summarize a lifetime effort to use the notion of program-size complexity or algorithmic information content in order to shed further light on the fundamental work of Gödel and Turing on the limits of mathematical methods, both in logic and in computation. Chaitin argues here that his information-theoretic approach to metamathematics suggests a quasi-empirical view of mathematics that emphasizes the similarities rather than the differences between mathematics and physics. He also develops his own brand of digital philosophy, which views the entire universe as a giant computation, and speculates that perhaps everything is discrete software, everything is 0‘s and 1‘s. Chaitin’s fundamental mathematical work will be of interest to philosophers concerned with the limits of knowledge and to physicists interested in the nature of complexity.

UR - http://www.scopus.com/inward/record.url?scp=84967484688&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84967484688&partnerID=8YFLogxK

U2 - 10.1142/6536

DO - 10.1142/6536

M3 - Book

AN - SCOPUS:84967484688

SN - 9812708960

SN - 9789812708953

BT - Thinking about gödel and turing essays on complexity, 1970-2007

PB - World Scientific Publishing Co.

ER -