Archivi tag: indecidibilità

Kurt Godel e il Teorema di Incompletezza

Pubblicato il 24 Luglio 2011 da LidiMatematici

Nei post precedenti abbiamo affrontato il tema della impossibilità di misurare con precisione gli eventi fisici, il Principio di Indeterminazione di Heisenberg, e discusso a più riprese sulla difficoltà intrinseca dei sistemi formali, obbligati ad oscillare tra completezza e coerenza. … Continua a leggere→

Share
Pubblicato in PODCAST, Uomini e Donne | Contrassegnato , , , , , , , , , , , , | 4 commenti

Lo zero è un numero naturale ? (parte 2)

Pubblicato il 11 Luglio 2011 da LidiMatematici

Nel post scorso ci siamo occupati del primo assioma di Peano, apparentemente innocuo e privo di grandi sofisticatezze e, invece, foriero di difficoltà non trascurabili. Abbiamo visto che lo zero è sicuramente un numero speciale perché, tornando al gioco di … Continua a leggere→

Share
Pubblicato in Teoria e Pratica | Contrassegnato , , , , , , , , , , | Lascia un commento

Il Dilemma del Barbiere.

Pubblicato il 12 Dicembre 2010 da LidiMatematici

Ieri abbiamo aggiunto nuovi, preziosissimi strumenti alla nostra borsa del matematico. Ora siamo pronti ad affrontare il Paradosso di Russell: In un villaggio c’è un unico barbiere. Il barbiere rade tutti (e solo) gli uomini che non si radono da … Continua a leggere→

Share
Pubblicato in Teoria e Pratica | Contrassegnato , , , , , , | 6 commenti

Cantor e la teoria (ingenua) degli insiemi.

Pubblicato il 9 Dicembre 2010 da LidiMatematici

Il matematico, lo abbiamo detto più volte, è un pò come un artigiano: ha la sua brava officina personale con il proprio corredo di “attrezzi da lavoro”. Nella nostra borsa del matematico abbiamo già messo diversi strumenti: il teorema fondamentale … Continua a leggere→

Share
Pubblicato in Teoria e Pratica, Uomini e Donne | Contrassegnato , , , , , , , , , , , , , , , , , | 11 commenti

Vero o falso ? La dimostrazione per assurdo.

Pubblicato il 18 Novembre 2010 da LidiMatematici

In un post precedente, abbiamo parlato dei numeri primi e di Euclide, che fu il primo nel 300 aC, ad esporne una trattazione formale nei suoi Elementi. Quando si ha a che fare con questioni di scienza occorre dotarsi di … Continua a leggere→

Share
Pubblicato in Teoria e Pratica | Contrassegnato , , , , , , , , , , | 6 commenti