Skip to content

Piero Bosio Social Web Site Personale Logo Fediverso

Social Forum federato con il resto del mondo. Non contano le istanze, contano le persone
  • 0 Votes
    1 Posts
    9 Views
    Incompleteness and ComputabilityManuale sui teoremi di incompletezza di Gödel e sulla teoria della computabilità, sviluppato per il corso di Logica III di Calgary, basato sull'Open Logic Project.Copre la teoria delle funzioni ricorsive, l'aritmetizzazione della sintassi, il primo e il secondo teorema di incompletezza, modelli di aritmetica, logica del secondo ordine e lambda calcolo.#mathematics #computation https://ic.openlogicproject.org/

Gli ultimi otto messaggi ricevuti dalla Federazione
Post suggeriti