Ich werde eine ziemlich vage Frage stellen, da die Grenze zwischen theoretischer Informatik und Mathematik nicht immer leicht zu unterscheiden ist.
FRAGE: Ist Ihnen ein interessantes Ergebnis in CS bekannt, das entweder unabhängig von ZFC (dh von der Standardsatztheorie) ist oder das ursprünglich in ZFC (+ ein anderes Axiom) und erst später in ZFC alorne nachgewiesen wurde?
Ich frage, weil ich kurz vor dem Abschluss meiner Doktorarbeit stehe und mein Hauptergebnis (die Bestimmbarkeit einer Klasse von Spielen, die verwendet werden, um einem probabilistischen modalen Kalkül eine " Spielsemantik " zu verleihen) im Moment bewiesen ist in ZFC erweitert mit anderen Axiomen (nämlich die Negation der Kontinuumshypothese und Martins Axiom ).M A
Die Einstellung ist also eindeutig Informatik (der modale Kalkül ist eine zeitliche Logik und ich erweitere ihn, um mit probabilistischen Systemen zu arbeiten).
Ich möchte in meiner Diplomarbeit andere Beispiele dieser Art anführen (falls Ihnen bekannt ist).
Danke im Voraus,
Tschüss
Matteo