User Tag List

Risultati da 1 a 9 di 9

Discussione: Oltre Alan Turing

  1. #1
    Forumista junior
    Data Registrazione
    07 Oct 2015
    Messaggi
    3
     Likes dati
    0
     Like avuti
    0
    Mentioned
    0 Post(s)
    Tagged
    0 Thread(s)

    Predefinito Oltre Alan Turing

    Gli sguardi degli scienziati di tutto il mondo sono in questi giorni puntati su un software che sta funzionando su alcuni computer del MIT: se smetterà di funzionare, molte delle teorie matematiche sviluppate negli ultimi 150 anni saranno da cestinare. C’è da preoccuparsi? Probabilmente no, ma questa è una congettura...

    Il programma è stato sviluppato da Scott Aaronson e Adam Yedidia e simula tre macchine di Turing. Si tratta cioè di una versione virtuale del modello computazionale creato nel 1936 dall’omonimo matematico.

    LA MACCHINA DI TURING. Secondo Alan Turing ogni algoritmo informatico può essere eseguito da una macchina capace di leggere e scrivere sequenze di 0 e 1 su un nastro infinitamente lungo, in base a un set di regole elementari chiamate “stati”. All’aumentare della complessità dell’algoritmo cresce il numero di stati necessari a far funzionare la macchina.

    Le macchine create da Aaronson e Yedidia stanno verificando problemi complessi della matematica, a volte irrisolti, come le Ipotesi di Riemann e gli schemi di distribuzione dei numeri primi.

    NÉ VERO NÉ FALSO. Le macchine di Turing sono state utilizzate fin dagli anni ‘30 del secolo scorso per mettere alla prova ipotesi di questo tipo.

    Tra i primi a utilizzarle ci fu Kurt Gödel, il quale riuscì a provare che alcune formalizzazioni della matematica non possono mai essere dimostrate né confutate (primo teorema di incompletezza di Gödel): sono cioè indeterminate.

    L’unico trucco per uscire da questa impasse è modificare le assunzioni che stanno alla base delle formalizzazioni. Ma questo porta a rendere indeterminate altre formalizzazioni. Ciò significa che non esistono assiomi di base che permettono di dimostrare tutto.
    LA ZONA ZFC. Seguendo le ipotesi di Gödel, Turing dimostrò che era possibile costruire una macchina il cui comportamento non fosse prevedibile sulla base degli assiomi standard della teoria degli insiemi.

    Questi ultimi, noti anche come ZFC (Zermelo-Fraenkel-Choice), sono 10 assiomi del tipo “due insiemi sono uguali se e solo se hanno gli stessi elementi”, dai quali derivano tutti i concetti alla base della matematica: numero, relazione, funzione, ordine eccetera.

    IL TEST DI AARONSON E YEDIDIA. Aaronson e Yedidia sono quindi riusciti a costruire una macchina di Turing con 7.918 stati che risponde a queste caratteristiche e l’hanno battezzata Z. «Abbiamo provato a rendere concrete le ipotesi di Turing e a calcolare quanti stati erano necessari per portare la macchina in uno stato di indeterminatezza», spiega alla stampa Aaronson.

    I due ricercatori hanno simulato la macchina su un computer, ma è teoricamente possibile costruirne una versione meccanica: una volta accesa, se tutte le ipotesi sottostanti fossero corrette, non dovrebbe mai smettere di funzionare (al netto di attriti, inefficienze varie e necessità di energia).

    Z è programmata per funzionare all’infinito, in un ciclo virtualmente eterno attraverso i suoi 7918 stati. Se invece dovesse fermarsi, allora qualcosa all’interno di ZCF non è corretto. Se anche dovesse succedere, però, per risolvere il problema basterebbe utilizzare un set più stringente di assiomi, e sarebbe ancora possibile costruire un macchina di Turing in grado di soddisfare le nuove regole.

    DIMOSTRARE IL FALSO. Non contenti, Aaronson e Yedidia hanno quindi costruito altre due macchine di Turing, che si fermeranno solo quando due teorie, oggi considerate vere, dovessero risultare false.

    La prima è la congettura di Golbach, secondo la quale ogni numero primo maggiore di 2 è la somma di altri due numeri primi.

    La seconda è l’ipotesi di Riemann, secondo la quale i numeri primi si distribuiscono secondo uno schema preciso. Quest’ultima è alla base di parte della moderna teoria dei numeri ed effettivamente, se si scoprisse che è falsa, potrebbe creare ben più di un problema.

    A CHE COSA SERVE? Esprimere problemi di questo tipo come macchine di Turing permette di comprenderne in modo chiaro il livello di complessità: Z ha 7918 stati, la macchina di Goldbach 4888, la macchina di Rieman 5372.

    Aaronson e Yedidia hanno pubblicato online il codice dei loro tre progetti e hanno sfidato i matematici di tutto il mondo a ridurre il numero di stati delle loro creature. Sul loro blog l’utente code golf addict sostiene di aver creato una macchina di Goldbach con soli 31 stati (ma è tutto da dimostrare). In ogni caso, l'obiettivo di Aaronson e Yedidia è quello: ridurre Z per scoprire i limiti di ZFC e della matematica così come la conosciamo oggi.

    [ Focus]

    _ Varg _

  2. #2
    Forumista esperto
    Data Registrazione
    08 Oct 2012
    Messaggi
    11,302
     Likes dati
    2,157
     Like avuti
    3,720
    Mentioned
    275 Post(s)
    Tagged
    7 Thread(s)

    Predefinito Re: Oltre Alan Turing

    Fotte sega, datemi il reddito di cittadinanza

  3. #3
    Socialcapitalista
    Data Registrazione
    01 Sep 2002
    Località
    -L'Italia non è un paese povero è un povero paese(C.de Gaulle)
    Messaggi
    89,492
     Likes dati
    7,261
     Like avuti
    6,458
    Mentioned
    340 Post(s)
    Tagged
    30 Thread(s)

    Predefinito Re: Oltre Alan Turing

    Impreciso ma interessate
    Addio Tomàs
    siamo fatti della stessa materia di cui sono fatti i 5 stelle

  4. #4
    Praticamente innocuo
    Data Registrazione
    07 Apr 2009
    Messaggi
    79,427
     Likes dati
    9,104
     Like avuti
    26,502
    Mentioned
    1092 Post(s)
    Tagged
    29 Thread(s)
    Inserzioni Blog
    9

    Predefinito Re: Oltre Alan Turing

    Forse è una discussione che starebbe meglio in scienza e tecnologia. che ne dici @Rachel Walling?
    Far ragionare un idiota non é impossibile, é inutile

  5. #5
    Supermod Viola
    Data Registrazione
    30 Dec 2012
    Località
    Roma
    Messaggi
    42,179
     Likes dati
    20,180
     Like avuti
    18,872
    Mentioned
    2622 Post(s)
    Tagged
    89 Thread(s)

    Predefinito Re: Oltre Alan Turing

    Si, la sposto...
    Se non hai il coraggio di mordere, non ringhiare.

  6. #6
    Forumista
    Data Registrazione
    13 Sep 2010
    Messaggi
    258
     Likes dati
    7
     Like avuti
    24
    Mentioned
    4 Post(s)
    Tagged
    0 Thread(s)

    Predefinito Re: Oltre Alan Turing

    Citazione Originariamente Scritto da Shareolders Visualizza Messaggio
    Gli sguardi degli scienziati di tutto il mondo sono in questi giorni puntati su un software che sta funzionando su alcuni computer del MIT: [....]
    Dopo aver letto questo post, il mio cervello è in STATO pietoso...

  7. #7
    Socialcapitalista
    Data Registrazione
    01 Sep 2002
    Località
    -L'Italia non è un paese povero è un povero paese(C.de Gaulle)
    Messaggi
    89,492
     Likes dati
    7,261
     Like avuti
    6,458
    Mentioned
    340 Post(s)
    Tagged
    30 Thread(s)

    Predefinito Re: Oltre Alan Turing

    Citazione Originariamente Scritto da Shareolders Visualizza Messaggio
    DIMOSTRARE IL FALSO. Non contenti, Aaronson e Yedidia hanno quindi costruito altre due macchine di Turing, che si fermeranno solo quando due teorie, oggi considerate vere, dovessero risultare false.

    La prima è la congettura di Golbach, secondo la quale ogni numero primo maggiore di 2 è la somma di altri due numeri primi.
    Bravo!
    Tutti i numeri primi sono sopra 2 sono dispari
    quindi la loro somma è pari
    quindi NON PUO' ESSERE UN NUMERO PRIMO!

    la congettura di Golbach, dice che ogni numero PARI è la somma di due numeri primi

    Ma chi ha scritto l'articolo
    Addio Tomàs
    siamo fatti della stessa materia di cui sono fatti i 5 stelle

  8. #8
    Praticamente innocuo
    Data Registrazione
    07 Apr 2009
    Messaggi
    79,427
     Likes dati
    9,104
     Like avuti
    26,502
    Mentioned
    1092 Post(s)
    Tagged
    29 Thread(s)
    Inserzioni Blog
    9
    Far ragionare un idiota non é impossibile, é inutile

  9. #9
    Super Troll
    Data Registrazione
    02 May 2006
    Messaggi
    61,632
     Likes dati
    22,911
     Like avuti
    10,893
    Mentioned
    1024 Post(s)
    Tagged
    14 Thread(s)

    Predefinito Re: Oltre Alan Turing

    Ah ecco perché c'era Kraut.

 

 

