Stanford Encyclopedia of Philosophy
Links
The Turing Test
http://plato.stanford.edu/entries/turing-test/
Proposal due to Alan Turing for a criterion of the presence of mind or consciousness; by Graham Oppy and David Dowe.
Analysis
http://plato.stanford.edu/entries/analysis/
The historical development and conceptual structure of philosophical analysis; by Michael Beaney.
Hilbert's Program
http://plato.stanford.edu/entries/hilbert-program/
In 1921, David Hilbert made a proposal for a formalist foundation of mathematics, for which a finitary consistency proof should establish the security of mathematics. By Richard Zach.