David Isles

Office: Bromfield-Pearson Building, Room 114
Phone: 72353

Research Interests

Main interest: Mathematical logic: proof theory, normalization proofs, ordinal notations, connections to programming languages Secondary interests: Philosophy of mathematics, constructivism, finitism Tertiary interests: Combinatorics (esp. Ramsey theory), graph theory

Selected Publications: Mathematical

Theorems of Peano Arithmetic are Buridan-Volpin Recursively Satisfiable

REPORTS ON MATHEMATICAL LOGIC, Vol 31, Krakow, 1999

A Finite Analog to the Loewenheim-Skolem Theorem

STUDIA LOGICA, Vol 53, pp. 503-532, 1994

What Evidence is There That 2^65536 is a Natural Number?

NOTRE DAME JOURNAL OF FORMAL LOGIC, Vol 33 #4, pp. 465-480, fall 1992

Derivation-Determined Interpretations of First-Order Theories

MATHEMATICAL CHRONICLE, Auckland, N.Z., Vol 17, pp. 45-86, 1988

Freeing the Bound Variable: The Influence of Context on Reference in First-Order Derivations

JOURNAL OF NON-CLASSICAL LOGIC, Vol 3 #2, pp. 37-90, November 1986

On the notion of standard non-isomorphic natural number series

in CONSTRUCTIVE MATHEMATICS, F. Richman (ed.), Springer Verlag, pp.111-134, 1981

The Accessibility of Epsilon-0", REPORTS ON MATHEMATICAL LOGIC

Vol 5, pp. 37-42. 1975

Natural Well-Orderings

JOURNAL OF SYMBOLIC LOGIC, Vol 36 #2, pp. 288-300, 1971

Regular Ordinals and Normal Forms

INTUITIONISM AND PROOF THEORY, Kino, Myhill, and Vesley (eds.),North-Holland Pub. Co.,pp339-362, 1968

Publications: General

Norbert Wiener: The Responsible Scientist

PEACE STUDIES ASSOCIATION 7TH ANNUAL MEETING, March 9-12, 1995

Should the Japanese Language Be Reformed?

(with T. Akiba), in A COMPUTER SCIENCE READER, E. Weiss (ed.), Springer Verlag, p. 68, 1988

Necessary Ignorance and the Data Processing Model of Information

PROCEEDINGS OF THE CARNAHAN CONFERENCE ON HARMONIZING TECHNOLOGY WITH SOCIETY, U. of Kentucky, 1986

Arificial Intelligence as a Possible Tool for Discovering Laws of Logic

COGNITIVE SCIENCE, Vol 2, pp. 329-336, 1978