News for hackers. Stuff that matters.
Re:Number theorist fears many proofs widely considered to be... by dorchadas on Sunday September 29, 2019 @03:03PM (#21108983)
In this case, it likely applies to every aspect of modern day life. Man is no longer a generalist, and we are forced to build upon the foundations others have put, and hope they work.
Re:Number theorist fears many proofs widely considered to be... by casefields on Monday September 30, 2019 @02:35AM (#21112294)
No one human knows how to make a pencil: https://fee.org/resources/i-pencil/
Re:Number theorist fears many proofs widely considered to be... by imglorp on Monday September 30, 2019 @02:11PM (#21118096)
Beautifully put, with afterward from Milton Freidman putting it into context.