DOPO LA RESILIENZA

Lisa Randall 1962 Lisa Randall è una fisica teorica statunitense nata nel 1962, conosciuta per i suoi contributi alla fisica delle particelle elementari e alla cosmologia. Attualmente è professoressa di Fisica alla Harvard University. La sua ricerca si concentra su questioni fondamentali della fisica, come la natura delle dimensioni extra nello spazio-tempo, la teoria delle stringhe, la gravità e le particelle elementari. Uno dei suoi contributi più significativi è stata la proposta del modello della "teoria delle dimensioni extra", che suggerisce l'esistenza di dimensioni spaziali addizionali oltre le tre dimensioni spaziali e la dimensione temporale che sperimentiamo quotidianamente. Randall è anche conosciuta per il suo lavoro sulle teorie sulla gravità, comprese le sue ricerche sulla gravità quantistica e sui modelli che cercano di spiegare la forza della gravità in rapporto alle altre forze fondamentali della natura. Ha pubblicato numerosi articoli scientifici e li...

John William Mauchly 1907 John William Mauchly: il pioniere dell’era elettronica John William Mauchly (Cincinnati, 30 agosto 1907 – Ambler, 8 gennaio 1980) rappresenta una delle figure centrali nella storia dell’informatica. Fisico di formazione e ingegnere per vocazione, è passato alla storia come co-inventore, insieme a J. Presper Eckert, dell’ENIAC (Electronic Numerical Integrator and Computer), il primo calcolatore elettronico general purpose della storia. La sua parabola biografica e scientifica è il riflesso delle profonde trasformazioni del XX secolo: dall’uso delle tecnologie a fini bellici alla loro progressiva diffusione nel mondo civile e industriale, fino a diventare strumenti indispensabili della vita quotidiana. L’invenzione dell’ENIAC e la svolta epocale Il progetto dell’ENIAC, elaborato presso l’Università della Pennsylvania a partire dal 1943, nacque da esigenze militari. Gli Stati Uniti avevano bisogno di calcoli rapidi e accurati per le tabelle balistiche, impossibil...

Kurt Gödel 1906 Kurt Gödel — analisi critica dell'incompletezza 1) Ritratto rapido e precisione biografica Kurt Gödel (n. 28 aprile 1906 — † 14 gennaio 1978) è una delle figure chiave della logica contemporanea: matematico, logico e filosofo che ha trasformato in profondità le questioni su verità, dimostrazione e fondamenti delle matematiche. Si formò all’Università di Vienna, conseguì il dottorato (1929) con una tesi che dimostrava la completezza del calcolo predicativo del primo ordine, e nel 1931 pubblicò i due teoremi dell’incompletezza che portano il suo nome. Più tardi emigrò negli USA (stabilmente dagli anni ’40), fu membro e poi professore all’Institute for Advanced Study di Princeton, dove intrattenne una nota amicizia intellettuale con Albert Einstein. 2) I due risultati fondamentali — enunciati e metodo (aspetti tecnici) Completezza (1929) Nella sua tesi Gödel dimostrò la completezza del primo ordine : se una formula è vera in ogni modello (è una conseguenza logica ...