Caffè Filosofico

[brekeke]

ciao
qualcuno puo' aiutarmi con queste domande?
argomentare che l'insieme delle MdT e' un insieme denumerabile
argomentare che l'insieme dei numeri reali computabile tramite la mdt e' un sottoinsieme proprio dell'insieme dei numeri reali cioe' un sottoinsieme piu' piccolo dei numeri reali.


grazie
brekeke

[tiziano]

Ahinoi, io non so proprio risponderti. Posso dirti come si è suicidato Turing, che frequentava taciturno le lezioni di Wittegenstein; posso descriverti come funziona quel diavolo di macchina, ma già lo saprai.
Per quanto riguarda l'insieme denumerabile ho anche chiesto ai miei colleghi di Matematica e non hanno saputo ripondermi; per quanto riguarda l'altro argomento non capisco: a me pare che la macchina di Turing abbia una computibilità potenzialmente infinita, perciò perché parlare di sottoinsieme?
Scusa la mia ignoranza.

ciao

p.s. ma tu sei una vittima di Arpaia?