User:Logicnazi

From Wikipedia, the free encyclopedia

[edit] Who is Logicnazi

Hi, I'm a 26 year old graduate student in logic (math/philosophy) working on a thesis in recursion theory otherwise known as computability theory. Previously I've only made the small change here and there to wikipedia but seeing the poor state my subject is in compared to its little sister computational complexity theory I may be spending some time fixing things up. Today I think I've at least managed to remove most of the major confusions on the Computability Theory page and make it clear that it is different from complexity theory and mention the parts of the subject not covered in an undergraduate CS course. Hopefully I can convince some of my friends in the subject to spend some time here and help get things together.


If you have any problems with my edits or want to ask me a question you can write a message on my talk page (but no guarantee I will read it anytime in the near future) or send me an email at

My username (its on top of the page) @gmail.com