Retired software executive interested in science and technology, philosophy, logic and societal systems.