L’asserzione di Fermat.
L’asserzione di Fermat, nota oggi come Ultimo Teorema di Fermat, è uno dei risultati più celebri della storia della matematica. Per oltre tre secoli è rimasta una congettura non dimostrata, diventando un simbolo dei limiti…
Gennaio 2026
Il problema della decisione in Turing.
Il problema della decisione in Turing è la formulazione computazionale della risposta negativa al problema della decisione proposto da Hilbert. Alan Turing, nel 1936, dimostrò che non esiste una procedura algoritmica generale capace di stabilire…
Il problema della decisione in Hilbert.
Il problema della decisione di Hilbert chiedeva se esistesse un metodo algoritmico generale per stabilire la verità di ogni formula logica. I lavori di Gödel, Church e Turing hanno dimostrato che tale metodo non esiste:…
John Mauchly, il documento The Use of High Speed Vacuum Tubes for Calculating.
Il memorandum The Use of High Speed Vacuum Tube Devices for Calculating, scritto da John Mauchly nell’agosto del 1942, è uno dei documenti più iconici nella storia dell’informatica. Rappresenta l’atto di nascita concettuale dell’ENIAC (Electronic…
Note sull’anticomunismo italiano e tedesco.
Ovvero, quale tipo di anticomunismo ha espresso ed esprime la cultura italiana? C’è un parallelo tra i diversi tipi di anticomunismo fascista – fonte non univoca cui sarebbe da aggiungere quella del liberalismo e del…
Arte e realtà: quale rapporto?
Andare oltre la realtà in arte rappresenta un percorso imprescindibile per comprendere la funzione e il significato dell’espressione artistica. Questo concetto non implica una dissociazione dalla realtà, ma piuttosto un attingere a essa per trasformarla…
Prima di tutto l’uomo.
Il documentario Prima di tutto l’uomo di Elio Scarciglia, pubblicato nel 2011, rappresenta non solo un elemento nuovo nell’insieme dei documentari che trattano il tema della memoria storica, ma anche un esperimento audiovisivo sul quale…
I compiti dell’Assistente Tecnico Informatico (AR02) negli Istituti scolastici Superiori.
In questo PDF un vademecum, abbastanza breve, sul ruolo degli AT informatici. COMPITI ASSISTENTE TECNICO INFORMATICODownload