área de pesquisa Almost Ideal: computational epistemology and the limits of finite reasoning Danilo Fraga Dantas
