User:RDT

I am a computer scientist and a mathematician.

I contribute to Wikipedia from time to time, most of the time anonymously. I am not a dedicated Wikipedia editor, just try to help occasionally. :)

Some pages I watch:


 * constructive mathematics
 * ultra-finitism
 * proof complexity