Fusible numbers and Peano Arithmetic. 1h 15m talk https://youtu.be/FjMNjMCmjP4

http://www.mathnet.ru/php/conference.phtml?option_lang=eng&eventID=9&confid=876

https://arxiv.org/abs/2004.01453

@bremner Me, a Mathematica user for decades: Why yes, (#^%%)! & /@ %%% seems like a perfectly reasonable thing to write, why do you ask?

How to peel self-intersecting onions: https://arxiv.org/abs/1909.00263

Joined Mar 2019