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/
Most of us build on top of a mountain of existing work; sometimes just setting a pebble on top and we have a new thing. But no human alive has seen, could remember, or could understand, each and every behavior down in that mountain, from pixels on the screen to pulses on the phy all the way to gates inside their processors.
So you read about the APIs you need; you set your pebble down with a little glue or duct tape; you hope you've connected it correctly; you hope the rest of the mountain works how you want; you hope you didn't miss any use cases for interfacing to the mountain; and you hope it doesn't have any undocumented surprises. Abelson and Sussman called this engineering by poking (1).
Of course, if you want to make something work fast with minimal work, this is great, it's the component future we dreamed about. But it also means we are clueless.
1. http://lambda-the-ultimate.org/node/5335