Self-graphing equations
Questo articolo critica la popolare concezione della formula autoriferita di Tupper come tipograficamente dipendente e banale, per poi risolvere tali problemi formalizzando il problema e fornendo una soluzione generale utilizzando la teoria della computabilità.
Articolo originale sotto licenza CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Questa è una spiegazione generata dall'IA dell'articolo qui sotto. Non è stata scritta né approvata dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo
Immaginate un mondo in cui una formula matematica, quando disegnata su un foglio di carta, non descrive solo una forma come un cerchio o un'onda, ma disegna effettivamente le parole stesse che compongono la formula. Questa è l'idea strana e affascinante di un'equazione "auto-graficante". Il concetto ha guadagnato una vasta attenzione dopo che una specifica formula, nota come la formula autoreferenziale di Tupper, è diventata virale su internet. Quella famosa formula è capace di disegnare qualsiasi immagine di una certa dimensione, incluse le parole della formula stessa, ma si basa su un numero specifico, pre-scelto, per funzionare. È un astuto trucco di coordinate piuttosto che un vero autoreferimento. I matematici si sono spesso chiesti se sia possibile creare un'equazione che contenga intrinsecamente le istruzioni per disegnare se stessa, senza aver bisogno di un codice segreto o di un numero specifico per sbloccare l'immagine. Tuttavia, la questione è complicata perché dipende interamente da come scegliamo di scrivere le lettere e i simboli. Se il carattere cambia, il disegno cambia, e l'equazione potrebbe non corrispondere più al disegno. Inoltre, se si fosse autorizzati a usare qualsiasi funzione immaginabile, il problema diventerebbe banale e privo di significato, poiché si potrebbe semplicemente definire una funzione che disegni l'immagine che si desidera, incluse le parole della funzione stessa.
Un ricercatore di nome Samuel Allen Alexander ha affrontato questi difetti trasformando il problema in una questione matematica rigorosa. Invece di concentrarsi su un carattere specifico o su un insieme specifico di simboli consentiti, ha creato un quadro generale che definisce cosa significhi per un'equazione essere "auto-graficante" in un modo che funzioni per qualsiasi ragionevole sistema di scrittura. Ha trattato l'alfabeto dei simboli, il modo in cui vengono disegnati come forme e il modo in cui vengono interpretati come equazioni come un sistema formale. In questo sistema, ogni stringa di simboli ha un significato specifico come disegno su un piano. L'obiettivo era trovare una stringa di simboli che, quando interpretata come disegno, produca la stessa identica stringa di simboli. Per risolvere questo, Alexander non si è affidato al tentativo ed errore o alla ricerca casuale. Inveve, ha utilizzato uno strumento potente proveniente dal campo della teoria della computabilità, che studia ciò che può e non può essere calcolato dalle macchine. Ha applicato un famoso risultato noto come il teorema della ricorsione. Questo teorema, originariamente usato per dimostrare che un programma per computer può stampare il proprio codice sorgente, garantisce che, sotto certe condizioni logiche, un sistema possa riferirsi a se stesso.
Il documento dimostra che se un sistema di equazioni è "auto-vincolato" — ovvero possiede una struttura logica che permette di tradurre la descrizione di un disegno in un'equazione che produce quel disegno — allora è garantita l'esistenza di un'equazione auto-graficante. Alexander ha mostrato che questa condizione è soddisfatta da un sistema molto pratico di scrittura di equazioni. Ha costruito un esempio specifico utilizzando un insieme standard di lettere, numeri e simboli matematici, inclusi strumenti speciali per gestire somme e prodotti infiniti. In questo sistema, i simboli sono disegnati come piccole forme squadrate composte da minuscoli pixel, proprio come le lettere su uno schermo digitale. Il ricercatore ha dimostrato che, all'interno di questo sistema, esiste una specifica stringa di caratteri che, quando graficata, disegna esattamente la stessa stringa di caratteri. La prova si basa sul fatto che il sistema può esprimere affermazioni logiche complesse, inclusa la capacità di dire "esiste" o "per ogni", il che permette all'equazione di descrivere la propria struttura.
La scoperta è una dimostrazione definitiva di esistenza, non una ricetta specifica per scrivere un tale equazione a mano. Il documento non fornisce la stringa di simboli effettiva che risolve il problema, perché la stringa sarebbe incredibilmente lunga e complessa, ben oltre ciò che un essere umano potrebbe scrivere o leggere. Invece, il lavoro dimostra che tale stringa deve esistere all'interno di qualsiasi sistema che soddisfi i criteri logici stabiliti da Alexander. La ricerca risolve efficacemente il dibattito sul fatto che le equazioni auto-graficanti siano una curiosità priva di senso o un'impossibilità banale. Dimostra che non sono né l'una né l'altra. Sono una genuina realtà matematica che sorge naturalmente in sistemi capaci di esprimere la propria logica. Il lavoro chiarisce che la formula virale di internet non era l'unico modo per ottenere questo, né era un vero autoreferimento nel senso più stretto. Formalizzando le regole del gioco, Alexander ha dimostrato che l'universo delle equazioni matematiche è abbastanza ricco da contenere la propria immagine, a patto che le regole del gioco siano impostate correttamente. Questo risultato colma il divario tra la logica astratta e la rappresentazione visiva, provando che un insieme di istruzioni può, in un senso molto reale, disegnare se stesso.
Sommerso dagli articoli nel tuo campo?
Ricevi digest giornalieri degli articoli più recenti corrispondenti alle tue parole chiave di ricerca — con riassunti tecnici, nella tua lingua.