Diskussion:Heyting-Algebra
Folgendes ist noch zu tun Bearbeiten
- Abschnitt "Properties" der englischen Seite übersetzen.
- fertig --Tillmo 12:41, 15. Dez. 2007 (CET)
- auf der Seite Galoisverbindung die Begriff Links- und Rechtsadjungierter (bzw. unterer und oberer Adjungierter) einführen, siehe dazu en:Galois connection
Verstehe nur Bahnhof Bearbeiten
Wenn man die Boolsche Algebra aus der Westentasche kennt, aber nach dem Genuß dieser Orgie noch nicht einmal weiß, worum es in Heyting-Algebren überhaupt geht, besitzt Wikipedia keinerlei lexikalischen Wert. Der Abschnitt ist dringend zu überarbeiten und mit Beispielen oder Applikationen zu bereichern.
gh, 27.10.2007
- Habe ein Beispiel mit Operations-Tabellen eingefügt. --Tillmo 12:41, 15. Dez. 2007 (CET)
Unbeholfene Übersetzung Bearbeiten
Zur Übersetzung aus dem Englischen: Ich nehme an, "propositionale intuitionistische Logik" sollte "intuitionistische Aussagenlogik" heißen? -- UKoch 21:51, 24. Mär. 2011 (CET)
- Ja, ziemlich sicher.
- PS: Ich habe einen neuen Abschnitt angelegt, da man deine Bemerkung kaum als Fortsetzung des obigen Threads "Folgendes ist noch zu tun" ansehen kann. --Daniel5Ko 00:18, 26. Mär. 2011 (CET)
- Ich hab's entsprechend geändert. Danke für den neuen Abschnitt. -- UKoch 14:31, 26. Mär. 2011 (CET)
Peirces Gesetz Bearbeiten
Einerseits besagt der Abschnitt über die Bedeutung für intuitionistische Logik, dass "kein einfacher Beweis bekannt [sei], der zeigt, dass das Peircesche Gesetz nicht mittels der Beweisregeln für intuitionistische Logik abgeleitet werden kann". Doch weiter unten wird kurz und bündig gezeigt, "dass das Peircesche Gesetz intuitionistisch nicht gültig ist". Wie ist denn der erste Abschnitt zu verstehen? (nicht signierter Beitrag von 2601:180:8301:1E40:3580:2172:D621:6004 (Diskussion | Beiträge) 02:33, 16. Nov. 2016 (CET))
- stimmt, die Aussage dass "kein einfacher Beweis bekannt [sei]..." ist einfach falsch (siehe auch die Diskussionsseite des englischen Artikels, auf der ein weiterer kurzer Beweis steht). Ich habe die Aussage durch eine sinnvolle Aussage ersetzt. --Tillmo (Diskussion) 19:55, 10. Feb. 2018 (CET)