Il periodo tra la fine '800-inizio '900 ha portato ad un diverso modo di concepire i fondamenti della matematica. Gli oggetti di una teoria sono definiti dagli assiomi, e non sempre appare chiaro se le teorie affermano del "vero". Inoltre dopo Gödel sappiamo che non è possibile dimostrare la coerenza di una teoria formale, così che la matematica sembra trovarsi da ottant'anni in uno "stallo fondazionale". Malgrado ciò matematici e fisici credono in essa, pur con un imbarazzo nel "motivare tale loro fede". Dare tali ragioni è un rischio cui però non ci si può sottrarre.
I ricercatori di Borexino guidati dal professor Gianpaolo Bellini hanno visto per la prima volta i «geoneutrini». L'esperimento Borexino, al Laboratorio sotterraneo del ...
Ciclo di quattro incontri sulle imprese scientifiche odierne più avanzate e mai tentate sino ad ora. Le conferenze si terranno nei mesi di Marzo ed Aprile 2010 a Seveso ...
Intervista a Lucio Rossi (responsabile del team Magneti & Superconduttori dell'LHC al CERN), apparsa su Nature il 23 febbraio scorso, sull'incidente del 2008 all'LHC.
"Tutto ciò che [noi matematici] facciamo è costruire dimostrazioni e, allo stato attuale, lo facciamo basandoci su sistemi assiomatici di cui nessuno può dare una convinc ...