News for hackers. Stuff that matters.
Re:Varieties of Mathematical Understanding by yesenadam on Friday March 25, 2022 @09:16PM (#30808477)
"This essay considers ways that recent uses of computers in mathematics challenge contemporary views on the nature of mathematical understanding. It also puts these challenges in a historical perspective and offers speculation as to a possible resolution."
Re:Varieties of Mathematical Understanding by ngcc_hk on Saturday March 26, 2022 @03:53AM (#30810083)
I am more worry about those "relax" phrases. Not trusting computer to prove maths, may be I am old style. IT is my career. Maths is my love.