• Summary
• Related Documents
  • Active Bibliography
  • Co-citation
• Version History

Abstract:

This report was written in order to complete the requirements for my Master's degree, under supervision of prof. dr. J.-J.Ch. Meyer. In this report, an introspective machine, capable to pass judgement on its own deductive performances, is modelled and analyzed. First, the class of ideal machines which is provided with unlimited resources is studied. Since ideal introspective machines are usually unfeasible, their (so-called) real counterparts are examined in a second stage. Acknowledgements. I am indebted to John-Jules Meyer, not only for his profound criticisms on preliminary versions of the manuscript, but also for making numerous useful suggestions which I have followed. In this connection I also want to express my gratitude to Rens Swart and Eric Verheul for giving comment on one of the last versions of the text. This text is mainly constituted from the ideas and work of established

Citations