Michel Onfray

[Platone]

uno tira in ballo Flore d'arcais e tu te ne esci con le bazzecole di odifreddi che son storia vecchia, arcinota e arcinfondata? almeno menzionaste Mugnai, Vitiello, Tarca , etc. cioè gente che severino l'ha letto e studiato a fondo e non ne parla a sproposito quando lo critica

pardonnez moi, intendevo Bontadini e non Mugnai.. che pure quest'ultimo ha sparato le sue

[Aladar]

avrai letto si e no qualche libretto divulgativo, diversamente, ribadisco, non te ne usciresti con asserzioni tanto grossolane

Tua opinione.

[Aladar]

ok, tu un po' di logica mi pare che la capisci,

eheh si qualcosina....

si tratta della distinzione tra linguaggio e metalinguaggio, noi non possiamo esprimere nessun giudizio di verità se non disponiamo di un metalinguaggio con cui esprimere giudizi rispetto il linguaggio, un linguaggio del secondo ordine, se non ci piace dire meta

A me meta va benissimo, sono io che ho messo in campo il prefisso.

però il concetto è chiaro, il linguaggio del secondo ordine, deve essere irriducibile al linguaggio del primo ordine(non deve essere derivabile da quello attraverso una serie finita di operazioni), altrimenti siamo ancora dentro il linguaggio del primo ordine e non possiamo esprimere giudizi semantici, d verità, ma solo di consistenza logica, e infondo non è detto neppure quello, visto che nessun sistema formale sufficientemente potente(cioè che includa per lo meno l' aritmentica) è mai completo

Bene, tutto ciò non giustifica tuttavia in alcun modo il salto "ontologico" tra la metafisica immanente e quella trascendente, specie quella di stampo teologico.

(ps ovviamente nel mio intervento precedente intendevo 'algoritmico' non 'logaritmico', ero mezzo addormentato, ma vedo che tanto hai capito il concetto..)

Lo avevo capito.

è ma qui fai metafisica

Si, immanente. I numeri, gli insiemi e tutti i concetti pensati dall'uomo sono umani e pertanto immanenti.

limito a prendere atto che esistono quantità tra loro non commensurabili

Solo se non consideri i Reali, se li consideri non sono più tali. Ogni cosa è relazione ad altra cosa, ogni insieme è contenuto in un insieme più grande, necessariamente, fino al tutto.

è vero che ogni numero pari maggiore di 2 può essere ottenuto come somma di due numeri primi?
è la congettura di goldbach,

L'idea fu di goldbach ma la formulazione che hai riportato è di Eulero, che peraltro ha scritto la più bella ed elegante formula matematica mai scritta:



Di una eleganza e magnificenza straordinari.

non esiste(allo stato attuale) una dimostrazione né della verità né della sua falsità all' intenro dell' artitmetica formalizzata, eppure noi sappiamo benissimo che con ogni probabilità è vera, come facciamo a saperlo? questo io intendo con la parola fastidiosa 'trasendenza'

In realtà abbiamo molti indizi che ci fanno pensare alla sua verità, non serve tirare in ballo null'altro che la matematica stessa.

ad un calcolatore nel quale fosse installato un programma che contiene l' aritmetica formalizzata, se noi domandiamo se è vera o no la congettura di golbach si impalla, ci impiega in tempo infinito, perché non è in grado di uscire dal sistema formale in cui il problema è formulato

Si impalla per questioni di capacità di calcolo, non per questioni matematiche, se avesse capacità di calcolo infinita non si impallerebbe.

Forse i teoremi di Godel sarebbero stati più calzanti per ciò che vuoi dire, che comunque ho capito benissimo; ma in tutti i casi che ti vengono in mente, Godel compreso, siamo nell'immanente.

[Platone]

Tua opinione.

Ah davvero? Mia opinione? Allora sentiamo cosa avresti letto

[Scipione]

Ah davvero? Mia opinione? Allora sentiamo cosa avresti letto

E tu, sborone supponente, cosa hai letto? Che titoli hai? Suvvia, illuminaci dall'alto della tua sapienza...

[Jerome]

E tu, sborone supponente, cosa hai letto? Che titoli hai? Suvvia, illuminaci dall'alto della tua sapienza...

Lui ha letto ogni filosofo esistente in lingua originale, dato che è filosofo di professione. Dice.

[zwirner]

uno tira in ballo Flore d'arcais e tu te ne esci con le bazzecole di odifreddi che son storia vecchia, arcinota e arcinfondata? almeno menzionaste Mugnai, Vitiello, Tarca , etc. cioè gente che severino l'ha letto e studiato a fondo e non ne parla a sproposito quando lo critica

Se non erro Odifreddi fu uno di quegli intellettuali divenuti famosi per il loro antiberlusconismo più che per il loro pensiero. Insomma salirono sul carrozzone di sinistra all'epoca dei movimenti di piazza stracciandosi le vesti contro l'amico di Putin.

[Jerome]

Odifreddi è famoso per il suo anticlericalismo, non per l'antiberlusconismo.

[zwirner]

Odifreddi è famoso per il suo anticlericalismo, non per l'antiberlusconismo.

Si , ma è balzato alle cronache quando la sinistra arruolò questi intellettuali nella crociata contro Silvio . Sennò chi lo conosceva , giusto chi leggeva Le Scienze perché ci cura una rubricato.

[Aladar]

Ah davvero? Mia opinione? Allora sentiamo cosa avresti letto

Ma scusa, tu che ti fregi del nome di Platone, perché difendi Severino ?