17,705 reputation
4 31 58

hardmath

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.

Top Tags (280)

Score 232
Posts 99
Posts % 15
Score 191
Posts 71
Score 174
Posts 87
Score 92
Posts 43
Score 90
Posts 41
Score 69
Posts 29

Top Posts (644) All Questions Answers | Votes Newest

View all questions and answers

Badges (93)

Gold 4

Rarest

Silver 31

Rarest

Bronze 58

Rarest