https://hackerpaper.kaipfister.de/p/0805.3307/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=49309396urn:hackerpapers:mention:0805.3307:49309396Sat, 15 Aug 2026 10:25:51 GMT<p>It&#x27;s a bit frustrating that smooth infinitesimal analysis isn&#x27;t mentioned even once, even as the author lists other systems that add infinitesimals to real numbers. It&#x27;s a much better system to develop calculus on. It features infinitesimals as normal everyday mathematical objects, rather than the hack that hyperreal numbers are. Of course, I know that something like SIA would never be adopted. The main problem is that it is based on intuitionistic logic rather than classical logic. As such, it requires new intuitions that may not be appropriate to develop while studying calculus (it would…</p><p><a href="https://hackerpaper.kaipfister.de/p/0805.3307/">Paper and discussion history</a>. A mention is not an endorsement.</p>math.GM