Explore Godel's impact on machine intelligence through his incomputability theory and its implications on Turing's physicalist approach. Delve into the tension between their work and personal beliefs, as seen in John Lucas' academic paper in the sixties.
