Skip to main content
Mathematics
hardmath's user avatar
hardmath's user avatar
hardmath's user avatar
hardmath
  • Member for 15 years, 1 month
  • Last seen this week
  • Knoxville, TN
Profile Activity

Stats

37,975
reputation
3.0m
reached
1,104
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
82
silver badges
150
bronze badges

Top tags

View all tags
603
Score
171
Posts
15
Posts %
538
Score
120
Posts
11
Posts %
358
Score
151
Posts
13
Posts %
239
Score
81
Posts
7
Posts %
220
Score
53
Posts
5
Posts %
202
Score
65
Posts
6
Posts %

Top posts

View all questions and answers
answer
50
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
27
Fastest way to calculate $e^x$ up to arbitrary number of decimals?
Jan 22, 2011
answer
27
What's the difference between predicate and propositional logic?
Nov 9, 2010
answer
25
Find the inverse of a submatrix of a given matrix
Apr 24, 2015
answer
24
Why there are $11$ non-isomorphic graphs of order $4$?
Dec 9, 2013
answer
24
Determining a matrix from its characteristic polynomial
Feb 16, 2016
answer
23
If a matrix is triangular, is there a quicker way to tell if it is can be diagonalized?
Dec 3, 2015
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

Top Meta posts

33
282
38
Using Math.SE for contests
35
Retitling Questions: a modest proposal
34
Three levels of Math
26
I voted mistakenly to close as duplicate. When I realised my mistake, my comment explaining why was deleted.
26
Whatever happened to helping people?

Top network posts

View all network posts
446
Add an "I don't understand" option for review audits
218
The program can't start because libgcc_s_dw2-1.dll is missing
48
What is the difference between == and = in Prolog?
32
Visited Calendar pop out on user activity pages missing
30
How does a non-technical manager add value to team of self-motivated software developers?