First ACMS Conference Proceedings
Table of Contents

Wheaton College (1977) INTRODUCTION, p.1 "The Historical Shaping of the Foundations of Mathematics", p.3 Robert Brabenec, Wheaton College SESSION 1: TWENTIETH CENTURY ISSUES "Recent Problems in the Foundations of Mathematics", p.15 Terence H. Perciante, Wheaton College "Recent Parallels Between the Philosophy of Science and Mathematics", p.27 Joseph Spradley, Wheaton College "Wanted: Christian Perspectives in the Philosophy of Mathematics", p.39 Arthur F. Holmes, Wheaton College SESSION 2: THE NATURE OF MATHEMATICAL TRUTH "Of Men, Models, and Mathematics", p.49 Charles Hatfield, University of Missouri at Rolla "Formalizing the Liar Paradox", p.63 Frank Meyer, Bethel College, St. Paul, Minnesota "Skolem's Paradox and the Predestination/Free-Will Discussion", p.75 Gene B. Chase, Messiah College SESSION 3: THE EXISTENCE OF MATHEMATICAL OBJECTS "Epistemology to Ontology", p.83 Charles R. Hampton, The College of Wooster "Existence in Mathematics", p.89 Willis Alberda, Dordt College "A Brief Introduction to Godel's Theorems", p.95 Michael Detlefsen, University of Minnesota--Duluth "Current Work on Mathematical Truth", p.109 Michael Detlefsen, University of Minnesota--Duluth SESSION 4: THE CONCEPT OF THE INFINITE "God: All Sufficient or Infinite", p.121 Thomas E. Iverson, Central College "Infinity & Reality", p.127 John W. Warner, The College of Wooster SESSION 5: APPLICATION TO TEACHING "Getting Their Interest--Initiating Students Into The Study of Foundational Issues in Mathematics", p.141 Harold Heie, Gordon College "The Foundations of Mathematics and the Mathematics Curriculum", p.151 Bayard Baylis, The King's College "A Christian Point of View", p.161 A. Wayne Roberts, Macalester College VITA OF SPEAKERS, p. 169 DIRECTORY OF INTERESTED INDIVIDUALS, p. 173