Goedel was not playing chess with death like the medieval crusader in the film , but he played against himself unbeknownst to him... This part of ourself which is impersonal pure possible evil: cold ice mechanical logic...
Mathematics itself is not logical and is not LOGIC, it is a work of love, all possible and contingencies, and necessities are preserved by the living universal imagination...The translation of all possible worlds in one another maintain freedom and choices... Goedel Famous incompletude theorems speak about mathematics being a a growing infinite living cellulars organism flowering structure born from love ... not a logical uncompleted frozen tree...
Logic is one of the tool with which man studies forms and numbers and abstract infinite language...Language is also a tool to study mathematics...Art is a tool...
nature is a tool.... Our imagination is the main tool....Computers are a tool also...
But A.I. computerized proving machine and survey will never create meaning.... meaning are always also mystereies and not only known significations...