Siamo soliti pensare all’italiano, e alle lingue in generale, come a blocchi compatti le cui regole sono rigidamente stabilite dalla grammatica. Da questa prospettiva, la frase che funge da titolo di questo [...] è invece la varietà di italiano codificata nei contesti formali orali e scritti ed è ciò cui si fa passato. In italiano standard – tra forme semplici e trapassati – il sistema prevede almeno 4 gradi e questa caratteristica è attestata in sole due ... Leggi Tutto

L’articolo affronta il tema dei sistemi formali da prospettive diverse, esplorando alcune suggestive analogie con lo zen. Dopo aver illustrato cos’è una tautologia, vengono presentati alcuni esempi di [...] sistemi formali, come il sistema formale per il calcolo delle proposizioni e il sistema MIU. Quest’ultimo è stato ideato da Hofstadter a fini divulgativi. Si propone al lettore un “semplice” esercizio per familiarizzare con questi concetti. ... Leggi Tutto

L’articolo ripercorre la storia dei sistemi formali, da Leibniz ad Hilbert, a Gӧdel. Vengono presentati il programma di Hilbert e i teoremi di incompletezza di Gӧdel, illustrando l’idea alla base della [...] dimostrazione del primo teorema di incompletezza. Vengono, infine, proposte alcune letture filosofiche dei sistemi formali, riportando argomentazioni di Hofstadter, Lucas, Seth Lloyd. Secondo Lucas il primo teorema di incompletezza sancisce la ... Leggi Tutto

Centro e periferia. Capire come si formano e si mescolano questi due elementi della città è cercare una via per comprendere meglio quest’ultima, il luogo in cui l’uomo vive e si muove, lo spazio nel quale [...] oggi più spesso definito non solo in base alle sue caratteristiche formali e strutturali, ma anche rispetto ai suoi caratteri funzionali, materie prime. Nonostante si registri una crescita dei sistemi di trasporto, anche a costi minori, sfruttata ... Leggi Tutto

La diffusione dell’illuminismo giuridico francese e il dogma della tripartizione dei poteri teorizzato da Montesquieu ha fortemente condizionato la struttura dei contemporanei sistemi giuridici occidentali. [...] , dal 1942 ad oggi, le norme contenute dall’art. 2043 e seguenti del Codice civile, mai mutate nel contenuto formale, sono state interpretate dalla Suprema Corte di Cassazione in modo dinamico: la Suprema Corte ha segnato un percorso arzigogolato ... Leggi Tutto

L’articolo ripercorre la storia dei sistemi formali, da Leibniz ad Hilbert, a Gӧdel. Vengono presentati il programma di Hilbert e i teoremi di incompletezza di Gӧdel, illustrando l’idea alla base della [...] dimostrazione del primo teorema di incompletezza. Vengono, infine, proposte alcune letture filosofiche dei sistemi formali, riportando argomentazioni di Hofstadter, Lucas, Seth Lloyd. Secondo Lucas il primo teorema di incompletezza sancisce la ... Leggi Tutto