Simbologia gödeliana
Maggio 27th, 2020 | by Marcello Colozzo |
Disgustosi viandanti percorrono un viale piastrellato 'a la Penrose. Ma la piastrellatura è incompleta: presenta dei bachi che forse rappresentano le proposizioni indecidibili in senso gödeliano.
Passeggiando in riva al mare su una costellazione di tessere di Penrose progressivamente cancellate dall'acqua, ma ricreate al tempo stesso da quella ricchezza di simboli componenti una libreria di quel gigantesco software allegoricamente rappresentato dal mare medesimo. Un linguaggio di programmazione che agisce su simboli in una modalità extra razionale, rendendo più incisivi i concetti che rappresenta. Ma rimane comunque un linguaggio, con i suoi inevitabili limiti gödeliani.
Cosa c'è oltre i simboli?
Tags: indecidibilità, piastrellatura del piano, tessere di penrose
Articoli correlati


Congettura di Riemann
Trasformata discreta di Fourier
Trasformata di Fourier nel senso delle distribuzioni
Trasformata di Fourier
Infinitesimi ed infiniti
Limiti notevoli
Punti di discontinuità
Misura di Peano Jordan
Eserciziario sugli integrali
Differenziabilità
Differenziabilità (2)
Esercizi sui limiti
Appunti sulle derivate
Studio della funzione
Esercizi sugli integrali indefiniti
Algebra lineare
Analisi Matematica 2
Analisi funzionale
Entanglement quantistico
Spazio complesso
Biliardo di Novikov
Intro alla Meccanica quantistica
Entanglement Quantistico
