The Limits of Mathematics---Third Version

G. J. Chaitin

Home/Archive/arXiv

arXiv · chao-dyn/9407006

The Limits of Mathematics---Third Version

G. J. Chaitin

View original source ↗Read source document ↗Export metadata ↓

Abstract

This is yet another version of the course notes in chao-dyn/9407003. Here we change the universal Turing machine that is used to measure program-size complexity so that the constants in our information-theoretic incompleteness theorems are further reduced. This is done by inventing a more complicated version of lisp in which the parentheses associating defined functions with their arguments can be omitted. This is the third and last version of my course notes. It is not clear to me which is to be preferred, so all three have been made available for comment.

Explore related subjects

chao-dyn nlin.CD

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

G. J. Chaitin. 1994-07-20. The Limits of Mathematics---Third Version. https://arxiv.org/abs/chao-dyn/9407006

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2024

Dynamical ensembles equivalence in fluid mechanics

Dissipative Euler and Navier Stokes equations are discussed with the aim of proposing several experiments apt to test the equivalence of dynamical ensembles and the chaotic hypothesis.

chao-dyn↗

arXiv2015

The Bogdanov Map: Bifurcations, Mode Locking, and Chaos in a Dissipative System

We investigate the bifurcations and basins of attraction in the Bogdanov map, a planar quadratic map which is conjugate to the Hénon area-preserving map in its conservative limit. It undergoes a Hopf bifurcation as dissipation is added, and exhibits the panoply of mode locking, Arnold tongues, and chaos as an invariant circle grows out, finally to be destroyed in the homoclinic tangency of the manifolds of a remote saddle point. The Bogdanov map is the Euler map of a two-dimensional system of ordinary differential equations first considered by Bogdanov and Arnold in their study of the versal unfolding of the double-zero-eigenvalue singularity, and equivalently of a vector field invariant under rotation of the plane by an angle $2π$. It is a useful system in which to observe the effect of dissipative perturbations on Hamiltonian structure. In addition, we argue that the Bogdanov map provides a good approximation to the dynamics of the Poincaré maps of periodically forced oscillators.

chao-dyn↗

arXiv2012

Passive Scalars and Three-Dimensional Liouvillian Maps

Global aspects of the motion of passive scalars in time-dependent incompressible fluid flows are well described by volume-preserving (Liouvillian) three-dimensional maps. In this paper the possible invariant structures in Liouvillian maps and the two most interesting nearly-integrable cases are investigated. In addition, the fundamental role of invariant lines in organizing the dynamics of this type of system is exposed. Bifurcations involving the destruction of some invariant lines and tubes and the creation of new ones are described in detail.

chao-dyn↗