Discussioni Simili

  1. Alan Turing riabilitato
    Di L'anticristo nel forum Politica Europea
    Risposte: 43
    Ultimo Messaggio: 28-12-13, 00:15
  2. Risposte: 1
    Ultimo Messaggio: 29-07-12, 09:26
  3. Il socialismo: oltre la destra, oltre la sinistra, oltre la modernità
    Di Legionario nel forum Socialismo Nazionale
    Risposte: 2
    Ultimo Messaggio: 11-07-12, 17:56
  4. Risposte: 4
    Ultimo Messaggio: 11-07-12, 17:52
  5. Alan Turing o Steve Jobs?
    Di CuspideAntares nel forum Il Termometro Politico
    Risposte: 7
    Ultimo Messaggio: 25-06-12, 23:36

Permessi di Scrittura

  • Tu non puoi inviare nuove discussioni
  • Tu non puoi inviare risposte
  • Tu non puoi inviare allegati
  • Tu non puoi modificare i tuoi messaggi
  •  
[Rilevato AdBlock]

Per accedere ai contenuti di questo Forum con AdBlock attivato
devi registrarti gratuitamente ed eseguire il login al Forum.

Per registrarti, disattiva temporaneamente l'AdBlock e dopo aver
fatto il login potrai riattivarlo senza problemi.

Se non ti interessa registrarti, puoi sempre accedere ai contenuti disattivando AdBlock per questo sito