Libri di Pal
Bibliografia di Pal: tutti i libri in vendita online con argomento Logica Matematica
Logiche non classiche. Un'introduzione Palladino Dario Palladino Claudia - Carocci, 2007 - Quality Paperbacks
Il testo costituisce un manuale di introduzione a vari sistemi logici che sono estensioni e/o alternative alla logica classica. La logica classica - detta anche "logica matematica" - infatti si fonda su alcuni presupposti che ne circoscrivono l'ambito di applicazione a una parte limitata del complesso dei ragionamenti umani. L'intento è offrire una panoramica di ampio respiro dei molteplici settori in cui oggi si articolano le ricerche logiche: le logiche modali, deontiche, epistemiche e temporali, le logiche polivalenti, paracoerenti e della rilevanza, la logica intuizionista, e alcune altre recentemente sviluppate nell'ambito dell'Intelligenza Artificiale.
Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità Palladino Dario - Carocci, 2004 - Università
Il volume ha lo scopo di illustrare i principali risultati della logica del XX secolo, fra i quali il teorema di completezza per la logica del primo ordine, il teorema di compattezza, i teoremi di Löwenheim-Skolem, i teoremi di incompletezza di Gödel resistenza di "modelli non standard" per l'aritmetica, il teorema di Church, il teorema di incompletezza per la logica del secondo ordine. La trattazione di questi teoremi e delle loro dimostrazioni, pur volutamente contenuta grazie a qualche semplificazione delle parti più tecniche, consente al lettore di capire il significato dei risultati conseguiti, le loro implicazioni e le strategie che sono state impiegate per raggiungerli.
Pinocchio nel paese dei paradossi. Viaggio tra le contraddizioni della logica Palmero Aprosio Alessio - Sironi, 2012 - Galápagos
Pinocchio rivive le sue avventure sullo sfondo di nuovi paesaggi paradossali. Il più celebre burattino di tutti i tempi si troverà di fronte al dilemma del coccodrillo, al paradosso del mentitore, a quello della nave di Teseo, alla mitica gara tra Achille e la tartaruga e tanti altri: come farà a superare questi nuovi ostacoli? L'immancabile Grillo parlante con la sua proverbiale sapienza spiega al burattino, e ai lettori, come uscire dall'impasse in cui le contraddizioni logiche e matematiche li hanno fatti sprofondare. Un libro per scoprire il gusto del ragionamento, arricchito di illustrazioni che reinventano la popolare fiaba di Collodi.