I give a very simple introduction to intuitionistic logic, its motivations and its connection with classical logic. The translation of classical logic into intuitionistic logic is explained by means of a dialogue between Alfred (Tarski) and Bert (Brouwer).
Molteplicità delle logiche e necessità delle traduzioni. Logica intuizionistica e logica classica a confronto.
SAMBIN, GIOVANNI
2007
Abstract
I give a very simple introduction to intuitionistic logic, its motivations and its connection with classical logic. The translation of classical logic into intuitionistic logic is explained by means of a dialogue between Alfred (Tarski) and Bert (Brouwer).File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.