Kurt Gödel: Il dio della logica, I fondamenti della matematica e i teoremi di incompletezza

Рет қаралды 32,736

Күн бұрын

Пікірлер: 66

@marameo3809 8 ай бұрын

La matematica è solo un prodotto del pensiero. Uno strumento per produrre tecnologia, un modo per credere di interpretare porzioni di realtà. Frammenta la realtà che nei fatti è unitaria.

@J_Machine 6 ай бұрын

Questo è solo il tuo punto di vista, è una visione che in filosofia della matematica è detta "formalismo", io ad esempio che sono Platonista non sono d'accordo con te

@marameo3809 6 ай бұрын

@@J_Machine la realtà, di fatto, è straordinariamente interconnessa e unitaria in tutte le sue componenti fisiche, chimiche biologiche. Questa non è filosofia. È un fatto.

@J_Machine 6 ай бұрын

@@marameo3809 dove ho mai detto che la matematica non sia interconnessa con un sacco di discipline? Hai appena fatto un argomento fantoccio, quello che ho detto io ovvero che la tua visione è una visione formalista rappresenta il vero in quanto è un argomento noto nella filosofia della matematica. Affermare che la matematica sia un prodotto del pensiero non è un dato di fatto e ne una verità, ma è una specifica visione filosofica chiamata "formalismo"

@gabriellagalante347 5 ай бұрын

“uno strumento per produrre tecnologia” .. scrive Marameo .. ma quando MAI! La pubblicizzano così .. per non farla odiare ai PIÙ .. e farla amare a chi CONSUMA .. Vive attaccato ad ogni sorta di “macchina” La MATEMATICA VERA è la MATEMATICA INUTILE .. FORME DI BELLEZZA del pensiero umano .. come pensava e diceva G.J. HARDY .. La MATEMATICA è l’ONORE DELLO SPIRITO UMANO .. dice da sempre SILVIO MARACCHIA. .. quando ormai .. nell’Umanità .. ci sono rimaste solo 8 MILIARDI DI LIBERTÀ INDIVIDUALI .. ognuno fa il PROPRIO INTERESSE .. SENZA REGOLE di RISPETTO verso l’ALTRO.

@letermopili 3 ай бұрын

@@J_Machine E' invece certamente un prodotto del pensiero, proprio Godel ha messo una pietra tombale su questa verità.

@Gedanken.Experiment 3 жыл бұрын

14:43 Piccolo infortunio di traduzione. La congettura di Goldbach diventa la congettura della scatola d'oro. Immagino a seguito della storpiatura che trasforma Goldbach in Goldbox

@nerinamia1969 Жыл бұрын

O Goebbels

@legio1436 Жыл бұрын

Se dimostro che un Sistema Assiomatico Completo è in grado di dimostrare qualunque Teorema, allora scopro che quel Sistema Assiomatico Completo è contraddittorio. Se dimostro che un Sistema Assiomatico Completo è tale da non portare ad alcuna contraddizione, allora vi sarà sempre un Teorema all'interno del Sistema Assiomatico Completo che non sarà mai possibile dimostrare nonostante la complessità e il rigore della Struttura Logica costruita per saper rispondere a qualsiasi domanda. Kurt Godel Koenigsberg Domenica 7 settembre 1930

@luigipistoia4564 11 ай бұрын

La matematica e' il dialetto di Dio .

@84ateo27 11 ай бұрын

La FISICA cosa è? E dopo passiamo alla FISICA MATEMATICA…

@84ateo27 11 ай бұрын

Ciò che credete abbia creato “a sua immagine e somiglianza “ proprio perché aveva RAGIONE ha commesso il noto peccato originale perché aveva bisogno di sperimentare?

@leonardobertolani7789 3 ай бұрын

Qualcuno potrebbe consigliarmi qualche libro/corso universitario che tratti di questi aspetti di logica? Sono davvero molto interessanti, ma purtroppo non ho mai avuto modo di approfondirli

@gabrielemartufi 3 ай бұрын

Ciao, ti consiglio questi libri: - La prova di Gödel di Ernest Nagel, James R. Newman - Il diavolo in cattedra. La logica da Aristotele a Gödel di Piergiorgio Odifreddi - Logica da zero a Gödel di Francesco Berto

@letermopili 3 ай бұрын

No no, significa proprio che 2 + 2 fa 4 solo nel sistema di riferimento, che però non può essere provato essere corretto, e di conseguenza 2 + 2 non fa 4 in assoluto, cioè in tutti i sistemi di riferimento.

@mirko.s4302 8 ай бұрын

