nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq78vd5v45wtej6athxedjs2csavl8qldapzhukcgcjecvgeg80mzsvzkzce the funny thing is that calculus was invented with an informal version of hyperreals i...
@nprofile1q... Random update, but I'm definitely getting the impression that while the usage / informal of infinitesimals is more intuitive, the underlying work / formalization is anything but, lol
These filters are unfriendly, to say the least
These filters are unfriendly, to say the least