Talk:Dana Scott
From Wikipedia, the free encyclopedia
[edit] Resources
- hopl.murdoch.edu.au
- I've put several comments in the main page, with details of his posts and PhD students. To incorporate. ---- Charles Stewart 05:33, 10 Nov 2004 (UTC)
[edit] Independence of the Boolean prime ideal theorem
From the version before my major edit:
- His contributions include early work in automata theory, for which he received the ACM Turing Award in 1976, and the independence of the Boolean prime ideal theorem.
Although I find this claim (attrib of BPI thm) plausible, since Scott has worked with Stone spaces, I couldn't find any source for this claim other than syndicates of this wikipedia article. I've pulled this sentence until I hear confirmation. ---- Charles Stewart 05:13, 10 Nov 2004 (UTC)
[edit] Problem with James Halpern link
It links to an article about a different person with the same name. The James Halpern mentioned here is http://genealogy.math.ndsu.nodak.edu/html/id.phtml?id=7681