Perché l’Istituto Matematico Clay, che si occupa dell’accrescimento e della diffusione della conoscenza della matematica, ha pensato di inserire fra i "Problemi del Millennio" la dimostrazione della congettura “P diverso da NP”, ponendo su di essa una taglia da un milione di dollari? Perché mai i signori dell'Istituto Clay (che proprio proprio sprovveduti non sono) hanno pensato di includervi una questione che riguarda un insieme di problemi che hanno in comune la bislacca caratteristica di essere risolvibili mediante un calcolatore che esiste solo nel mondo delle idee? Queste domande sono il punto di partenza (o, meglio, il punto di arrivo) di un percorso che, prendendo avvio dalle origini dell’informatica, permetterà di mettere in luce “l’inestricabile intreccio che aggroviglia l’informatica a quella, fra le discipline scientifiche, che merita l’appellativo di Scienza Esatta: la Matematica”. Un percorso costellato di problemi… “impossibili”.

DI IANNI, M. (2020). Il sentiero dei problemi impossibili - Da Euclide al problema da un milione di dollari. Franco Angeli.

Il sentiero dei problemi impossibili - Da Euclide al problema da un milione di dollari

Di Ianni Miriam
2020-09-24

Abstract

Perché l’Istituto Matematico Clay, che si occupa dell’accrescimento e della diffusione della conoscenza della matematica, ha pensato di inserire fra i "Problemi del Millennio" la dimostrazione della congettura “P diverso da NP”, ponendo su di essa una taglia da un milione di dollari? Perché mai i signori dell'Istituto Clay (che proprio proprio sprovveduti non sono) hanno pensato di includervi una questione che riguarda un insieme di problemi che hanno in comune la bislacca caratteristica di essere risolvibili mediante un calcolatore che esiste solo nel mondo delle idee? Queste domande sono il punto di partenza (o, meglio, il punto di arrivo) di un percorso che, prendendo avvio dalle origini dell’informatica, permetterà di mettere in luce “l’inestricabile intreccio che aggroviglia l’informatica a quella, fra le discipline scientifiche, che merita l’appellativo di Scienza Esatta: la Matematica”. Un percorso costellato di problemi… “impossibili”.
24-set-2020
Settore INF/01 - INFORMATICA
Italian
Rilevanza nazionale
Saggio
Sistemi assiomatici, sistemi formali, Entscheidungsproblem, macchina di Turing, modello di von Neumann, teoria della complessità computazionale
DI IANNI, M. (2020). Il sentiero dei problemi impossibili - Da Euclide al problema da un milione di dollari. Franco Angeli.
Monografia
DI IANNI, M
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2108/267631
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact