Mathematics
hardmath's user avatar
hardmath's user avatar
hardmath's user avatar
hardmath
  • Member for 13 years, 1 month
  • Last seen this week
  • Knoxville, TN
Profile Activity
Stats
36,645
reputation
2.7m
reached
1,095
answers
16
questions
top 0.66% overall
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
20
gold badges
76
silver badges
142
bronze badges
Top tags
View all tags
575
Score
170
Posts
15
Posts %
512
Score
118
Posts
11
Posts %
353
Score
152
Posts
14
Posts %
230
Score
81
Posts
7
Posts %
208
Score
53
Posts
5
Posts %
192
Score
65
Posts
6
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
49
Can two topological spaces surject onto each other but not be homeomorphic?
Jul 11, 2012
answer
41
I need to calculate $x^{50}$
Aug 27, 2013
answer
27
What's the difference between predicate and propositional logic?
Nov 9, 2010
answer
25
Fastest way to calculate $e^x$ up to arbitrary number of decimals?
Jan 22, 2011
answer
24
Why there are $11$ non-isomorphic graphs of order $4$?
Dec 9, 2013
answer
24
Find the inverse of a submatrix of a given matrix
Apr 24, 2015
answer
23
Determining a matrix from its characteristic polynomial
Feb 16, 2016
answer
22
What are some theorems that currently only have computer-assisted proofs?
Dec 29, 2014
answer
20
Can a group have more subgroups than it has elements?
May 25, 2014
answer
19
Does $R[x] \cong S[x]$ imply $R \cong S$?
Dec 8, 2010
Top Meta posts
33
265
38
Using Math.SE for contests
35
Retitling Questions: a modest proposal
33
Three levels of Math
26
I voted mistakenly to close as duplicate. When I realised my mistake, my comment explaining why was deleted.
24
Should I answer exactly what the user ask or solve the problem?
Top network posts
View all network posts
433
Add an "I don't understand" option for review audits
213
The program can't start because libgcc_s_dw2-1.dll is missing
46
What is the difference between == and = in Prolog?
30
How does a non-technical manager add value to team of self-motivated software developers?
28
org.xml.sax.SAXParseException: Content is not allowed in prolog

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.