Mathematics
Profile Activity
Meta user
Network profile
33,458
reputation
18
63
121

hardmath

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.

1,052
answers
15
questions
~1.9m
people reached
  • Knoxville, TN
  • Member for 10 years, 4 months
  • 18,165 profile views
  • Last seen 4 hours ago

Communities (58)

Top Meta Posts
33
224

Top network posts

Top tags (404)

Score 497
Posts 161
Posts % 15
Score 440
Posts 115
Score 324
Posts 147
Score 198
Posts 73
Score 179
Posts 53
Score 170
Posts 64
View all tags →

Top posts (1,067)

All Questions Answers
Votes Newest
48 Can two topological spaces surject onto each other but not be homeomorphic? Jul 11 '12
41 I need to calculate $x^{50}$ Aug 27 '13
23 What's the difference between predicate and propositional logic? Nov 9 '10
22 What are some theorems that currently only have computer-assisted proofs? Dec 29 '14
21 Fastest way to calculate $e^x$ up to arbitrary number of decimals? Jan 22 '11
21 Why there are $11$ non-isomorphic graphs of order $4$? Dec 9 '13
20 Can a group have more subgroups than it has elements? May 25 '14
17 Is there a planar graph that (almost) all its vertices have degree 6? Jan 22 '15
16 Color an $n\times n$ square with $n$ colors Dec 21 '11
16 Determining a matrix from its characteristic polynomial Feb 16 '16
View all questions and answers →

Badges (202)

Gold

18

Rarest

Silver

63

Rarest

Bronze

121

Rarest

View all badges →