In questa logica il sistema è un ente o struttura matematica. Se Il sistema non è coerente, allora il sistema è coerente a non avere coerenza , ma un sistema coerente non può dimostrare la sua coerenza all interno di sé stesso , ma allora il sistema è coerente o non coerente? Se il sistema non può dimostrare la sua coerenza allora il sistema è soddisfacibile Se il sistema è coerente non posso dimostrarlo nello stesso sistema. Questo è un sistema che cerca di dimostrare la coerenza dello stesso sistema. Una contraddizione indica non coerenza del sistema ma questo è a sua volta un sistema che implica coerenza non dimostrabile. Dunque questo sistema è possibile sia coerente . Quindi esiste almeno un mondo in cui il sistema è coerente . Nello stesso mondo non può essere dimostrato . Dunque questo non è necessariamente il mondo in cui il sistema è coerente. Ma allora in tutti gli altri mondi il sistema deve essere coerente . Se sistema è possibile dimostrare la sua coerenza allora è necessariamente incoerente. Ma non è in Questo mondo che il sistema sia necessariamente coerente , ovvero è solo possibile che lo sia . Un sistema o è coerente oppure non è coerente quindi non esiste un terzo stato. Se un sistema è dotato di una proprietà , allora un non sistema è dotato della proprietà complementare . Dunque il sistema include la proprietà e il non sistema include la proprietà opposta per definizione . Se questo sistema fosse non coerente allora sarebbe possibile dimostrarlo. Ma dunque il sistema se coerente ha una certa proprietà , se il sistema non è coerente allora non ha la proprietà stessa ,Se questo non può essere dimostrato ma essere dimostrato in altri mondi , allora la proprietà ne rimane . Se questo non è un sistema allora non è un sistema dunque neccessariamente è incoerente. Se questo sistema fosse incoerente allora necessariamente c'è coerenza nella dimostrazione ma a sua volta dovremmo dimostrare la sua coerenza che non può essere confutata in questo perché saremmo nello stesso sistema , quindi il sistema è contraddittorio finché si cerca di dimostrarlo , questo è un mondo esterno al sistema del sistema ...per ogni sistema , dunque è vero che è stata dimostrata la sua coerenza ma solo all esterno. Quindi se questo è un sistema è necessariamente coerente per definizione naturale. «Nonostante le apparenze, non vi è nulla di circolare in un tale enunciato, dal momento che esso all'inizio asserisce l'indimostrabilità di una formula ben determinata, e solo in seguito, quasi per caso, risulta che questa formula è proprio quella che esprime questo stesso enunciato.»(Godel)

@antoniobattigelli1139 Жыл бұрын

Ha perfettamente incarnato li suo il suo teorema.

@gabrielefilosofi9228 8 ай бұрын

vorrei tanto conoscere qualcuna di queste proposizioni indecidibili. Quante sono? Infinite? Se un teorema è indecidibile in un sistema formale A, può esistere un sistema formale B e una proposizione equivalente che è decidibile?

@J_Machine 6 ай бұрын

Se il sistema è sufficientemente potente da includere i numeri naturali allora la risposta è no

@benderbender988 Жыл бұрын

Gentzen's consistency proof

@AmyAmy-er8bp 10 ай бұрын

Razgavor idyot, te Yerdvi vor Gij ches. Ta, a ya dumala Dod em? Razovor mejdu kem? Dodom, i normalnim chelovekom. :))) Inchu mtatsetsir Gij em??? Mne tak udobno, tents mtatsetsi. Tot gtel enq vonts stugenq gij es te che. :). I kak? Smoke so and so if so and so gij es and so on :) Ed el tak sshas dokazivayut shto to. A ved dom dali tot detey otnyali. A vi navernoye Toje s xijini, tak zashishayete drug druga. Ponyali kto eti lyudi. @nhamen@ mi hat toq chinei, sax kyanqs taran. A ved bez uma navernoye tyajelo???? #Bezuma. Yesli ya bezumnaya ti Bez Uma ostaneshsya, yesli ne uje. I opyat, sidyat deti na ulitse, golodayut. Sosed shto delat, day derevo xot ktnkem, s yablokami, pust yablok syedyat. A dom kto dast? Ne domashniye, nikto. Menak sranq ein pakasum fokusnerov, i tak Tyajelo chgitein inch er, sshas tyajest snimu. Voch xelq voch mexq. Im to nichevo ot jizni ne nado? Tebya ne trogayut, i ti ne sun nos v chujiye dela. Tot, a u menya problem ne xvatayet. Sshas tak Matematiki problemi reshayut. Sidit, von kakaya dillemma... A ved lecheniye na dibilov Netu! Tot zachem netu, von v vashem gorode normalno jivut, poshli tuda pust otdixayut ot intelektualov. Nam takaya data ne nujna. Provitniye. Yikes!