Nomercy

[Giubilator]

Il paradosso é noto come l'antinomia di Russell. Ai tempi non esistevano le operazioni di cambia!ento di sesso.
Comunque la sua rilevanza é minima in ambito matematico perché é solo un piccolissimo corollario del teorema di incompletezza di Goedel. Ha peróil vantaggio di essere facilmente comprensibile ( ) ed é famoso dal momento che Bertrand Russell era un ottimo divulgatore...
Comunque ripeto Sarri é tifoso del Napoli enon puó essere considerato né sarrista né tantomeno antisarrista.
Il che mostra che la divisione tra i due bandi é assurda.

Enviado desde mi 8055 mediante Tapatalk

E tu che ne sai del teorema di incompletezza di Goedel ne hijo?

Inviato dal mio SM-A520F utilizzando Tapatalk

[Milionidiutili80]

E tu che ne sai del teorema di incompletezza di Goedel ne hijo?

Inviato dal mio SM-A520F utilizzando Tapatalk

Se vuoi ne parliamo, ma é un teorema molto complesso anche solo per la terminologia utilizzata. Lessi tempo fa una dimostrazione, ma devo dire che non l'ho capita in tutti i dettagli.
Ma penso di poter cogliere le implicazioni di quel teorema. Difficile rimanere attaccati ad una visione positivista della scienza una volta compresa la portata del teorema. Ma come per inerzia il mondo scientifico ha ripreso il suo corso di sempre, con tutta la sua magnifica arroganza, nonostante il teorema di Goedel in ambito logico/matematico e lo sviluppo della teoria quantistica in ambito fisico. Rinascesse un Socrate lo obbliegheremmo di nuovo a bere la cicuta.
Per quanto riguarda il tema di cui stavamo parlando, il paradosso del barbiere, il mio era solo un appunto storico.
B. Russell era ossessionato dalla possibilità di ridurre tutta la matematica ad un semplice sistema assiomatico basato sui numeri naturali. Come saprai, all'origine di questa ricerca che convolse gran parte dei matematici a cavallo tra il XIX e il XX secolo é lo strabiliante teorema di Lobatchevski sull'indipendenza del V postulato di Euclide.
Hilbert e la scuola di Heidelberg si proccuparono allora di derivare tutta la geometria classica dall'algebra.
Per questo anche tu a scuola avrai studiato i vettori con un formalismo che é nato proprio in quegli anni.
Le geometrie non euclidee possono essere studiate in temini di varietà riemanniane e/o algebriche.
Oggi questa visione é stata superata da quella kleiniana, ma questa é un'altra storia.
Quindi la geometria euclidea é rigorosa perché si regge sul formalismo dei numeri reali.
I numeri reali sono il completamento analitico dei numeri razionali (frazioni).
I numeri razionali sono il completamento come corpo dei numeri interi.
I numeri interi sono il più piccolo anello che contengono i numeri naturali.
Quindi a catena discendente tutta la geometria moderna dipende dalla definizione dei numeri naturali.
Il che é ovvio. Tutti sappiamo che cosa sono i numeri interi. O NO?
E invece cosi' ovvio non é vissto che anche i postulati di euclide erano apparsi ovvi per millennii.
L'idea era la seguente definire il numero 3, per esempio, come la propriet comune a tutti gli insiemi in biiezione naturale con un qualsiasi insieme di tre elementi. Bella soluzione no?
 
No, perché per quanto questa definizione non sia paradossale si basa sulla costruzione di un'insieme di insiemi a partire da una qualità propria di un elemento di quest'insieme.
Questa costruzione non é coerente a livello logico come dimostra il paradosso del barbiere.
Nel frattempo earrivo' Goedel e dimostro' che erano tutte pippe inutili, fine della storia.

[Giubilator]

Se vuoi ne parliamo, ma é un teorema molto complesso anche solo per la terminologia utilizzata. Lessi tempo fa una dimostrazione, ma devo dire che non l'ho capita in tutti i dettagli.
Ma penso di poter cogliere le implicazioni di quel teorema. Difficile rimanere attaccati ad una visione positivista della scienza una volta compresa la portata del teorema. Ma come per inerzia il mondo scientifico ha ripreso il suo corso di sempre, con tutta la sua magnifica arroganza, nonostante il teorema di Goedel in ambito logico/matematico e lo sviluppo della teoria quantistica in ambito fisico. Rinascesse un Socrate lo obbliegheremmo di nuovo a bere la cicuta.

