"Oltre il Loop" parte 2 - Kurt Gödel - di Corrado Malanga (25/11/2017)

Il Teorema di incompletezza di Gödel (1931)
In ogni formalizzazione coerente della matematica che sia sufficientemente potente da poter  assiomatizzare  la teoria elementare dei numeri naturali- vale a dire, sufficientemente potente da definire la struttura dei numeri naturali dotati delle operazioni di somma e prodotto – è possibile costruire una preposizione  sintatticamente corretta  che non può essere né dimostrata né confutata all’interno dello stesso sistema ( 1° Teorema di Gödel)..............

Commenti

Posta un commento

Post popolari in questo blog

Alla COOP prodotti di marca (con altra etichetta) a prezzo ribassato

Immagine
  Qui di seguito potete visualizzare le liste con i principali produttori dei prodotti che acquistate abitualmente all'interno delle catene dei supermercati più famose in Italia. Sono liste redatte e modificate da voi consumatori che partecipate segnalando le vostre scoperte che aiutano a risparmiare e aumentare la consapevolezza di acquisto in migliaia di consumatori che vi leggono. Leggete sempre le etichette dei prodotti che acquistate quindi partendo dall'indicazione dello stabilimento di produzione. Per capire infatti qual è il produttore basta che leggiate sull'etichetta la via che identifica lo stabilimento di produzione. Esempio di voce riportata sull'etichetta Prodotto da Vicenzi Biscotti Spa Via Forte Garofolo, 1 37057 San Giovanni Lupatoto (VR) da cui si evince chiaramente che il produttore è Vicenzi . Non è detto che troviate sull'etichetta sempre il nome del produttore perché non è obbligatorio riportarlo per legge a differenza della vi...
Continua a leggere