7 research outputs found
How to Say Things with Formalisms
Recent attention to "self-consistent" (Rosser-style) systems raises anew the question of the proper interpretation of the Gödel Second Incompleteness Theorem and its effect on Hilbert's Program. The traditional rendering and consequence is defended with new arguments justifying the intensional correctness of the derivability conditions
Finitism--an essay on Hilbert's programme
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy, 1991.Includes bibliographical references (p. 213-219).by David Watson Galloway.Ph.D
The continuum hypothesis : independence and truth-value
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Philosophy, 1974.MIT Humanities Library copy: issued in two vols.Leaf number 84 used twice. Also issued as a two-volume set.Includes bibliographical references (leaves 217-258).by Thomas S. Weston.Ph.D