@incollection{Hodges/95a,
AUTHOR = {Hodges, Andrew},
TITLE = {Alan Turing and the Turing machine},
BOOKTITLE = {The Universal Turing Machine --- A Half-Century Survey},
SERIES = {Computerkultur},
VOLUME = {2},
PAGES = {3-14},
YEAR = {1995},
EDITOR = {Herken, Rolf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Wien-New York},
}
@incollection{Kleene/95,
AUTHOR = {Kleene, Stephen C.},
TITLE = {Turings's analysis of computability, and major applications of it},
BOOKTITLE = {The Universal Turing Machine --- A Half-Century Survey},
SERIES = {Computerkultur},
VOLUME = {2},
PAGES = {15-49},
YEAR = {1995},
EDITOR = {Herken, Rolf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Wien-New York},
}
@incollection{Gandy/95,
AUTHOR = {Gandy, Robin},
TITLE = {The confluence of ideas in 1936},
BOOKTITLE = {The Universal Turing Machine --- A Half-Century Survey},
SERIES = {Computerkultur},
VOLUME = {2},
PAGES = {51-102},
YEAR = {1995},
EDITOR = {Herken, Rolf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Wien-New York},
}
@incollection{Feferman/95,
AUTHOR = {Feferman, Solomon},
TITLE = {Turing in the land of $O(z)$},
BOOKTITLE = {The Universal Turing Machine --- A Half-Century Survey},
SERIES = {Computerkultur},
VOLUME = {2},
PAGES = {103-134},
YEAR = {1995},
EDITOR = {Herken, Rolf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Wien-New York},
}
@incollection{Davis/95,
AUTHOR = {Davis, Martin},
TITLE = {Mathematical logic and the origin of modern computers},
BOOKTITLE = {The Universal Turing Machine --- A Half-Century Survey},
SERIES = {Computerkultur},
VOLUME = {2},
PAGES = {135-158},
YEAR = {1995},
EDITOR = {Herken, Rolf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Wien-New York},
}
@incollection{Arbib/95,
AUTHOR = {Arbib, Michael A.},
TITLE = {From universal Turing machines to self-reproduction},
BOOKTITLE = {The Universal Turing Machine --- A Half-Century Survey},
SERIES = {Computerkultur},
VOLUME = {2},
PAGES = {161-172},
YEAR = {1995},
EDITOR = {Herken, Rolf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Wien-New York},
}
@incollection{Beeson/95a,
AUTHOR = {Beeson, Michael J.},
TITLE = {Computerizing mathematics: Logic and computation},
BOOKTITLE = {The Universal Turing Machine --- A Half-Century Survey},
SERIES = {Computerkultur},
VOLUME = {2},
PAGES = {173-205},
YEAR = {1995},
EDITOR = {Herken, Rolf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Wien-New York},
}
@incollection{Bennett/95,
AUTHOR = {Bennett, Charles H.},
TITLE = {Logical depth and physical complexity},
BOOKTITLE = {The Universal Turing Machine --- A Half-Century Survey},
SERIES = {Computerkultur},
VOLUME = {2},
PAGES = {206-235},
YEAR = {1995},
EDITOR = {Herken, Rolf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Wien-New York},
}
@incollection{Brady/95,
AUTHOR = {Brady, Allen H.},
TITLE = {The busy beaver game and the meaning of life},
BOOKTITLE = {The Universal Turing Machine --- A Half-Century Survey},
SERIES = {Computerkultur},
VOLUME = {2},
PAGES = {237-254},
YEAR = {1995},
EDITOR = {Herken, Rolf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Wien-New York},
}
@incollection{Chaitin/95,
AUTHOR = {Chaitin, Gregory J.},
TITLE = {An algebraic equation for the halting probability},
BOOKTITLE = {The Universal Turing Machine --- A Half-Century Survey},
SERIES = {Computerkultur},
VOLUME = {2},
PAGES = {255-259},
YEAR = {1995},
EDITOR = {Herken, Rolf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Wien-New York},
}
@incollection{Conrad/95a,
AUTHOR = {Conrad, Michael},
TITLE = {The price of programmability},
BOOKTITLE = {The Universal Turing Machine --- A Half-Century Survey},
SERIES = {Computerkultur},
VOLUME = {2},
PAGES = {261-281},
YEAR = {1995},
EDITOR = {Herken, Rolf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Wien-New York},
}
@incollection{Dahlhaus-Makowsky/95,
AUTHOR = {Dahlhaus, Elias and Makowsky, Johann A.},
TITLE = {Gandy's principles for mechanisms as a model of parallel computation},
BOOKTITLE = {The Universal Turing Machine --- A Half-Century Survey},
SERIES = {Computerkultur},
VOLUME = {2},
PAGES = {283-288},
YEAR = {1995},
EDITOR = {Herken, Rolf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Wien-New York},
}
@incollection{Davisis/95,
AUTHOR = {Davisis, Martin},
TITLE = {Influences of mathematical logic on computer science},
BOOKTITLE = {The Universal Turing Machine --- A Half-Century Survey},
SERIES = {Computerkultur},
VOLUME = {2},
PAGES = {289-299},
YEAR = {1995},
EDITOR = {Herken, Rolf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Wien-New York},
}
@incollection{Fenstad/95,
AUTHOR = {Fenstad, Jens Erik},
TITLE = {Language and computations},
BOOKTITLE = {The Universal Turing Machine --- A Half-Century Survey},
SERIES = {Computerkultur},
VOLUME = {2},
PAGES = {301-321},
YEAR = {1995},
EDITOR = {Herken, Rolf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Wien-New York},
}
@incollection{Finkelstein/95,
AUTHOR = {Finkelstein, David},
TITLE = {Finite physiks},
BOOKTITLE = {The Universal Turing Machine --- A Half-Century Survey},
SERIES = {Computerkultur},
VOLUME = {2},
PAGES = {323-347},
YEAR = {1995},
EDITOR = {Herken, Rolf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Wien-New York},
}
@incollection{Goldreich/95b,
AUTHOR = {Goldreich, Oded},
TITLE = {Randomness, interactive proofs, and zero-knowledge --- A survey},
BOOKTITLE = {The Universal Turing Machine --- A Half-Century Survey},
SERIES = {Computerkultur},
VOLUME = {2},
PAGES = {349-375},
YEAR = {1995},
EDITOR = {Herken, Rolf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Wien-New York},
}
@incollection{Gurevich/95,
AUTHOR = {Gurevich, Yuri},
TITLE = {Algorithms in the world of bounded resources},
BOOKTITLE = {The Universal Turing Machine --- A Half-Century Survey},
SERIES = {Computerkultur},
VOLUME = {2},
PAGES = {377-385},
YEAR = {1995},
EDITOR = {Herken, Rolf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Wien-New York},
}
@incollection{Hasslacher/95,
AUTHOR = {Hasslacher, Brosl},
TITLE = {Beyond the Turing machine},
BOOKTITLE = {The Universal Turing Machine --- A Half-Century Survey},
SERIES = {Computerkultur},
VOLUME = {2},
PAGES = {387-402},
YEAR = {1995},
EDITOR = {Herken, Rolf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Wien-New York},
}
@incollection{Koppel/95,
AUTHOR = {Koppel, Moshe},
TITLE = {Structure},
BOOKTITLE = {The Universal Turing Machine --- A Half-Century Survey},
SERIES = {Computerkultur},
VOLUME = {2},
PAGES = {403-419},
YEAR = {1995},
EDITOR = {Herken, Rolf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Wien-New York},
}
@incollection{Makowsky/95,
AUTHOR = {Makowsky, Johann A.},
TITLE = {Mental images and the architecture of concepts},
BOOKTITLE = {The Universal Turing Machine --- A Half-Century Survey},
SERIES = {Computerkultur},
VOLUME = {2},
PAGES = {421-432},
YEAR = {1995},
EDITOR = {Herken, Rolf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Wien-New York},
}
@incollection{Michie/95,
AUTHOR = {Michie, Donald},
TITLE = {The fifth generation's unbridged gap},
BOOKTITLE = {The Universal Turing Machine --- A Half-Century Survey},
SERIES = {Computerkultur},
VOLUME = {2},
PAGES = {433-454},
YEAR = {1995},
EDITOR = {Herken, Rolf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Wien-New York},
}
@incollection{Penrose/95,
AUTHOR = {Penrose, Roger},
TITLE = {On the physics and mathematics of thought},
BOOKTITLE = {The Universal Turing Machine --- A Half-Century Survey},
SERIES = {Computerkultur},
VOLUME = {2},
PAGES = {455-483},
YEAR = {1995},
EDITOR = {Herken, Rolf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Wien-New York},
}
@incollection{Rosen/95a,
AUTHOR = {Rosen, Robert},
TITLE = {Effective processes and natural law},
BOOKTITLE = {The Universal Turing Machine --- A Half-Century Survey},
SERIES = {Computerkultur},
VOLUME = {2},
PAGES = {485-498},
YEAR = {1995},
EDITOR = {Herken, Rolf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Wien-New York},
}
@incollection{Schnelle/95,
AUTHOR = {Schnelle, Helmut},
TITLE = {Turing naturalized: von Neumann's unfinished project},
BOOKTITLE = {The Universal Turing Machine --- A Half-Century Survey},
SERIES = {Computerkultur},
VOLUME = {2},
PAGES = {499-517},
YEAR = {1995},
EDITOR = {Herken, Rolf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Wien-New York},
}
@incollection{Schoning/95b,
AUTHOR = {Sch{\"o}ning, Uwe},
TITLE = {Complexity theory and interaction},
BOOKTITLE = {The Universal Turing Machine --- A Half-Century Survey},
SERIES = {Computerkultur},
VOLUME = {2},
PAGES = {519-536},
YEAR = {1995},
EDITOR = {Herken, Rolf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Wien-New York},
}
@incollection{Shepherdson/95,
AUTHOR = {Shepherdson, John C.},
TITLE = {Mechanisms for computing over arbitrary structures},
BOOKTITLE = {The Universal Turing Machine --- A Half-Century Survey},
SERIES = {Computerkultur},
VOLUME = {2},
PAGES = {537-555},
YEAR = {1995},
EDITOR = {Herken, Rolf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Wien-New York},
}
@incollection{Trakhtenbrot/95a,
AUTHOR = {Trakhtenbrot, Boris A.},
TITLE = {Comparing the Church and Turing approaches: Two prophetical messages},
BOOKTITLE = {The Universal Turing Machine --- A Half-Century Survey},
SERIES = {Computerkultur},
VOLUME = {2},
PAGES = {557-582},
YEAR = {1995},
EDITOR = {Herken, Rolf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Wien-New York},
}
@incollection{Wiener/95,
AUTHOR = {Wiener, Oswald},
TITLE = {Form and content in thinking Turing machines},
BOOKTITLE = {The Universal Turing Machine --- A Half-Century Survey},
SERIES = {Computerkultur},
VOLUME = {2},
PAGES = {583-607},
YEAR = {1995},
EDITOR = {Herken, Rolf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Wien-New York},
}