Poznámka Kurta Gödela k intuicionistické logice.

V každé (dobré) učebnici logiky se lze dočíst, že Kurt Gödel dokázal, že pokud neplatí zákon vyloučeného třetího (X nebo ne X), pak musí mít logika nekonečně mnoho pravdivostních hodnot. Každého, kdo něco takového vidí poprvé, musí zákonitě napadnout: Jak se, proboha, dá něco takového dokázat? Jak je u Gödela pravidlem, je v tom malá ale geniální finta. Jeho krátkou, ale důležitou poznámku přikládám. Je to německo-český zrcadlový text (v originále Zum intuitionistischen Aussagenkalkül). Je to jen necelá stránka textu, takže odvahy ke čtení není třeba nějak výjimečně mnoho. Překlad je můj. Veškeré připomínky vítám. Adresa: https://docs.google.com/open?id=0B3pp9Xdhjj-sMWUyZDM1MDktYzYwNy00MTIxLTk1NDMtNDMxMTRjODQ3NGQ4