Unprovability, phase transitions and the Riemann zeta-function
- Author
- Andrey Bovykin and Andreas Weiermann (UGent)
- Organization
- Abstract
- Unprovability Theory started with Kurt Gödel’s incompleteness theorems in 1931 but only gained mathematical significance since the late 1970s when Jeff Paris and Harvey Friedman discovered the first few families of interesting combinatorial statements that cannot be proved using the axioms of Peano Arithmetic or even some stronger axiomatic systems. In this survey article we briefly introduce the subject of Unprovability Theory to non-logicians and describe two of its directions that have recently been pursued by the authors, namely phase transitions and encodings of Ramsey-like statements using the Riemann zeta-function. Phase transitions between provability and unprovability of parameterised families of assertions were introduced by the second author in 2000. We give several examples and sketch some explanations of the reasons behind this phenomenon. Unprovability results that involve the Riemann zeta function are consequences of classical results about the Riemann zeta-function: Bohr’s almost periodicity and Voronin’s universality theorems. We also indicate how the universality phenomenon will give us many more unprovable assertions in the future.
- Keywords
- unprovability, Peano arithmetic, Riemann zeta function, phase transitions
Downloads
-
(...).pdf
- full text
- |
- UGent only
- |
- |
- 248.13 KB
Citation
Please use this url to cite or link to this publication: http://hdl.handle.net/1854/LU-861950
- MLA
- Bovykin, Andrey, and Andreas Weiermann. “Unprovability, Phase Transitions and the Riemann Zeta-Function.” Berichte Aus Der Mathematik, edited by Rasa Steuiding, Shaker Verlag, 2009, pp. 19–38.
- APA
- Bovykin, A., & Weiermann, A. (2009). Unprovability, phase transitions and the Riemann zeta-function. In R. Steuiding (Ed.), Berichte aus der Mathematik (pp. 19–38). Aachen: Shaker Verlag.
- Chicago author-date
- Bovykin, Andrey, and Andreas Weiermann. 2009. “Unprovability, Phase Transitions and the Riemann Zeta-Function.” In Berichte Aus Der Mathematik, edited by Rasa Steuiding, 19–38. Aachen: Shaker Verlag.
- Chicago author-date (all authors)
- Bovykin, Andrey, and Andreas Weiermann. 2009. “Unprovability, Phase Transitions and the Riemann Zeta-Function.” In Berichte Aus Der Mathematik, ed by. Rasa Steuiding, 19–38. Aachen: Shaker Verlag.
- Vancouver
- 1.Bovykin A, Weiermann A. Unprovability, phase transitions and the Riemann zeta-function. In: Steuiding R, editor. Berichte aus der Mathematik. Aachen: Shaker Verlag; 2009. p. 19–38.
- IEEE
- [1]A. Bovykin and A. Weiermann, “Unprovability, phase transitions and the Riemann zeta-function,” in Berichte aus der Mathematik, Würzburg, 2009, pp. 19–38.
@inproceedings{861950,
abstract = {{Unprovability Theory started with Kurt Gödel’s incompleteness theorems in 1931 but only gained mathematical significance since the late 1970s when Jeff Paris and Harvey Friedman discovered the first few families of interesting combinatorial statements that cannot be proved using the axioms of Peano Arithmetic or even some stronger axiomatic systems. In this survey article we briefly introduce the subject of Unprovability Theory to non-logicians and describe two of its directions that have recently been pursued by the authors, namely phase transitions and encodings of Ramsey-like statements using the Riemann zeta-function. Phase transitions between provability and unprovability of parameterised families of assertions were introduced by the second author in 2000. We give several examples and sketch some explanations of the reasons behind this phenomenon. Unprovability results that involve the Riemann zeta function are consequences of classical results about the Riemann zeta-function: Bohr’s almost periodicity and Voronin’s universality theorems. We also indicate how the universality phenomenon will give us many more unprovable assertions in the future.}},
author = {{Bovykin, Andrey and Weiermann, Andreas}},
booktitle = {{Berichte aus der Mathematik}},
editor = {{Steuiding, Rasa}},
issn = {{0945-0882}},
keywords = {{unprovability,Peano arithmetic,Riemann zeta function,phase transitions}},
language = {{eng}},
location = {{Würzburg}},
pages = {{19--38}},
publisher = {{Shaker Verlag}},
title = {{Unprovability, phase transitions and the Riemann zeta-function}},
year = {{2009}},
}