4
Teorema da Igreja e Teoremas da Incompletude de Gödel
Recentemente, tenho lido algumas das idéias e da história do trabalho inovador realizado por vários lógicos e matemáticos em relação à computabilidade. Embora os conceitos individuais sejam bastante claros para mim, estou tentando entender com firmeza as inter-relações e o nível abstrato em que todos estão ligados. Sabemos que o …