K3 schrieb am 15.07.2023 10:17:
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.
Also gut - jeder hat so seine Aufgaben - oder stellt sich selber welche.
Möglich bleibt aber weiterhin der Musksche Fenstersturz!
Und auch nach seinem Ableben könnte jemand aus die Idee kommen, seinen Sarg aus dem Fenster zu werfen..
So, wie ich ihn "kenne", wird er sich aber wohl mit einer Space-Z ins Universum schicken lassen.