Passa ai contenuti principali

Begriffsschrift - 2



Una delle pagine più affascinanti e, per certi aspetti, tristi della logica matematica fu il tentativo di Gottlob Frege di derivare, in modo esplicito, le leggi dell'aritmetica da un sistema di assiomi, attraverso il solo calcolo logico. Dopo la pubblicazione, a proprie spese, del volume Grundgesetze der Arithmetik, Frege ricevette una lettera dal giovane Bertrand Russell il quale evidenziò una contraddizione nella quinta legge fondamentale delle Grundgesetze. Frege, non poco amareggiato, dichiarò "Risolti in un completo fallimento" i suoi sforzi di chiarire il concetto di numero. Soltanto successivamente alla sua morte, un brillante logico nato in Moravia, Kurt Gödel, dimostrò formalmente, per mezzo di due teoremi sull'incompletezza dei sistemi formali, che gli scopi perseguiti da Frege erano irraggiungibili.

Commenti

  1. L'introduzione dei teoremi di incompletezza potrebbe essere motivo di futuri approfondimenti tra questo maestoso edificio della logica moderna ed alcuni relazioni con le arti visive, proprio nello spirito delle begriffsschrift o ideografie di G. Frege.
    Aspettiamo un seguito ...

    RispondiElimina

Posta un commento

Post popolari in questo blog

Problemi di sintonia

Sei amato solo dove puoi mostrarti debole senza provocare in risposta la forza. Theodore W. Adorno Ho sentito dire che a New York, all'angolo della XXVI strada e di Broadway, nei mesi invernali, ogni sera, c'è un uomo e ai senzatetto che si redunano pregando i passanti, procura un giaciglio per la notte. Con questo il mondo non cambia, le relazioni fra gli uomini non migliorano, l'epoca dello sfruttamento non è per questo più vicina alla fine. Ma a qualcuno non manca un giaciglio per la notte, il vento viene tenuto lontano da loro per una notte, la neve destinata a loro cade sopra la strada. Non deporre il libro che tu leggi, uomo. A qualcuno non manca un giaciglio per la notte, il vento viene tenuto lontano da loro per una notte, la neve destinata a loro cade sopra la strada. Ma con questo il mondo non cambia, le relazioni fra gli uomini non migliorano, l'epoca dello sfruttamento non è per questo più vicina alla fine. Bertolt Brecht       Tra le

Filosofia del mare

"Il mare e la filosofia condividono lo stesso movimento: incarnano la vita, le indicano una rotta." Cécile Guérard, Piccola filosofia del mare "Da dove vengono le più alte montagne? Così ho chiesto un giorno. E ho appreso che vengono dal mare." Friedrich Nietzsche, Così parlò Zarathustra       Occorre essere lucidi, liberi da ogni pensiero ingombrante, se si vuole evitare un naufragio in quei pochi istanti del videoclip dove si è in mare, dove il mare, mutato e silenzioso, si sottrae allo sguardo da terra e da cielo .       Qui, viceversa, lungo la riva o sospesi in più elevate visioni, il fragore delle onde, diviene emblema di affollati pensieri, frattura e discontinuità, ma anche una sorta di affrancamento da possibili finalità o di evoluzioni del sapere .       In occasione di un'intervista, il filosofo Michel Foucault descrisse lo spostamento della ricerca filosofica dal senso dell'essere al sistema , inteso come insieme di relazioni, ris

Il panorama dell'imperatore

"...una mesta atmosfera d'addio permeava le montagne dalla vetta ai piedi, le città con le loro lucenti finestre, le stazioni con il loro fumo giallo, i vigneti fin nella più piccola foglia. E io mi convincevo (per la seconda volta, dopo averne già avuto quasi regolarmente sentore fin dalla prima immagine) che per quella volta era impossibile sfruttare appieno tali meraviglie in quell'unica seduta." W. Benjamin, Infanzia berlinese       L'intenso, dolce e nostalgico frammento di Benjamin sul Kaiserpanorama , dispositivo ottico, precursore del cinema, che attraverso un paio di lenti mostrava un numero di diapositive di vetro stereoscopiche rotanti, offre l'occasione per qualche nuova ed ulteriore riflessione sul tema degli oggetti fotografici animati , già introdotti nelle pagine di questo blog.       C'è, infatti, un'idea di fondo che attraversa alcune delle clip realizzate e che si basa su una sorta di decostruttivismo dell'immagine fotog