Das verschiebt das Problem zum Mathematiker, denn:tomS hat geschrieben:Sie kann das Konzept nicht selbst entwickeln, aber "man" kann es auf ihr implementieren.
Woran will man festmachen, dass auf der Maschine tatsächlich diese Axiome, Definitionen und Theoreme und deren Beweise laufen und nicht nur irgendwelche sinnlosen 1er und 0er oder vielleicht gar ganz andere Beweise/Dinge, etc.? Auf so einer Maschine können (Programmier-) Schichten über Schichten liegen und erst auf der obersten erscheint vielleicht das Implementierte. Ebenso kann bei genügender Komplexität ein und dasselbe Treiben auf der Maschine beliebig viele Bedeutungen/Inhalte haben. Welche ist die "richtige"?
Um festzumachen, dass auf der Maschine tatsächlich das Gesagte implementiert ist, braucht es sozusagen einen Schlüssel, der dem zunächst sinnlosen Treiben aus 1ern und 0ern einen darüber hinausgehenden Sinn gibt. D.h.: Der Mathematiker (bzw. die interpretierende Einheit) muss eben dies so interpretieren/erkennen/begreifen/deuten - und dafür braucht er zwingend schon im Voraus ein oder mehrere andere Konzepte in seinem Kopf, die ihm dieses erst ermöglichen.
Problem: Wo kommt dieses andere Konzept in der interpretierenden Einheit dann her?
Ich glaube, wenn man das weiter reduktionistisch denkend verfolgt, landet man recht schnell in einem infiniten Regress.
Ergo: Reduktionistisches Denken hilft hier ab einer bestimmten Stelle nicht mehr weiter.
Und das hier ist reduktionistisch gedacht:
Das Konzept ist eben mehr als das, da es als solches auch erkannt werden muss, es ist nicht "an sich" schon ein bestimmtes Konzept, jedenfalls nicht auf seiner elementaren Ebene aus 1ern und 0ern.Und zwar ganz einfach deswegen, weil das Konzept nichts anderes ist als eine endliche Menge endlicher Axiome, Definitionen und Theoreme sowie deren Beweise.
Ein Ausweg könnte sein, wenn die Maschine selbt erkennen/bestimmen und damit eindeutig definieren könnte, was da auf ihr implementiert ist und was nicht.
Und deshalb stellt sich immer noch die Frage, ob eine diskret arbeitende Maschine das prinzipiell kann oder nicht.
Warum soll eine solche Maschine das prinzipiell nicht können, eigene Konzepte entwickeln?
Gruß
seeker