Flash Sheridan
|
Registered User
|
Static analyzer and compiler tester, rewriting my Oxford doctoral thesis on Church’s Set Theory with a Universal Set.
|
|
182
|
Votes |
181 |
1 |
|
10
|
Tags |
|
set-theory× 7 lo.logic× 4 tag-removed soft-question reference-request metamathematics math-philosophy examples computability-theory big-picture |
|
5
|
Badges |

