Comment author: wuthefwasthat 16 December 2011 10:26:34PM *  4 points [-]

Well, that argument only goes through if the other theory is recursively enumerable, so PA isnt as awesome as you make it sound.

In response to San Diego Meetup?
Comment author: wuthefwasthat 08 August 2011 01:48:16AM 0 points [-]

I'd be interested, and I should be able to make it any of those days. As a warning, I visit this site pretty occasionally and I don't post -- hopefully that's alright!

Where do meetings usually occur?

View more: Prev