## Roger Penrose and C.I.Lewis

In The Shadows of the Mind, Roger Penrose spends many pages discussing whether calculating machines (computers) can match human intelligence. Penrose proposes to elucidate the nature of human consciousness through modern mathematical discoveries and quantum physics. He is working out the implications of Godel’s Theorem but in reverse, so to speak. Since we cannot completely prove any axiomatic system in mathematics, when we do discover truth in mathematics […]