Mathematics
user avatar
user avatar
user avatar
hardmath
  • Member for 11 years, 6 months
  • Last seen this week
  • Knoxville, TN
Profile Activity
Stats
35,145
reputation
2.3m
reached
1,086
answers
16
questions
top 0.67% 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
19
gold badges
69
silver badges
133
bronze badges
Top tags
View all tags
539
Score
168
Posts
15
Posts %
479
Score
118
Posts
11
Posts %
340
Score
152
Posts
14
Posts %
216
Score
80
Posts
7
Posts %
191
Score
53
Posts
5
Posts %
185
Score
64
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
42
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
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
20
Find the inverse of a submatrix of a given matrix
Apr 24, 2015
answer
19
Does $R[x] \cong S[x]$ imply $R \cong S$?
Dec 8, 2010
Top Meta posts
33
248
37
Using Math.SE for contests
34
Retitling Questions: a modest proposal
33
Three levels of Math
25
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
418
Add an "I don't understand" option for review audits
209
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?
27
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.