current community

your communities

more stack exchange communities

Stack Exchange
tour help
Main User
Network Profile
17,705 reputation
1 10 32

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.

58 answers
21 questions
~28k people reached
  • Knoxville, TN
  • uclue.com
  • Member for 4 years, 10 months
  • 366 profile views
  • Last seen 18 hours ago

Communities (44)

Top Network Posts

Top Tags (59)

Score 210
Posts 66
Posts % 84
Score 36
Posts 5
Score 28
Posts 6
Score 25
Posts 7
Score 20
Posts 7
Score 16
Posts 6
View all tags →

Top Posts (79) All Questions Answers | Votes Newest

32 Using Math.SE for contests oct 23
28 Retitling Questions: a modest proposal mar 12 '13
23 Serial down-voting risk from review queues oct 30
17 Proving that $e^\pi-\pi<20$ Without Using a Calculator jan 10
16 Question that is no longer duplicate (by deletion of “original”) mar 14 '13
15 Check my proof at a remote link considered harmful sep 4 '14
15 Down voting a question for not showing a correct attempt? mar 2
13 Congratulations, Brian M. Scott! nov 26 '12
12 A case of terrible Question with opportunity for terrific Answer sep 22 '14
11 downvotes again; unfairly dec 23 '13
View all questions and answers →

Badges (43)

Gold 1

Rarest
Silver 10

Rarest
Bronze 32

Rarest
View all badges →