• Als Spam markieren
• Beitrag melden

• 
  Diese Gruppe Alles

• Archiv
• RSS-Feeds

• Kontakt
• Hilfe
• Impressum
• Datenschutz

Re: Metodo diagonale per numeri non calcolabili algoritmicamente

On 6 Ago, 11:51, Barone Barolo <xelloss.metalliumDEM...@gmail.com>
wrote:
> Giovanni ha scritto:
>
> > Tu parti dicendo:
> > "supponiamo di avere un'enumerazione f_i (i naturale) delle funzioni
> > da
> > numeri naturali a {0,1}"
> > E da nessuna parte della tua dimostrazione interviene l'ipotesi che
> > tale enumerazione sia ricorsiva.
>
> Interviene nella definizione di f*.
> f* è una funzione calcolabile sse f_i è un'enumerazione effettiva.
> Se f_i non è un'enumerazione effettiva, allora f* non è calcolabile:
> allora non c'è alcuna contraddizione nel fatto che f* non appartenga
> all'enumerazione.
> --
> No Barrique, no Berlusconi (B. Mascarello)

OK