[Art competition] The Undecidability of Mathematics #256
pingpingy1
started this conversation in
Art competition
Replies: 1 comment
-
Good. Keep going. |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Short Description
For me, [the undecidability of mathematics] means "[a taller tower of babel hidden in fog and the empire state building in construction, digital art]".
Long Description (up to 3 sentences)
We once hoped to meet God himself by building a really high tower that reached Him, but we were damned to fail that project.
Likewise, we once hoped that all mathematics could be automated by building a sophisticated computer that will prove all true theorems, but we learned that such a task was impossible, proven by Turing and Rice.
Nonetheless, we still try to get as close as possible to the holy grail of perfect program synthesis, knowing we will fail, but successfully placing one more brick on the Empire State Building, making it that much taller and reaching that much closer to the tower of Babel.
Beta Was this translation helpful? Give feedback.
All reactions