La tesi del giorno

Logica e calcolatori

Uno dei più affascinanti tra gli innumerevoli itinerari tracciati dal pensiero umano è quello che si snoda intorno al problema costituito dagli stessi fondamenti di quella sua attività che è il ragionare. Itinerario che non per caso si avventura negli ostici terreni della matematica, sua creatura diletta nella quale tutto pare dipanarsi con limpidezza cristallina e che pure riserva inaudite sorprese. Itinerario che fornisce, inoltre, un caso esemplare, inoltre, di ricerca ''pura'', giacché ne riguarda i fondamenti stessi. E perciò, secondo il dott. Egisto Solari, interessantissimo esempio di come proprio la ricerca pura possa nel lungo termine dar luogo ad applicazioni assolutamente inaspettate. L’applicazione di cui si tratta, in quasto caso, sono i calcolatori, i quali, nella tesi Logica matematica e informatica: dalla origine della scienza dei calcolatori alla tematica mente macchina, sono posti in relazione al background concettuale creato dal lavoro teorico svolto da alcuni matematici e logici: Leibniz, Boole, Frege, Cantor, Hilbert, Gödel e Turing.
Oltre ad illustrare il debito che scienza e architettura dei calcolatori hanno nei confronti degli studi di logica matematica svolti dagli autori citati, il dott. Solari affronta, nella sua tesi, il dibattito circa il rapporto tra mente e macchina, senz’altro uno dei temi teorici di maggior fascino tra quelli alimentati dal ruolo fondamentale che le ''macchine pensanti'' hanno nella nostra società.

Argomento tesi precedente

Sommerso: dove e perché

Argomento tesi successiva

Sostenibilità e energia