Talk:Dana Scott

From Wikipedia, the free encyclopedia

This article must adhere to the policy on biographies of living persons. Controversial material about living persons that is unsourced or poorly sourced must be removed immediately, especially if potentially libellous. If such material is repeatedly inserted or if there are other concerns relative to this policy, report it on the living persons biographies noticeboard.

	This article is within the scope of WikiProject Biography. For more information, visit the project page.	Biography Portal
Start	This article has been rated as Start-Class on the project's quality scale. [FAQ]
	This article is supported by the Science and academia work group.

	Philosophy Portal This article is within the scope of the WikiProject Philosophy, which collaborates on articles related to philosophy. To participate, you can edit this article or visit the project page for more details.
???	This article has not yet received a rating on the quality scale.
???	This article has not yet received an importance rating on the importance scale.
Additional information: Related task forces (core areas): Logic Related task forces (major fields): Philosophers

Contents 1 Resources 2 Independence of the Boolean prime ideal theorem 3 Problem with James Halpern link 4 Church of the Lattice-Way Saints 5 Reversed name?

[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

[edit] Church of the Lattice-Way Saints

Alan J. Perlis in his rather well-known article "Epigrams on Programming" said in item 60 that

"Dana Scott is the Church of the Lattice-Way Saints" (SIGPLAN Notices Vol. 17, No. 9, September 1982, pages 7 - 13).

Does anyone know what he means by this?

[edit] Reversed name?

Is there any particular reason why his name is given as "Scott Stewart Dana" at the start of the article and on the photo caption? Is this just an error? —The preceding unsigned comment was added by 82.46.15.220 (talk) 17:21, 18 May 2007

That was the result of a recent edit by an anonymous user. I have reverted that change. — Tobias Bergemann 18:08, 18 May 2007 (UTC)