arXiv Analytics

Sign in

arXiv:1204.0299 [math.LO]AbstractReferencesReviewsResources

Undecidable problems: a sampler

Bjorn Poonen

Published 2012-04-02, updated 2014-10-25Version 2

After discussing two senses in which the notion of undecidability is used, we present a survey of undecidable decision problems arising in various branches of mathematics.

Comments: 28 pages; reference to publication added
Journal: J. Kennedy (ed.), Interpreting G\"odel: Critical essays (Cambridge Univ. Press, 2014), 211-241
Categories: math.LO
Subjects: 03D35, 00A05
Related articles: Most relevant | Search more
arXiv:1903.11932 [math.LO] (Published 2019-03-28)
Towards the undecidability of atomicity for permutation classes via the undecidability of joint embedding for hereditary graph classes
arXiv:math/0403186 [math.LO] (Published 2004-03-10)
Unified Foundations for Mathematics
arXiv:1408.1121 [math.LO] (Published 2014-08-05)
Dialectics of Counting and the Mathematics of Vagueness

Links

Toolbox