Preprint, March 2020

arXiv:2003.14342

- Download arXiv preprint
- Talk by Gabriel Nivasch "at"
the Department of Mathematical Logic, Moscow, May 2020
- OEIS entry for –log
_{2}(gap between n and the smallest fusible number larger than n) - Watch Brian Brushwood and friends and Dianna Cowern (Physics Girl) and Simone Giertz and Dan Finkel at TED-Ed discuss the original fuse problem

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) 17 Jun 2020