A. Aldini, V. Fano, and P. Graziani, A note on knowing machines, Preliminary Proceedings of the 3rd Int. Conf. on the History and Philosophy of Computing, pp.15-17, 2015.

S. Alexander, The Theory of Several Knowing Machines, 2013.

S. Alexander, A Machine That Knows Its Own Code, Studia Logica, vol.19, issue.3, pp.567-576, 2014.
DOI : 10.1016/S0049-237X(08)70138-1

S. N. Artemov and L. D. Beklemishev, Provability Logic, Handbook of Philosophical Logic, pp.229-403, 2004.
DOI : 10.1007/1-4020-3521-7_3

P. Benacerraf, God, the Devil, and G??del, Monist, vol.51, issue.1, pp.9-32, 1967.
DOI : 10.5840/monist196751112

L. Bonjour, The Structure of Empirical Knowledge, 1985.

T. J. Carlson, Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis, Annals of Pure and Applied Logic, vol.105, issue.1-3, pp.51-82, 2000.
DOI : 10.1016/S0168-0072(99)00048-2

C. S. Chihara, On Alleged Refutations of Mechanism Using Godel's Incompleteness Results, The Journal of Philosophy, vol.69, issue.17, pp.507-526, 1971.
DOI : 10.2307/2025144

V. Fano and P. Graziani, Mechanical intelligence and Gödelian arguments, The Legacy of A.M. Turing, pp.48-71, 2013.

S. Feferman, Kurt Gödel Collected Works, volume I, 1986.

R. Flagg, Church's Thesis is Consistent with Epistemic Arithmetic, Intensional Mathematics 12. K. Gödel. ¨ Uber formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme. Monatshefte für Mathematik und Physik, pp.121-172173, 1931.
DOI : 10.1016/S0049-237X(08)70142-3

A. Goldman, What is justified belief? Justification and Knowledge: New Studies in Epistemology, pp.1-23, 1979.

N. D. Goodman, Flagg realizability in arithmetic, The Journal of Symbolic Logic, vol.27, issue.02, pp.387-392, 1986.
DOI : 10.1017/S002248120003125X

J. Hawthorne, Knowledge and Lotteries, 2004.
DOI : 10.1093/0199269556.001.0001

J. Hintikka, Knowledge and Belief: An Introduction to the Logic of the Two Notions, 1962.

J. Hintikka, Knowing that one knows. Synthese, pp.141-162, 1970.

M. H. Löb, Solution of a problem of Leon Henkin, The Journal of Symbolic Logic, vol.2, issue.02, pp.115-118, 1955.
DOI : 10.2307/2266895

J. R. Lucas, Minds, Machines and G??del, Philosophy, vol.1, issue.137, pp.112-127, 1961.
DOI : 10.2307/2269028

J. R. Lucas, Satan Stultified, Monist, vol.52, issue.1, pp.145-158, 1968.
DOI : 10.5840/monist196852111

R. Montague, Syntactical treatments of modality, Acta Philosophica Fennica, vol.16, pp.153-167, 1963.

J. Myhill, Some Remarks on the Notion of Proof, The Journal of Philosophy, vol.57, issue.14, pp.463-471, 1960.
DOI : 10.2307/2023664

J. Myhill, Intensional Set Theory, Intensional Mathematics, pp.47-62, 1985.
DOI : 10.1016/S0049-237X(08)70139-3

R. Penrose, Beyond the doubting shadow, Psyche, pp.2-189, 1996.

W. Reinhardt, The consistency of a variant of Church's thesis with an axiomatic theory of an epistemic notation, Proceedings of the 5th Latin American Symposium on Mathematical Logic, Revista Colombiana de Matematicas, pp.177-200, 1981.

W. Reinhardt, Absolute Versions of Incompleteness Theorems, No??s, vol.19, issue.3, pp.317-346, 1985.
DOI : 10.2307/2214945

W. Reinhardt, Epistemic theories and the interpretation of Gödel's incompleteness theorems, Journal of Philosophical Logic, vol.15, pp.427-474, 1986.

L. and S. Mauro, The informal side of computability: Church-Turing thesis, in practice, Preliminary Proceedings of the 3rd Int. Conf. on the History and Philosophy of Computing, pp.83-84, 2015.

S. Shapiro, Epistemic and Intuitionistic Arithmetic, Intentional mathematics, pp.11-46, 1985.
DOI : 10.1016/S0049-237X(08)70138-1

S. Shapiro, Incompleteness, mechanism, and optimism. The Bulletin of Symbolic Logic, pp.273-302, 1998.
DOI : 10.2307/421032
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.27.1366

A. Turing, Computing machinery and intelligence. Mind, pp.433-460, 1950.
DOI : 10.1007/978-1-4020-6710-5_3

H. Wang, From Mathematics to Philosophy, 1974.