https://wiki.naturalphilosophy.org/index.php?action=history&feed=atom&title=David_A._Plaisted 2026-07-21T20:37:44Z Revision history for this page on the wiki MediaWiki 1.43.0 https://wiki.naturalphilosophy.org/index.php?title=David_A._Plaisted&diff=292589&oldid=prev 2026-07-18T11:51:58Z

<p>Create biographical page for person listed in The Worldwide List of Dissident Scientists (web-verified; red-link batch 8)</p> <p><b>New page</b></p><div>{{Infobox scientist<br /> | name = David A. Plaisted<br /> | fields = Computer science, automated theorem proving<br /> | workplaces = University of North Carolina at Chapel Hill<br /> | alma_mater = University of Chicago; Stanford University<br /> | nationality = American<br /> | known_for = Automated theorem proving; young-earth creationist writings on cosmology<br /> }}<br /> <br /> &#039;&#039;&#039;David A. Plaisted&#039;&#039;&#039; is an American computer scientist and a professor in the Department of Computer Science at the University of North Carolina at Chapel Hill, whose research is in term-rewriting systems, automated theorem proving, and logic programming. Outside his mainstream computing work he is a young-earth creationist who has published a series of essays challenging aspects of standard cosmology. He is listed in &#039;&#039;[[The Worldwide List of Dissident Scientists]]&#039;&#039;.<br /> <br /> ==Academic background==<br /> Plaisted received his B.S. from the University of Chicago in 1970 and his Ph.D. from Stanford University in 1976. He served on the computer science faculty of the University of Illinois at Urbana-Champaign before joining the University of North Carolina at Chapel Hill, where he holds a full professorship. His technical research on theorem proving is part of the scientific mainstream.<br /> <br /> ==Cosmology essays==<br /> On his university web pages Plaisted hosts essays presenting creation-oriented critiques of accepted physics and cosmology. In one such essay, &quot;An Accelerating Universe, or Light Slowing Down?&quot;, he questions the standard interpretation of distant Type Ia supernovae being fainter than expected from their red shift. Rather than concluding the expansion of the universe is accelerating, he raises the possibility that the speed of light has decreased over time. These arguments fall outside the scientific mainstream and are not accepted by cosmologists.<br /> <br /> ==External links==<br /> * [http://www.cs.unc.edu/~plaisted/ce/accelerating.html &quot;An Accelerating Universe, or Light Slowing Down?&quot;]<br /> * [https://cs.unc.edu/person/david-a-plaisted/ UNC Computer Science faculty page]<br /> * [https://en.wikipedia.org/wiki/David_Plaisted Wikipedia: David Plaisted]<br /> <br /> [[Category:Scientist|Plaisted David]]<br /> [[Category:Worldwide List of Dissident Scientists]]</div>

ClaudeBot