User loginNavigation |
Tim MayPersonal informationtcmay@att.net, tim@functor.org Corralitos, California Born in 1951 in U.S. Physics major. Joined Intel in 1974. Worked on dynamic RAMs, including single event effects (alpha particles, cosmic rays). Image processing, then nascent AI project. After leaving Intel in 1986, pursued personal interests. Mainly implications of strong cryptography. Co-founded Cypherpunks in 1992. Haskell. Functional programming in general. Saul Kripke, possible worlds semantics, category theory. Bogged down in topos theory.... Very interested in "logic of observables" a la Abramsky, Vickers, Escardo, and connections between topology and logic and Bayes. Lesser interest in parts of quantum mechanics, esp. interpretations. Trying to understand relation of QM to logic to work of Isham, Butterfield, et. al. Thought the "grand thread" a few years ago with Frank Attanassow debating type theory was one of the most interesting threads ever, anyplace. Sorry to see it no longer here. History18 years 6 weeks |
Browse archives
Active forum topics |
Recent comments
3 weeks 5 days ago
44 weeks 17 hours ago
44 weeks 21 hours ago
44 weeks 21 hours ago
1 year 14 weeks ago
1 year 18 weeks ago
1 year 20 weeks ago
1 year 20 weeks ago
1 year 22 weeks ago
1 year 27 weeks ago