In these days in which "exponential growth" has such ominous connotations, we are pleased to announce our new paper which includes fast-growing functions in a much lighter setting. Fusible numbers and Peano Arithmetic. https://arxiv.org/abs/2003.14342 . Joint work with @jeffgerickson and @alreadydone
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!