I have lived in most English-speaking places (except Canada) and the Middle East. My training is in maths, compsci, and electronics. I am a card-carrying (methodological) solipsist. I make money mostly by alternating between being a hardware and software engineer, and being an academic computer scientist. I write professionally about formal (maths) aspects of software. Philosophically I am a logical minimalist, not a logical positivist, a formalist, and a paraconsistent thinker. I am also interested in the history and foundations of mathematics and science in general.
Ecurbian 10:44, 9 May 2011 (UTC)