user avatar
user avatar
user avatar
hardmath
  • Member for 11 years, 6 months
  • 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.

19
gold badges
69
silver badges
133
bronze badges
539
Score
168
Posts
15
Posts %
479
Score
118
Posts
11
Posts %
340
Score
152
Posts
14
Posts %
216
Score
80
Posts
7
Posts %
191
Score
53
Posts
5
Posts %
185
Score
64
Posts
6
Posts %
Top posts
View all questions and answers