User:Logicnazi

From Wikipedia, the free encyclopedia

[edit] Who is Logicnazi

Hi, I'm a 27 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

[edit] Why 'Logicnazi'

The name is a (humorous) reference to the soupnazi from Seinfeld. That is 'nazi' is used in the colloquial sense of someone who is overly strict/pedantic about rules NOT someone who expresses anti-semitic views or attitudes. While this usage seems to be common in the United States it seems unfamiliar to many Europeans so I wanted to head off any misunderstanding.

Anyway a friend of mine accused me of being a 'logicnazi' because of my habit of objecting to invalid arguments even when I agree with the conclusion. I thought the name fit, especially when I decided to go to graduate school in logic, and it's obscure enough not to require a 67 after it at most sites so it's become my standard non-professional internet handle.