News for hackers. Stuff that matters.
Re:Non-computability of solutions of certain equations on di... by lisper on Sunday August 04, 2024 @11:58AM (#41154336)
Thanks!

I think you don't even need arctan for this. Just put one of Myhill's "bumps" at x=0 and shrink it down. That function approaches f(x)=0 for all x but its derivative at x=0 remains 1.

Re:Non-computability of solutions of certain equations on di... by ogogmad on Monday August 05, 2024 @03:07PM (#41164372)
The arctan has the advantage that it's differentiable infinitely many times over R.