The Limits of Mathematics---Course Outline and Software

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

A remarkable new definition of a self-delimiting universal Turing machine is presented that is easy to program and runs very quickly. This provides a new foundation for algorithmic information theory. This new universal Turing machine is implemented via software written in Mathematica and C. Using this new software, it is now possible to give a self-contained ``hands on'' mini-course presenting very concretely the latest proofs of the fundamental information-theoretic incompleteness theorems.
LaTeX

Keywords

Chaotic Dynamics, Adaptation and Self-Organizing Systems

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/147349

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/chao-dyn/9312006
 http://arxiv.org/abs/chao-dyn/9312006

Collections

arXiv