Disagio socio-economico in Italia.
Benessere-disuguaglianzeDownload Indicatori-disagio-2021-comuneDownload Tracciato-record-dati-disagioDownload
Read MoreTecniche
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…
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…
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
Verso quali linee di ricerca si sta indirizzando Elon Musk per il futuro?
L’attività di Elon Musk per il prossimo futuro si muove lungo linee di ricerca che mirano a trasformare radicalmente l’infrastruttura della civiltà umana, spostando il focus dal software puro all’integrazione tra hardware senziente, biologia e…
I fondamenti matematici della meccanica quantistica, un libro di John Von Neumann.
Recensire I fondamenti matematici della meccanica quantistica (Mathematische Grundlagen der Quantenmechanik, 1932) di John von Neumann significa analizzare l’opera che ha trasformato una serie di intuizioni fisiche brillanti, ma frammentate, in una struttura assiomatica rigorosa….
L’accordo Mercosur-UE.
L’accordo commerciale tra l’Unione Europea e il Mercosur (composto da Brasile, Argentina, Uruguay e Paraguay) non è ancora attivo. Sebbene i due blocchi abbiano raggiunto un “accordo di principio” nel giugno 2019, dopo vent’anni di…
Le possibili novità tecnologiche del prossimo futuro.
Nel 2026 siamo già in una fase di transizione, ma guardando verso il 2030, i device non saranno solo “nuovi oggetti”, ma interfacce che tendono a scomparire o a integrarsi biologicamente. Vediamoli: 1. Spatial Computing…