This issue was moved to a discussion.
You can continue the conversation there. Go to discussion →
[Art competition] The Undecidability of Mathematics #122
Labels
You can continue the conversation there. Go to discussion →
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.
The text was updated successfully, but these errors were encountered: