George Hacken

I received an AB and PhD in Physics from Columbia (~1970), and was a Post-Doc and faculty-member there till 1976. The 'output' was 40 Physical-Review papers. Though I dreamt of my own Hilbert Program in high school (around the time I saw Bertrand Russell on TV), it was in college that I rejected the Axiom of Choice on first hearing, and was congratulated on being an Intuitionist/Constructivist. The Brownian motion comprising my world line led me to Formal Methods, which I apply to software design for safety-critical systems. I've recently, and additionally, become enamored of the Bayes/DeFinetti/Jaynes philosophy of probability. I don't think that I have any hobbies.