MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

Flash Sheridan

160

Reputation

265 views

Registered User

Name	Flash Sheridan
Member for	2 years
Seen	Jun 15 at 15:46
Website	pobox.com/~flash
Location	Palo Alto
Age

Static analyzer and compiler tester, rewriting my Oxford doctoral thesis on Church’s Set Theory with a Universal Set.

stats recent reputation favorites

0

Questions

10

Answers

votes newest views recent

Best tablet computer for mathematics

Physics and Church–Turing Thesis

Intuitive and/or philosophical explanation for set theory paradoxes

What would be some major consequences of the inconsistency of ZFC?

Set theory and alternative foundations

How to define tuples?

Can we have A={A} ?

mutually incompatible abstraction terms?

How much of ZFC does Quine’s New Foundations prove?

Consistency of the concept of the collection of all collection

185

Votes

184

1

11

Tags

set-theory× 8
lo.logic× 5
tag-removed
soft-question
reference-request
metamathematics
math-philosophy
examples
computational-complexity
computability-theory

5

Badges

● Necromancer
● Critic

● Supporter
● Editor