I wrote a short note [1] to try and clear up some of the misconceptions in this thread. Feedback welcome; Hacker News thread for the short note at [2]. [1]: ht

I wrote a short note [1] to try and clear up some of the misconceptions in this thread. Feedback welcome; Hacker News thread for the short note at [2]. [1]: https://www.patrickstevens.co.uk/finitistic-reducibility/ https://www.patrickstevens.co.uk/finitistic-reducibility/ [2]: https://news.ycombinator.com/item?id=11769425 https://news.ycombinator.com/item?id=11769425