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

@11011110 I don't know any of the famous people 🤭

https://arxiv.org/abs/2004.01453

@11011110 @jeffgerickson @alreadydone Not \(\omega^\omega\), but \(\varepsilon_0\)

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

@11011110 Very impressive! They mention casually in the abstract that P=NP

Joined Mar 2019