Mathematics
hardmath's user avatar
hardmath's user avatar
hardmath's user avatar
hardmath
  • Member for 11 years, 11 months
  • Last seen this week
  • Knoxville, TN
Profile Activity
Stats
35,510
reputation
2.3m
reached
1,090
answers
16
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
20
gold badges
70
silver badges
135
bronze badges
Top tags
View all tags
549
Score
169
Posts
15
Posts %
488
Score
118
Posts
11
Posts %
341
Score
152
Posts
14
Posts %
219
Score
80
Posts
7
Posts %
195
Score
53
Posts
5
Posts %
187
Score
64
Posts
6
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
48
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
26
What's the difference between predicate and propositional logic?
Nov 9, 2010
answer
23
Why there are $11$ non-isomorphic graphs of order $4$?
Dec 9, 2013
answer
22
Fastest way to calculate $e^x$ up to arbitrary number of decimals?
Jan 22, 2011
answer
22
What are some theorems that currently only have computer-assisted proofs?
Dec 29, 2014
answer
21
Find the inverse of a submatrix of a given matrix
Apr 24, 2015
answer
21
Determining a matrix from its characteristic polynomial
Feb 16, 2016
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
252
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.
25
Bumping old questions
Top network posts
View all network posts
421
Add an "I don't understand" option for review audits
210
The program can't start because libgcc_s_dw2-1.dll is missing
43
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.