Loading Open Internet
    Could Gödel's incompleteness theorem become a major challenge for future Artificial Intelligence?