This is my home page.

• Papers Papers on computation, philosophical logic, the foundations of arithmetic, and economics.
• Phaintings Phaintings.