The Sources of Certainty in Computation and Formal Systems (1999)


Download Links

by Michael J. O'donnell

Active Bibliography

The Sources of Certainty in Computation and Formal Systems – Michael Donnell The, Michael J. O'donnell
32 Computability and recursion – Robert I. Soare - 1996
4 Turing Oracle Machines, Online Computing, and Three Displacements in Computability Theory – Robert I. Soare - 2009
Mechanism – Cory Wright, William Bechtel
If intelligence is computable, then... – Peter Kugel - 2003
1 Comparative Analysis of Hypercomputational Systems Submitted in partial fulfilment – Mariam Kiran, Supervisor Dr Mike Stannett
4 Alan Turing and the Mathematical Objection – Gualtiero Piccinini - 2003
Internal Examiner: Dr. James Power – Turlough Neary, Supervisors Dr, Damien Woods, Dr. J. Paul Gibson, External Examiner, Prof Maurice Margenstern, Department Head, Dr. Adam Winstanley, Maurice Margenstern, Yurii Rogozhin, Manfred Kudlek, Liesbeth De Mol, Fred Lunnon, Ronan Reilly, James Power
1 The scope of logic: deduction, abduction, analogy – Carlo Cellucci
Hilbert and Set Theory – Burton Dreben , Akihiro Kanamori - 1997
3 Hilbert’s “Verunglückter Beweis,” the first epsilon theorem and consistency proofs. History and Philosophy of Logic – Richard Zach
5 The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program – Richard Zach - 2001
5 The history and concept of computability – Robert I. Soare - 1999
4 Hilbert’s Program Then and Now – Richard Zach - 2005
4 An Introduction to Polymorphic Lambda Calculus – John C. Reynolds - 1994
1 Gödel’s incompleteness theorem and the philosophy of open systems – Carlo Cellucci - 1992
Mathematical Methods of Theoretical Physics – Karl Svozil - 2013
1 Logic and learning: Turing's legacy – Stephen Muggleton - 1994
3 Towards a theory of intelligence – Peter Kugel