Was haltet ihr von Gödels Formel, welche Gott beweist?

Kurt Gödel war ein mathematisches Genie der sich mit den Grenzen der Logik befasst hat. Diese Grenzen, hat er sozusagen festgelegt. Die naive Vorstellung der bis dato etablierten Logik in der es jenseits von wahr und falsch nichts gibt wurde entscheidend erweitert, sogar mit Einfluss auf die moderne Informatik. Er zeigte in seiner Arbeit von 1931, wohlgemerkt mit 25 Jahren, dass es wahre Aussagen geben kann, die unbeweisbar sind.

1970 machte Dana Scott den Beweis einigen Leuten zugänglich. Die Notizen gerieten in Umlauf und 1987 wurde es veröffentlicht. Dies ist die versprachlichte Form, was aber nichts anderes ist als die Beweisführung mit mathematischen Symbolen.

Es gibt keine explizite Definition für eine positive Eigenschaft, jedoch ergibt sich dies teilweise das aus den Axiomen, z.B dass ihre Negation keine positive Eigenschaft. Definitionen werden selbst festgelegt. Axiome sind Grundannahmen, die keinen Beweis benötigen. Theoreme sind aus Axiome gewonnene Lehrsätze. Mit etwas Erfahrung in Naturwissenschaften sollten diese Prinzipien einem nicht fremd vorkommen.

https://www.youtube.com/watch?v=tlYbJcvC8bM&ab_channel=InteressanteWelt

Mathematischer Hokuspokus, keine Aussagekraft 67%
Andere Antwort 17%
Interessant 8%
Ich bin sowieso von einer göttlichen Metaebene überzeugt 8%
Versteh ich nicht, hat deshalb für mich 0 Bedeutung 0%
Studium, Mathematik, Politik, Glaube, Gott, Grenzwissenschaft, Logik, Wunder, Philosophie und Gesellschaft, Abstimmung, Umfrage
Weitere Inhalte können nur Nutzer sehen, die bei uns eingeloggt sind.