4 ms·
Your comment inspired an interesting (to me at least) thought. I'm imagining a world where mathematics becomes too advanced for even the brightest human being,
by idolaspecus 6y ago
Your comment inspired an interesting (to me at least) thought. I'm imagining a world where mathematics becomes too advanced for even the brightest human being, but progress is preserved by proof-generating programs running in data centers. The data centers churn out exabytes of mathematical proofs, and humanity employs an army of what are effectively philologists/semioticians to dissect, mine, and excavate these proofs for meaning.
- dwohnitmok 6y agoTed Chiang has a (very) short story exploring this idea, with metahumans replacing data centers here: https://www.nature.com/articles/35014679 https://www.nature.com/articles/35014679
- agar 6y agoThank you for that link. A very interesting story, with surprising philosophical depth given its brevity.
- brzozowski 6y agoAnd when your surpassing creations find the answers you asked for, you can’t understand their analysis and you can’t verify their answers. You have to take their word on faith—Or you use information theory to flatten it for you, to squash the tesseract into two dimensions and the Klein bottle into three, to simplify reality and pray to whatever Gods survived the millennium that your honorable twisting of the truth hasn’t ruptured any of its load-bearing pylons. You hire people like me; the crossbred progeny of profilers and proof assistants and information theorists… In formal settings you’d call me Synthesist. —Peter Watts, Blindsight (2006) [1]: https://www.rifters.com/real/Blindsight.htm https://www.rifters.com/real/Blindsight.htm