Ich habe kürzlich über die Gültigkeit von Beweisen durch Widerspruch nachgedacht. Ich habe in den letzten Tagen Dinge über intuitionistische Logik und Godels Theoreme gelesen, um zu sehen, ob sie mir Antworten auf meine Fragen geben würden. Im Moment habe ich noch Fragen (vielleicht im Zusammenhang...
19
Kann der Beweis durch Widerspruch ohne das Gesetz der ausgeschlossenen Mitte funktionieren?