Flash Sheridan

130
Reputation
252 views
Is this your account?

Registered User 

Name Flash Sheridan
Member for 2 years
Seen May 10 at 14:19
Website
Location Palo Alto
Age
Static analyzer and compiler tester, rewriting my Oxford doctoral thesis on Church’s Set Theory with a Universal Set.

14

10
20
votes
8
answers
2k
views

8
18
votes
6
answers
2k
views

4

12

6
10
votes
7
answers
2k
views

Can we have A={A} ?

may 9 at 19:34 Dan Petersen 10.1k12146

4
7
votes
5
answers
1k
views

2
3
votes
2
answers
334
views

1

2
2
votes
1
answer
592
views

2
0
votes
2
answers
402
views