This site remains under construction, latest update: November 2016

Find my blog here.

Welcome to my web-page. I am a foreign post-doctoral researcher at Tohoku University. My current research interests are weak concrete incompleteness phenomena, phase transitions for incompleteness, and reverse mathematics.

To read more about mathematical incompleteness I recommend Prof. Harvey Friedman's webpage, which also contains an extensive overview in the introduction of his book on Boolean Relation Theory.

For more on phase transitions: My supervisor's webpage.

This research relies heavily on results from proof theory, for a compact introduction visit Prof. Wilfried Buchholz's webpage.

The standard work for an introduction into reverse mathematics is Subsystems of Second Order Arithmetic, by Stephen G. Simpson.

Articles

Some interesting websites about science

David Hilbert
Scientific American
Improbable research
Appendix F
How to write mathematics

Other interests

Aikido
Food!
More food!
Linux