1 punto di ritrovo di noi ragazzi. Noi che ci conosciamo da parecchi anni. Noi che in un modo o nell'altro, uniti da passioni, interessi, e, a volte, bocciature siamo riusciti a restare vicini. Ognuno con 1 suo perchè, riuniti, ci completiamo, quasi a formare il mix perfetto in grado di litigare, se necessario, e di combattere per un ideale comune all'occorrenza.
In fondo, dopo tanti anni, era ora di sparare qualche cazzata oltre il caro ma pur ristretto mondo di Pn.
lunedì 29 settembre 2008
FACE STARS: Kurt Gödel
Forse il più grande logico di tutti i tempi. Curiosa la sua dimostrazione "dell'esistenza di Dio" (la quale purtroppo richiama concetti non ancora in mio possesso e che quindi non posso valutare).
interessante la teoria su Dio..la mia ignoranza in questione n m permette d fare commenti costruttivi sull'argomento però...qllo che poxo dire è che una visione troppo razionale magari..ma essendo Godel un logico m pare...logico :D
già. E' una dimostrazione matematica. Poi "definire" Dio come l'insieme di tutte le "buone" proprietà è tutta un'altra storia ovviamente.. Però simpatico!
Famoso anche per i due teoremi di incompletezza: Primo) In ogni teoria matematica T sufficientemente espressiva da contenere l'aritmetica, esiste una formula Ω tale che, se T è coerente, allora né Ω né la sua negazione -Ω sono dimostrabili in T.
in un qualsiasi sistema assiomatico (costruito cioè su un gruppo di assiomi, come l'aritmetica o la geometria euclidea) è sempre possibile trovare una proposizione che fa parte di questo sistema, la cui validità non è tuttavia dimostrabile con i mezzi logici (assiomi, definizioni, regole di deduzione) offerti dal sistema stesso.
secondo) Sia T una teoria matematica sufficientemente espressiva da contenere l'aritmetica: se T è coerente, non è possibile provare la coerenza di T all'interno di T .
un sistema sufficientemente potente da contenere l'aritmetica non può dimostrare la propria coerenza utilizzando esclusivamente le proprie risorse logiche.
sono state prese da Wikipedia, ma giuro, ancora in alcuni casi ho gli incubi a cercar di capire cosa cazzo vogliano dire..per un'attimo questi due teoremi sono usciti, così per il piacere sadico del professore, durante il corso di Analisi II.
interessante la teoria su Dio..la mia ignoranza in questione n m permette d fare commenti costruttivi sull'argomento però...qllo che poxo dire è che una visione troppo razionale magari..ma essendo Godel un logico m pare...logico :D
RispondiEliminagià. E' una dimostrazione matematica.
RispondiEliminaPoi "definire" Dio come l'insieme di tutte le "buone" proprietà è tutta un'altra storia ovviamente..
Però simpatico!
Si interessante anche il fatto che qsta teoria l'ha tenuta nascosta fino alla sua morte,boh magari pensava d creare un caos...
RispondiEliminaFamoso anche per i due teoremi di incompletezza:
RispondiEliminaPrimo) In ogni teoria matematica T sufficientemente espressiva da contenere l'aritmetica, esiste una formula Ω tale che, se T è coerente, allora né Ω né la sua negazione -Ω sono dimostrabili in T.
in un qualsiasi sistema assiomatico (costruito cioè su un gruppo di assiomi, come l'aritmetica o la geometria euclidea) è sempre possibile trovare una proposizione che fa parte di questo sistema, la cui validità non è tuttavia dimostrabile con i mezzi logici (assiomi, definizioni, regole di deduzione) offerti dal sistema stesso.
secondo) Sia T una teoria matematica sufficientemente espressiva da contenere l'aritmetica: se T è coerente, non è possibile provare la coerenza di T all'interno di T .
un sistema sufficientemente potente da contenere l'aritmetica non può dimostrare la propria coerenza utilizzando esclusivamente le proprie risorse logiche.
sono state prese da Wikipedia, ma giuro, ancora in alcuni casi ho gli incubi a cercar di capire cosa cazzo vogliano dire..per un'attimo questi due teoremi sono usciti, così per il piacere sadico del professore, durante il corso di Analisi II.
Molto bene cava, molto bene!
RispondiEliminaragazzi.. un genio.. che dire.. basta guardare il ciufffo pazzo!!!
RispondiEliminaQuesto commento è stato eliminato dall'autore.
RispondiEliminacensurabile e risibile il tentativo di dimostrare l'esistenza di dio nel XXI secolo Esimio, che ne dice?
RispondiElimina