Home  Online Resources  Table of Contents

Journal of Logic and Computation, Volume 11, Issue 1, pp. 25-40: Abstract.

Revision Sequences and Computers with an Infinite Amount of Time

Benedikt Löwe

Rheinische Friedrich-Wilhelms-Universität Bonn, Mathematisches Institut, Beringstraße 6, D - 53115 Bonn, Germany. E-mail: loewe@math.uni-bonn.de

The author establishes a connection between Revision Theory of Truth and Infinite Time Turing Machines as developed by Hamkins and Kidder.

The ideas from this paper have incited Welch to solve the limit rule problem of revision theory.

Keywords: Revision theory of truth, infinite time Turing machines, definability

  Full-Text PDF  (197 KB)

[ Oxford University Press]   [ Oxford Journals]   [ Comments & Feedback]   Copyright© Oxford University Press, 2001.