Descrição:

Identificação de linguagens e funções, tais como leis científicas ou teorias científicas descritas através de conjuntos de números ou de funções. Introdução à atitude científica, tendo como foco (a) leis que podem ser aprendidas por cientistas computáveis ou não computáveis, (b) complexidade da descoberta científica, (c) unificação de teorias científicas e (d) inferência científica e validade de inferências indutivas.