AT04 - Gödelizações e computação com números naturais
26 setembro 2013, 11:30 • Amilcar Sernadas
Noção e principais propriedades das Gödelizações.
Justificação do desenvolvimento da teoria da computabilidade no universo dos números naturais. Notação útil. Sumário dos resultados básicos de computabilidade no universo dos números naturais (como corolários dos resultados gerais demonstrados nas aulas anteriores).
Motivação da noção de função universal.