In contrast to the theories considered so far (e.g. the theory of finite fields, the theory of almost all fields ℚ(σ1,…,σ e ) for fixed e, and the theory of perfect PAC fields of bounded corank), the theory of perfect PAC fields is undecidable. This is the main result of this chapter (Corollary 28.10.2). An application of Cantor’s diagonalization process to Turing machines shows that certain families of Turing machines are nonrecursive. An interpretation of these machines in the theory of graphs shows the latter theory to be undecidable. Finally, Frattini covers interpret the theory of graphs in the theory of fields. This applies to demonstrate the undecidability of the theory of perfect PAC fields.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
(2008). Undecidability. In: Field Arithmetic. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics, vol 11. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-77270-5_28
Download citation
DOI: https://doi.org/10.1007/978-3-540-77270-5_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-77269-9
Online ISBN: 978-3-540-77270-5
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)