L'ho studiato ma in tutt'altro contesto, dal quale non mi ricordo tu provenga. Per questo chiedevo

Inviato dal mio SM-A520F utilizzando Tapatalk

[Milionidiutili80]

L'ho studiato ma in tutt'altro contesto, dal quale non mi ricordo tu provenga. Per questo chiedevo

Inviato dal mio SM-A520F utilizzando Tapatalk

Ok. Ho editato il mio commento, cercando di contestualizzarlo.
Tu fai dell' IA?

[Giubilator]

Ok. Ho editato il mio commento, cercando di contestualizzarlo.
Tu fai dell' IA?

Yes Sir. Non ora ora ma in passato si

Inviato dal mio SM-A520F utilizzando Tapatalk

[Milionidiutili80]

Yes Sir. Non ora ora ma in passato si

Inviato dal mio SM-A520F utilizzando Tapatalk

OK. Allora saprai meglio di me cosa implica il buon vecchio teorema di Goedel. Ma avrai anche pane per i denti di Nomercy che forse non sa che il sofismo é stato superato dai lavori in intelligenza artificiale.
Il pensiero esiste
Sai che KTA é un ricercatore in neuroscienze? Anche se non so nel dettaglio di cosa si occupa.
Dovremmo montarci un topic di divulgazione scientifica, soprattutto per queste maledette pause per le nazionali.

[Nomercy]

OK. Allora saprai meglio di me cosa implica il buon vecchio teorema di Goedel. Ma avrai anche pane per i denti di Nomercy che forse non sa che il sofismo é stato superato dai lavori in intelligenza artificiale.
Il pensiero esiste
Sai che KTA é un ricercatore in neuroscienze? Anche se non so nel dettaglio di cosa si occupa.
Dovremmo montarci un topic di divulgazione scientifica, soprattutto per queste maledette pause per le nazionali.

Al contrario
Frege e Russell avrebbero risparmiato parecchio tempo se stavano a sentire a gorgia look

[Milionidiutili80]

E comunque é vero, i matematici non amano parlare del teorema di Goedel (sempre e quendo ne conoscano l'esistenza) e quando lo fanno effettuano sempre la manovra Sarri.
 Quello che so lo devo più che altro alla mia cultura personale.
Al liceo mi ero letto appassionatamente l'Introduzione al pensiero matematico di Russell e ho riletto varie volte le sue opere anche se sempre con più distacco. PErché, diciamocelo, era un po' un pallone gonfiato ma pur sempre un gran divulgatore...
Invece secondo me il libbro "Goedel, Escher, Bach" che ha avuto molto successo in Italia ha fatto anche molti danni, ma non é facile rendere comprensibile la matematica senza "arnaquer" (truffare) come dicono i francesi.

[Milionidiutili80]

Al contrario
Frege e Russell avrebbero risparmiato parecchio tempo se stavano a sentire a gorgia look

Come direbbe Rain: Ti voglio bene, Nomercy.
E comunque quando si parla di Frege, Russell e Dedekind si dimentica sempre di nominare il nostro grande Peano.
Una specie di Sarri della logica moderna, capace di mostrare il dito medio nientemeno che a Mussolini.
Tu cosa ne pensi? Conosci le sue opere?

[Milionidiutili80]

Yes Sir. Non ora ora ma in passato si

Inviato dal mio SM-A520F utilizzando Tapatalk

E adesso di cosa ti occupi?

[Giubilator]

E adesso di cosa ti occupi?

sicurezza informatica

[LAGRANGIA]

Questo vostro posting è uno sfoggio di cultura alquanto compassato.

[Cavalier SPicci]

Qualcuno mi spieghi con calma la faccenda del barbiere?

Inviato dal mio SM-G950F utilizzando Tapatalk

[George Stobbart]

Vorrei sei possibile delle info in piu` su Nomercy, che lavora fa, dove vive etc grazie

[Arch Stanton]

Vorrei sei possibile delle info in piu` su Nomercy, che lavora fa, dove vive etc grazie

ma che te ne fott