Il viaggio di 50 anni della Teoria della Complessità ai limiti della conoscenza
50 anni di Teoria della Complessità ai limiti della conoscenza
.fav_bar { float:left; border:1px solid #a7b1b5; margin-top:10px; margin-bottom:20px; } .fav_bar span.fav_bar-label { text-align:center; padding:8px 0px 0px 0px; float:left; margin-left:-1px; border-right:1px dotted #a7b1b5; border-left:1px solid #a7b1b5; display:block; width:69px; height:24px; color:#6e7476; font-weight:bold; font-size:12px; text-transform:uppercase; font-family:Arial, Helvetica, sans-serif; } .fav_bar a, #plus-one { float:left; border-right:1px dotted #a7b1b5; display:block; width:36px; height:32px; text-indent:-9999px; } .fav_bar a.fav_de { background: url(../images/icons/de.gif) no-repeat 0 0 #fff } .fav_bar a.fav_de:hover { background: url(../images/icons/de.gif) no-repeat 0 0 #e6e9ea } .fav_bar a.fav_acm_digital { background:url(‘../images/icons/acm_digital_library.gif’) no-repeat 0px 0px #FFF; } .fav_bar a.fav_acm_digital:hover { background:url(‘../images/icons/acm_digital_library.gif’) no-repeat 0px 0px #e6e9ea; } .fav_bar a.fav_pdf { background:url(‘../images/icons/pdf.gif’) no-repeat 0px 0px #FFF; } .fav_bar a.fav_pdf:hover { background:url(‘../images/icons/pdf.gif’) no-repeat 0px 0px #e6e9ea; } .fav_bar a.fav_more .at-icon-wrapper{ height: 33px !important ; width: 35px !important; padding: 0 !important; border-right: none !important; } .a2a_kit { line-height: 24px !important; width: unset !important; height: unset !important; padding: 0 !important; border-right: unset !important; border-left: unset !important; } .fav_bar .a2a_kit a .a2a_svg { margin-left: 7px; margin-top: 4px; padding: unset !important; }
Nella prima settimana del semestre autunnale del 2007, Marco Carmosino si trascinò a una lezione di matematica obbligatoria per tutti gli studenti di informatica presso l’Università del Massachusetts, Amherst. Carmosino, un matricola, stava considerando di abbandonare l’università per dedicarsi alla progettazione di videogiochi. Poi il professore pose una semplice domanda che avrebbe cambiato il corso della sua vita: come sapete che la matematica funziona davvero?
“Questo mi ha fatto sedere dritto e prestare attenzione,” ricorda Carmosino, ora un informatico teorico presso IBM. Si iscrisse a un seminario facoltativo sul lavoro di Kurt Gödel, i cui enigmatici argomenti auto-referenziali hanno per la prima volta messo in luce i limiti del ragionamento matematico e creato le basi per tutti i futuri lavori sui limiti fondamentali della computazione. Era molto da assimilare.
“Non ho capito al 100%,” ha detto Carmosino. “Ma sapevo che volevo farlo.”
- Google testa un assistente IA che offre consigli sulla vita
- Robot umanoide può pilotare un aeroplano meglio di un essere umano
- ChatGPT si inclina verso il liberalismo
Oggi, anche i ricercatori esperti trovano poco comprensibile la questione centrale aperta nella scienza informatica teorica, nota come problema P versus NP. In sostanza, questa domanda chiede se molti problemi computazionali a lungo considerati estremamente difficili possano effettivamente essere risolti facilmente (tramite un trucco segreto che non abbiamo ancora scoperto), o se, come la maggior parte dei ricercatori sospetta, siano veramente difficili. In gioco c’è nient’altro che la natura di ciò che è conoscibile.
Da Quanta Magazine Visualizza l’articolo completo
