2011-12-07 22:14:25+00:00 In reply to @EliotBall @EliotBall good stuff! What did you need godel numbers for?