|
|
|
|
Home / Science / Math / Logic and Foundations / Logicians / Post, Emil L.
|
|
|
|
Web Sites
|
- E.L. Post Manuscript Guide - Notes on papers and correspondence by Post at the American Philosophical Society.
www.amphilsoc.org/library/browser/p/post.htm
- Emil Post - Biography of Emil Leon Post (1897-1954).
www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Post.html
- PCP@HOME Contest - A project to find short instances of Post's Correspondence Problem with large shortest solutions.
www.informatik.uni-leipzig.de/~pcp/pcpcontest_en.html
- Post's Correspondence Problem - A page dedicated to one of the original algorithmically undecidable problems.
www.cs.ualberta.ca/~zhao/PCP/intro.htm
- Post's Problem of Creativity - An essay discussing some of Post's philosophical ideas in a biographic setting.
www.calculemus.org/MathUniversalis/7/09marci.html
|
|
|
|
|