wuthefwasthat

• wuthefwasthatDec 16, 2011, 10:40 PM

  4 points

  in reply to: Anatoly_Vorobey’s comment on: No one knows what Peano ar­ith­metic doesn’t know

  The halting oracle’s uncomputability degree is the smallest possible uncomputable degree, so no.

  What? That’s false. See http://​​en.wikipedia.org/​​wiki/​​Turing_degree#Post.27s_problem

  ETA: Also, not sure what you are saying about soundness… =/​

• wuthefwasthatDec 16, 2011, 10:26 PM

  6 points

  on: No one knows what Peano ar­ith­metic doesn’t know

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

• wuthefwasthatDec 16, 2011, 1:44 AM

  10 points

  in reply to: Prismattic’s comment on: Do men have more part­ners than women?

  Assuming 100% heterosexuality, and that there are roughly the same number of males and females, the average number of sexual partners should be the same for men and women, by a simple counting argument.

• wuthefwasthatAug 8, 2011, 1:48 AM

  0 points

  on: San Diego Meetup?

  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?