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.
224
answers
33
questions
~1.3m
people reached
-
Knoxville, TN
-
Member for 10 years, 4 months
-
1,435 profile views
-
Last seen 2 hours ago
Communities (58)
- Mathematics 33.5k 33.5k 1818 gold badges6363 silver badges121121 bronze badges
- Stack Overflow 8.4k 8.4k 22 gold badges3232 silver badges6060 bronze badges
- Meta Stack Exchange 4.7k 4.7k 22 gold badges1515 silver badges1515 bronze badges
- Computational Science 3.1k 3.1k 11 gold badge1616 silver badges3535 bronze badges
- Coffee 999 999 77 silver badges1919 bronze badges
- View network profile
Top network posts
- 401 Add an "I don't understand" option for review audits
- 200 The program can't start because libgcc_s_dw2-1.dll is missing
- 48 Can two topological spaces surject onto each other but not be homeomorphic?
- 40 What is the difference between == and = in Prolog?
- 30 How does a non-technical manager add value to team of self-motivated software developers?
- 26 org.xml.sax.SAXParseException: Content is not allowed in prolog
- 23 What's the difference between predicate and propositional logic?
- View more network posts →
Top tags (101)
Score
1,010
Posts
210
Posts %
82
Score
138
Posts
28
Score
128
Posts
42
Badges (139)
Gold
2
Rarest
-
Aug 8 '17
-
Mar 31 '13
Silver
50
Rarest
-
Dec 20 '18
-
Dec 13 '19
-
Aug 27 '16
Bronze
87
Rarest
-
Jun 24 '18
-
Jan 15 '20
-
Jun 4 '17