Filosofia dell'informazione/Informatica e Filosofia della scienza: differenze tra le versioni

La teoria della complessità computazionale ha fornito alcuni risultati interessanti riguardo laalla valutazione delle ipotesi. Supponiamo di avere n ipotesi ed n desideri e valutare tutti i modi nei quali le combinazioni possono essere accettate e respinte: devi quindi considerare 2n possibilità, un numero incredibilmente grande. Bylander et al. (1991) ha dato una definizione formale ad un problema di abduzione consistente di un insieme di dati da spiegare e un insieme di ipotesi per spiegarle.