Filosofia dell'informazione/Filosofia della mente: differenze tra le versioni

Le macchine di Turing sono sistemi automatici interpretati. Esistono molte macchine computazionalmente equivalenti che sono sistemi formali automatici con architetture funzionali diverse da quelle di una macchina di Turing. Una di queste macchine è una macchina di von Neumann, così chiamata in onore di John vonNeumann. L'architettura funzionale di tale macchina include una Central Processing Unit (CPU), un'unità aritmetica, posizioni di memoria e due tipi di accesso alla memoria. La CPU ha accesso alla memoria funzioni e strutture, e determina quali operazioni il computer deve eseguire consultando le istruzioni (programmi) che si trovano nella memoria. Una funzione simile all'architettura formale è in alcuni modelli simbolici di abilità mentali: l'elaborazione online viene effettuata utilizzando un archivio di memoria a breve termine che contiene informazioni rilevanti per il processo in corso. Seconto molti computazionalisti l'architettura funzionale della mente non è l'architettura di von Neumann. Linguaggi di programmazione di livello superiore come Basic, Pascal, FORTRAN, Cobol, Java e C ++, e Lisp (List Processing) sono (o descrivono) macchine universali che sono sistemi formali automatici.

 

 

I sistemi di produzione sono equivalenti ai linguaggi di programmazione di livello superiore utilizzati da Turing nella ricerca del paradigma simbolico. I sistemi di produzione consistono in regole che specificano le azioni da eseguire quando vengono soddisfatte determinate condizioni. Ma è ampiamente sostenuto dai ricercatori del paradigma simbolico che non sappiamo ancora quale sia l'architettura funzionale della mente. L'obiettivo fondamentale della ricerca del paradigma simbolico è determinare quale tipo di sistema formale automatico è la mente.