As of May 31, 2023, we have updated our Code of Conduct.
MathOverflow
Flash Sheridan's user avatar
Flash Sheridan's user avatar
Flash Sheridan's user avatar
Flash Sheridan
  • Member for 12 years, 2 months
  • Last seen more than a month ago
Profile Activity
Stats
673
reputation
41k
reached
19
answers
0
questions
Communities
View all
About

No longer looking for work in static analysis, compiler testing, or software quality assurance. I’m a published authority on static analysis, compiler testing, artificial intelligence, and mathematical logic.

Badges
View all badges
This user doesn’t have any gold badges yet.
7
silver badges
7
bronze badges
Top tags
View all tags
49
Score
17
Posts
89
Posts %
37
Score
11
Posts
58
Posts %
16
Score
5
Posts
26
Posts %
12
Score
4
Posts
21
Posts %
8
Score
3
Posts
16
Posts %
7
Score
2
Posts
11
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
5
How much of ZFC does Quine's New Foundations prove?
Mar 12, 2011
answer
5
Best tablet computer for mathematics
Jun 30, 2011
answer
5
What would be some major consequences of the inconsistency of ZFC?
May 26, 2013
answer
5
Where is the end of universe?
Sep 29, 2013
answer
4
Can we have A={A} ?
May 9, 2013
answer
4
What does the axiom of replacement mean and why should I believe it?
Jan 12, 2016
answer
4
Can we add set complements on top of ZF?
Feb 18, 2018
answer
3
Intuitive and/or philosophical explanation for set theory paradoxes
Mar 11, 2011
answer
3
How to define tuples?
Mar 18, 2011
answer
3
Set theory and alternative foundations
Mar 19, 2011
Top network posts
View all network posts
21
Trying to convert pdf to text for free
16
Reading order for the Lensman books
11
What does -fheinous-gnu-extensions option do?
10
Are C++ static code analyis tools worth it?
9
How can I convert from Microsoft Word to a LaTeX document

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.