🔥Submitted to the 61st Annual IEEE Symposium on Foundations of Computer Science (2020).

arXiv:2003.14342

Abstract:

Inspired by a mathematical riddle involving fuses, we define thefusiblenumbers as follows: 0 is fusible, and wheneverxandyare fusible with |y−x|<1, the number (x+y+1)/2 is also fusible. We prove that the set of fusible numbers, ordered is well-ordered, with order type ε₀. Furthermore, we prove that the density of the fusible numbers along the real line grows at an incredibly fast rate: Lettingg(n) be the largest gap between consecutive fusible numbers greater than or equal ton, we have 1/g(n) ≥F_{ε₀}(n−c) for some constantc, whereF_{α}denotes the fast-growing hierarchy. Finally, we derive some true statements that can be formulated but not proven in Peano Arithmetic, of a different flavor than previously known such statements. For example, PA cannot prove the true statement “For every natural numbernthere exists a smallest fusible number larger thann.”

Publications - Jeff Erickson (jeffe@illinois.edu) 01 Apr 2020