19-12-2023, 19:43
(19-12-2023, 00:24)Ulan schrieb: Die Sache mit Goedel ist doch eher die, dass sein Beweis formal richtig ist, aber genau das, was Du sagst, der Knackpunkt ist: niemand muss seine Ausgangsbedingungen als richtig akzeptieren
es gilt für formalbeweise wie für jedes studiendesign (in internetdiskussionen das weit größere ärgernis):
garbage in - garbage out
einen gott, den es gibt, gibt es nicht (bonhoeffer)
einen gott, den es nicht gibt, braucht es nicht (petronius)
einen gott, den es nicht gibt, braucht es nicht (petronius)