ondori schrieb am 14.07.2023 23:45:
Also nichts für ungut, aber ist Gödel denn noch aktuell? Wir haben heute Quantencomputer mit "beliebig" großen Rechenkapazitäten!
Die Turingmaschine ist auch beliebig groß. Das ist nicht Thema der Berechenbarkeitstheorie.
Mathematische Beweise wie die von Gödel oder Turing werden nicht falsch, nur weil Computer schneller werden.
Und wenn sich Musk hinstellt und von den letzten Wahrheiten des Universums phantasiert, dann ist das schon ziemlich weit aus dem Fenster gelehnt. Mich hat das spontan ans Hilbertprogramm erinnert. Wofür Gödel bewiesen hat, dass es nicht möglich ist.
Das Posting wurde vom Benutzer editiert (15.07.2023 10:32).