Guten Tag,
AGI123 schrieb am 14.05.2020:In den englischen Foren wird bereits über einen Wissenschaftler gesprochen, namens B. A. Rehl, ein enger Freund (laut ihm) von Douglas Hofstadter, ein anderer bekannter kognitiv-Wissenschaftler. Rehl ist momentan der führender Bewusstseinsforscher und AGI Experte [ https://www.quora.com/profile/B-A-Rehl ]
https://www.reddit.com/r/agi/comments/g4gr3z/b_a_rehls_impending_agi_theory/ (Archiv-Version vom 15.06.2023)
Rehl hat zwei Therien aufgestellt:
1) abstract information theory
2) Knowledge Theory
Also, führender Bewusstseinsforscher ist hier kein treffender Ausdruck für den Herrn Rehl.
Douglas Hofstadter hat vor einigen Jahrzehnten mal GEB (Gödel, Escher & Bach) verfasst, was recht informativ ist, ich vermute mal, dass er da startk von beeinflusst wurde.
Wenn man sich da mal auf seinen Profil umsieht, sieht man durchaus abenteuerliche Aussagen wie z.B. die "Unmöglichkeit von Quantencomputern".
AGI123 schrieb am 14.05.2020:So was haltet ihr von seiner Theorie und Fortschritt? Wie aussagekräftig ist das, was man hier sehen kann?
Es ist nicht allzu interessant:
Ob das Universum eine Simulation ist oder nicht ist schwer zu verifizieren. In einigen Theorien, gibt es physikalische Gesetze die nicht von Turing Maschinen berechnet werden können, somit auch nicht von Computern simuliert werden können.
Ein Beispiel hierfür ist z.B. die Spectral Gap
Wikipedia: Spectral gap (physics) Kein Algorithmus kann für dieses hypothetische Material bestimmen, ob ein Spectral Gap existiert.
Anderes Beispiel, welches in einigen Formulierungen der Stringtheorie verwendet wird ist die Unentscheidbarkeit des Homöomorphismus problems für 4 Mannigfaltigkeiten
https://arxiv.org/pdf/gr-qc/0506019.pdfEs gibt keinerlei Möglichkeit, das auf einer Turing Maschine zu simulieren (Alle Computer die wir konstruieren können, auch Quantencomputer, sind turing äquivalent). Wenn es gelingt, einen Computer zu bauen, der einen Supertask ausführt (
Wikipedia: Supertask), wäre auch bewiesen, dass das Universum nicht turing computable ist.
Es wird sich zeigen, ob eine endgültige Theorie der Physik unentscheidbare Funktionen enthält.
Es existieren zumindest in der mathematischen Theorie stärkere Klassen von Rechnern bzw. Konzepten die solchen ermöglichen, wie z.B. die Zeno Maschine, Infinite Time Turing Maschines oder Malament–Hogarth Raumzeit, die nicht turing berechenbare Probleme lösen können.
Wie von Roger Penrose auch gegenüber Hofstadter erwähnt, ist es ein einfaches Korrolar zur Turing Berechenbarkeit menschlichen Bewusstsein wäre im Übrigen, dass es Zahlen gibt, die ein eigenes Bewusstsein haben.
Erwähnt Penrose auch hier im Video
Roger Penrose: Physics of Consciousness and the Infinite Universe | Lex Fridman Podcast #85
Externer Inhalt
Durch das Abspielen werden Daten an Youtube übermittelt und ggf. Cookies gesetzt.
Die Überlegung ist trivial:
1) Jede Turing Maschine durch eine endliche Sequenz {1,0}^n codiert werden (So bereits bewiesen in Turing's Orginal Papper).
2) Das Bewusstsein ist auf das Neuronale Netz im Gehirn zurückzuführen.
3) Neuronale Netze sind algorithmisch berechenbar.
4) Nach der Church Turing These existiert also eine TM, die den Algorithmus entspricht.
5) Aus 1) folgt nun, dass 4) durch eine endliche Sequenz von {1,0}^n codiert werden kann.
Also gibt es Zahlen, die "bewusst" sind.
Hofstadler hat das auch so akzeptiert.
Für mich, zusammen mit dem Chinese Room Argument, Penrose und Gödels eigenen Argumenten hinsichtlich Formalisierung mathematisschen Denken und dem obigen Argument ein klarer Reductio ad Absurdum.
Bewusstsein ist algorithmisch <=> Es existierten "selbst bewusste" Zahlen.
Was auch immer Bewusstsein hervorbringt (Ich tippe da auf Orch Or Theory), es ist hypercomputable.