Skip to main content
Mathematics
hardmath's user avatar
hardmath's user avatar
hardmath's user avatar
hardmath
  • Member for 13 years, 8 months
  • Last seen this week
  • Knoxville, TN
Profile Activity
Stats
37,160
reputation
2.0m
reached
272
answers
33
questions
Communities
View all
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.

Badges
View all badges
3
gold badges
58
silver badges
109
bronze badges
Top tags
View all tags
1,396
Score
249
Posts
82
Posts %
181
Score
49
Posts
16
Posts %
159
Score
31
Posts
10
Posts %
105
Score
24
Posts
8
Posts %
102
Score
17
Posts
6
Posts %
98
Score
19
Posts
6
Posts %
Top posts
View all questions and answers
38
Using Math.SE for contests
Oct 23, 2014
35
Retitling Questions: a modest proposal
Mar 12, 2013
34
Three levels of Math
Apr 17, 2018
26
I voted mistakenly to close as duplicate. When I realised my mistake, my comment explaining why was deleted.
Oct 24, 2018
25
Whatever happened to helping people?
Jun 25
24
Should I answer exactly what the user ask or solve the problem?
Mar 28, 2019
24
Serial down-voting risk from review queues
Oct 30, 2014
24
Bumping old questions
Aug 22, 2016
23
The late answer review queue for "Late answers from new users"
Nov 11, 2018
23
Useful vague question closed?
Dec 16, 2018
Top network posts
View all network posts
435
Add an "I don't understand" option for review audits
217
The program can't start because libgcc_s_dw2-1.dll is missing
50
Can two topological spaces surject onto each other but not be homeomorphic?
46
What is the difference between == and = in Prolog?
32
Visited Calendar pop out on user activity pages missing