Skip to main content
MathOverflow
Flash Sheridan's user avatar
Flash Sheridan's user avatar
Flash Sheridan's user avatar
Flash Sheridan
  • Member for 13 years, 9 months
  • Last seen this week
Profile Activity
Stats
723
reputation
50k
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.
9
silver badges
7
bronze badges
Top tags
View all tags
54
Score
17
Posts
89
Posts %
39
Score
11
Posts
58
Posts %
16
Score
5
Posts
26
Posts %
13
Score
4
Posts
21
Posts %
8
Score
3
Posts
16
Posts %
8
Score
3
Posts
16
Posts %
Top posts
View all questions and answers
answer
5
How much of ZFC does Quine's New Foundations prove?
Mar 12, 2011
answer
5
How to define tuples?
Mar 18, 2011
answer
5
Best tablet computer for mathematics
Jun 30, 2011
answer
5
Can we have A={A} ?
May 9, 2013
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
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
4
Set theory without the empty set
May 31, 2022
answer
3
Intuitive and/or philosophical explanation for set theory paradoxes
Mar 11, 2011
Top network posts
View all network posts
25
Trying to convert pdf to text for free
16
Reading order for the Lensman books
12
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