La tesi di Church-Turing si applica anche all'intelligenza artificiale?

Secondo la tesi di Church-Turing, è impossibile progettare un algoritmo per decidere il problema di arresto.

La parola algoritmo in questo contesto include l'intelligenza artificiale o no, cioè la tesi di Church-Turing si applica anche all'intelligenza artificiale?

È possibile progettare un sistema di intelligence in futuro per decidere questo problema o, secondo la tesi di Church-Turing, nessuna IA sarà in grado di decidere il problema?

— M ama D
fonte

È improbabile che un sistema di intelligenza artificiale possa decidere qualsiasi cosa (in senso formale, deterministico), ma se potesse violerebbe sicuramente la tesi di Church-Turing o l'indecidibilità del problema di Halting. (Quest'ultimo se sta scrivendo in una lingua completa di Turing, il primo altrimenti.)

— Raffaello

Perché ritieni possibile che l'intelligenza artificiale non possa essere coperta (o interessata) dalla tesi di Charch-Turing?

— babou,

@babou perché include non determinismo, apprendimento, ecc. Ci sono problemi non risolvibili che l'IA ci fornisce un'ottima approssimazione della soluzione.

— M ama D

@Drupalist: ma la decidibilità di alcuni problemi significa solo che esiste un algoritmo tale che per ogni dato input dallo spazio di input del problema, verrà prodotto l'output corretto. Quindi sì, un algoritmo AI (o qualsiasi altro algoritmo) potrebbe fornire buone approssimazioni per il problema di arresto, ma ciò non implica una decidibilità.

— Roy O.

La tesi di Church-Turing afferma che la nozione informale di un algoritmo come sequenza di istruzioni coincide con le macchine di Turing. Allo stesso modo, afferma che qualsiasi modello ragionevole di calcolo ha la stessa potenza delle macchine di Turing.

Un'intelligenza artificiale è un programma per computer, cioè un algoritmo. Se la tesi di Church-Turing è valida, allora potresti implementare quell'algoritmo su una macchina di Turing. Poiché le macchine di Turing non possono decidere il proprio problema di arresto, ne consegue che, secondo la tesi Church-Turing, le intelligenze artificiali non possono decidere il problema di arresto per le macchine di Turing.

— David Richerby
fonte

D'altra parte, se l'IA è stata scritta su una sorta di computer analogico, o circuito infinito non uniforme, allora il problema di Halting per le macchine Turing è di nuovo alla lavagna.

— DanielV,

@DanielV Un circuito infinito non uniforme non aiuta. Se ha una descrizione calcolabile, non può risolvere il problema di arresto; se non ha una descrizione calcolabile, non puoi costruirla.

— David Richerby,

Non puoi costruirlo con una Turing Machine. Ciò non significa che non significhi che la sua esistenza è più paradossale di 2 punti distanti arbitrariamente.

— DanielV,

@DanielV Come hai intenzione di dire al vostro elettricista cosa cancelli per mettere in ° circuito se non c'è alcuna descrizione calcolabile?

n

$n$

— David Richerby,

@DanielV Ci sono alcuni problemi che semplicemente non puoi calcolare. Devi essere in grado di decidere quando hai risolto il problema, così come qual è la risposta. Nel caso del problema di arresto, non c'è modo di determinare se hai risolto il problema, figuriamoci capire qual è la risposta.

— Più chiaro