Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] Γ′⇒Δ′;Δ del frammento classico è dimostrabile, avremo anche un teorema Γ;Γ′⇒Δ′;Δ di LK e un sequente Γ;Γ′⇒A del frammento intuizionista diviene un teorema Γ;Γ′⇒A di LJ. Analogo il caso dei passaggi all'inverso. Ciò che ci dà in più l'immersione di LK ...
Leggi Tutto
Logica matematica
Abraham Robinson
*La voce enciclopedica Logica matematica è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un’introduzione di Gabriele Lolli e un saggio di Beppo [...] egli si riterrebbe autorizzato a provare X mostrando che l'ipotesi non-X conduce a una contraddizione. Per un intuizionista questo è inammissibile, poiché dal suo punto di vista l'affermazione X significa che esiste un procedimento costruttivo per ...
Leggi Tutto
intuizione
intuizióne s. f. [dal lat. tardo intuitio -onis; v. intuire]. – 1. Conoscenza diretta e immediata di una verità, che si manifesta allo spirito senza bisogno di ricorrere al ragionamento, considerata talora come forma privilegiata...
intuizionismo
s. m. [der. di intuizione]. – In filosofia, ogni concezione che assegna all’intuizione un ruolo privilegiato, come capacità di cogliere verità certe sia sul piano gnoseologico sia su quello morale: l’i. di Bergson contrappone...