Diese logik lehnt das gesetz des ausgeschlossenen dritten ab
Heytings intuitionistische Logik fordert das klassische Denken heraus. Sie lehnt das Gesetz des ausgeschlossenen Dritten ab. Sie verlangt konstruktive Beweise für mathematische Wahrheiten. Sie beeinflusst Bereiche wie die Informatik.
Die klassische Logik sagt, eine Aussage ist entweder wahr oder falsch. Heytings intuitionistische Logik widerspricht dem. Arend Heyting entwickelte sie in den 1930er Jahren. Dieses System fordert einen konstruktiven Beweis für jede mathematische Wahrheit. Ohne diesen können eine Aussage und ihr Gegenteil nicht beide als wahr angenommen werden.
Es gibt mehr zu lesen — öffne die App, um weiterzulesen.
In der App Weiterlesen
1 weitere Absätze · plus ein 3-Fragen-Quiz