Skip to main content
hardmath's user avatar
hardmath's user avatar
hardmath's user avatar
hardmath
  • Member for 13 years, 7 months
  • Last seen this week
  • Knoxville, TN
Stats
37,135
reputation
2.0m
reached
270
answers
33
questions
Loading…
About

If not for ill-repute, I'd enjoy no reputation at all.

Enjoys programming in Prolog. Will solve math problems for food.

Rosser's trick: "For every proof of me, there is a shorter proof of my negation".

This is not the baggage check described by Article 4 of the Warsaw Convention.

3
gold badges
57
silver badges
108
bronze badges
1,368
Score
247
Posts
82
Posts %
181
Score
49
Posts
16
Posts %
159
Score
31
Posts
10
Posts %
102
Score
23
Posts
8
Posts %
102
Score
17
Posts
6
Posts %
98
Score
19
Posts
6
Posts %
Top posts
View all questions and answers