James Walsh

Explorando a relação entre modelos computáveis e teorias matemáticas.

Um olhar sobre a abordagem do Kripke em relação a sentenças autorreferenciais e suas propriedades.