Notes on papers and correspondence by Post at the American Philosophical Society.

Biography of Emil Leon Post (1897-1954).

A project to find short instances of Post's Correspondence Problem with large shortest solutions.

A page dedicated to one of the original algorithmically undecidable problems.

An essay discussing some of Post's philosophical ideas in a biographic setting.