Klaus Truemper is Professor Emeritus of Computer Science at the University of Texas at Dallas. His research focuses on problems in Mathematics and Artificial Intelligence, and now includes questions of philosophy. He is also a pilot with more than 40 years of experience.