Skip to main content
Mathematics
hardmath's user avatar
hardmath's user avatar
hardmath's user avatar
hardmath
  • Member for 14 years, 1 month
  • Last seen this week
  • Knoxville, TN
Profile Activity
Stats
37,428
reputation
2.1m
reached
277
answers
33
questions
#209 this week
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
59
silver badges
111
bronze badges
Top tags
View all tags
1,426
Score
252
Posts
81
Posts %
201
Score
51
Posts
16
Posts %
170
Score
33
Posts
11
Posts %
116
Score
17
Posts
5
Posts %
116
Score
17
Posts
5
Posts %
110
Score
20
Posts
6
Posts %
Top posts
View all questions and answers
question
38
Using Math.SE for contests
Oct 23, 2014
question
35
Retitling Questions: a modest proposal
Mar 12, 2013
answer
34
Three levels of Math
Apr 17, 2018
answer
26
I voted mistakenly to close as duplicate. When I realised my mistake, my comment explaining why was deleted.
Oct 24, 2018
answer
25
Whatever happened to helping people?
Jun 25
answer
24
Should I answer exactly what the user ask or solve the problem?
Mar 28, 2019
answer
24
What happened to CiteSeerX? Is there a way to fix those links?
Jan 7, 2023
question
24
Serial down-voting risk from review queues
Oct 30, 2014
answer
24
Bumping old questions
Aug 22, 2016
answer
23
The late answer review queue for "Late answers from new users"
Nov 11, 2018
Top network posts
View all network posts
441
Add an "I don't understand" option for review audits
218
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