|
|
The Sources of Certainty in Computation and Formal Systems
– Michael Donnell The, Michael J. O'donnell
|
|
25
|
Computability and recursion
– Robert I. Soare
- 1996
|
|
1
|
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
|
|
|
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
|
|
2
|
Hilbert’s Program Then and Now
– Richard Zach
- 2005
|
|
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
|
|
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
|
|
1
|
Logic and learning: Turing's legacy
– Stephen Muggleton
- 1994
|
|
4
|
On Alan Turing's Anticipation Of Connectionism
– B. Jack Copeland, Diane Proudfoot
- 1996
|
|
3
|
Towards a theory of intelligence
– Peter Kugel
|
|
|
21. Notes on memory (1945) Universal Turing Machine
– unknown authors
|
|
13
|
Computation and Hypercomputation
– Mike Stannett
- 2003
|
|
4
|
The Foundations of Psychology - A logico-computational inquiry into the concept of mind
– Jon Doyle, For Gerald Jay Sussman
- 1991
|
