hardmath's user avatar
hardmath's user avatar
hardmath's user avatar
hardmath
  • Member for 13 years, 1 month
  • Last seen this week
  • Knoxville, TN
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.

20
gold badges
76
silver badges
142
bronze badges
575
Score
170
Posts
15
Posts %
512
Score
118
Posts
11
Posts %
353
Score
152
Posts
14
Posts %
230
Score
81
Posts
7
Posts %
208
Score
53
Posts
5
Posts %
192
Score
65
Posts
6
Posts %
Top posts
View all questions and answers