Cierre Grafica Libri

Breve storia della logica matematica ...ed un pallido raggio di luna su che cosa sia Butti Luigi   -  Cierre Grafica, 2024

Il volume, indirizzato a un pubblico di non specialisti, introduce con scrittura scrittura agile e scorrevole i concetti logici di base, e rappresenta un'ottimo punto di partenza per sostenere un esame di logica su manualistica universitaria. Il testo narra la nascita della logica nella Grecia antica come branca della filosofia, del suo intreccio con la matematica fino a diventare Logica Matematica, del suo contributo alla nascita dell'informatica e delle sue plurime applicazioni. Un obiettivo primario è portare il lettore a rispondere alla domanda "che cos'è la logica matematica?" Nel testo si affrontano con esempi chiari i sillogismi aristotelici, i sistemi formali, la logica proposizionale, la logica modale e la logica del primo ordine, e si fa luce sull'intelligenza artificiale (IA) e sulle logiche adatte all'IA. Il volume è arricchito da episodi e curiosità su alcuni personaggi (Platone, Bertrand Russell, Alan Turing...) e macchine (la macchina di Anticitera, la macchina differenziale e quella analitica di Babbage, la macchina di Turing), così come narra del dio della logica Kurt Gödel, spiegando il significato dei suoi teoremi di completezza e di incompletezza.

Discorsi e dimostrazioni matematiche intorno a due nuove scienze attinenti alla meccanica e ai movimenti locali. Ediz. ampliata Galilei Galileo  Pierini C. (Cur.)   -  Cierre Grafica, 2024

Si tratta dell'opera scientifica più importante di Galileo, che espone le sue scoperte originali. Fu scritta nella maturità, dopo il processo del 1633. Le due nuove scienze alle quali allude il titolo sono la dinamica dei movimenti e la scienza delle costruzioni. Fu la meditata e autorevole risposta dell'illustre scienziato pisano, all'oscurantismo di chi lo accusò, contrastando le sue teorie astronomiche. Galileo infatti si adattò passivamente ai suoi persecutori che negavano la scienza moderna e il moto della Terra. Per sfuggire alla censura, riuscì a pubblicare questo libro solo in Olanda, nel 1638. Nel trattato dimostrò teorie ed esperimenti sulle due nuove scienze da lui scoperte, soltanto con la forza della ragione. La 2° edizione é del tutto rinnovata con disegni originali, immagini storiche a colori e approfondimenti scientifici. In questo dialogo, tre personaggi (Salviati, Sagredo, Simplicio) si ritrovano in un bellissimo palazzo rinascimentale sul Canal Grande a Venezia e, in sei giornate, discutono fra loro teorie scientifiche antiche e moderne. Dalle diverse argomentazioni dei tre personaggi galileiani, nacque ufficialmente la scienza moderna.

Discorsi e dimostrazioni matematiche intorno a due nuove scienze attinenti alla meccanica e ai movimenti locali Galilei Galileo  Pierini C. (Cur.)   -  Cierre Grafica, 2011

È l'opera più prestigiosa di Galileo, che espone le sue scoperte originali. Fu scritta nella maturità, dopo il processo del 1633. Le due nuove scienze alle quali allude il titolo sono la dinamica dei movimenti e la scienza delle costruzioni.