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

2
gold badges
55
silver badges
102
bronze badges
1,215
Score
232
Posts
81
Posts %
164
Score
46
Posts
16
Posts %
153
Score
29
Posts
10
Posts %
98
Score
18
Posts
6
Posts %
94
Score
21
Posts
7
Posts %
77
Score
17
Posts
6
Posts %
Top posts
View all questions and answers