Mathematics Commons^™

Logic And Proof For Mathematics: A Twentieth Century Perspective, Calvin Jongsma

ACMS Conference Proceedings 1987

This talk reports on the author's experience in teaching college mathematics students the basics of logic and proof in preparation for their transitioning to upper-level proof-based mathematics courses, following that up with a philosophical and historical analysis of mathematicians' attitudes toward such a project going back to nineteenth- and twentieth-century developments in logic and foundations (De Morgan, Boole, Frege, Russell, and Hilbert). The natural deduction approach to logic and inference developed in the mid-twentieth century by Jaskowski and Fitch is recommended as a much better focused approach for learning how to do proofs in mathematics. This idea is systematically developed …

Riesz Spaces And Their Applications In Economics, Calvin E. Piston

ACMS Conference Proceedings 1987

We will examine an economic model of pure exchange and some results concerning different notions of equilibrium. In particular, we will focus on the role played by the theory of Riesz space.

Variations On A Theme, Robert Creighton Buck

ACMS Conference Proceedings 1987

An autobiographical narration by Robert Creighton Buck, detailing his experiences in the field of mathematics, and the various questions and themes reoccurring in the mathematical sciences.

The Role Of Computer Science In A Liberal Arts College, Russell C. Bjork

ACMS Conference Proceedings 1987

The question the panel has been asked to discuss actually encompasses two related, but distinct, questions - each of which, in turn, has two subquestions.

The first question concerns the place of a computer science as a major program of study among the offerings of a liberal arts college. The two subquestions here are as follows: First, is computer science an appropriate field of study to offer in a liberal arts college? (Is it a liberal art?) Second, is a liberal arts college an appropriate home for a computer science program? (Can a high quality program be offered in such …

Another Look At Pick's Theorem, Dale Varberg

ACMS Conference Proceedings 1987

In this paper, the author discusses his experience building a proof for Pick's Theorem and theorem's history.

Computer Science In Liberal Arts Colleges, James Bradley

ACMS Conference Proceedings 1987

This paper looks at the strengths and weaknesses of computer science curricula and how liberal arts colleges can best teach the concepts of mathematics required in computer science.

An Activist Model Of The Metaphysics Of Mathematics, Christopher Menzel

ACMS Conference Proceedings 1987

No abstract provided.

Conic Sections In Ip, Richard Laatsch

ACMS Conference Proceedings 1987

No abstract provided.

3:16 - An Approach To Bible Study, Donald E. Knuth

ACMS Conference Proceedings 1987

No abstract provided.

Introduction (1987), Paul Zwier

ACMS Conference Proceedings 1987

A Sixth Conference on Mathematics from a Christian Perspective

Edited by Robert L. Brabenec

Table Of Contents (1987), Association Of Christians In The Mathematical Sciences

ACMS Conference Proceedings 1987

A Sixth Conference on Mathematics from a Christian Perspective

Edited by Robert L. Brabenec

Proof And Intuition, Michael Detlefsen

ACMS Journal 2004

This paper aims to give a clear exposition of two critiques of logicism. The intuitionist, Brouwer, is best known for rejecting the law of the excluded middle (his "special critique.") The paper argues that Brouwer's "general critique" is deeper and more extensive than this. That is, Brouwer is arguing that mathematical knowledge requires a kind of direct mathematical experience, analogous to sensory experience and this cannot be attained simply by linguistic operations independently of experience. It also discusses Poincare's critiques - that there is a huge difference between genuine mathematical insight and an ability to logically manipulate mathematical truths and …

On Universal Tests For The Truth Of World Views: Their Existence And Identifiability, William Buttelmann, Paul Fienberg

ACMS Conference Proceedings 1985

In his book, Christian Apologetics, Norman Geisler proposes a universal test for the truth of world views. We examine this concept and find that it raises serious difficulties. This paper first presents some basic definitions for "world view" and "truth-value of a world view," then studies the concept of a universal test for the truth of world views in light of these definitions. Geisler has proposed what amounts to a universal decision procedure to determine the truth-value of world views. We show that, in the general case, no such universal decision procedure exists. Whether or not such universal tests for …

Selected Bibliography Of Donald Maccrimmon Mackay, Gene B. Chase

ACMS Conference Proceedings 1985

A selected bibliography of Donald MacCrimmon MacKay, including his written works and biographical sources.

The Significance Of Formally Undecidable Propositions For The Use Of Classical Logic In Theological Arguments, Gordon E. Whitney

ACMS Conference Proceedings 1985

No abstract provided.

Faith And Mathematics - A Different Perspective, James E. Mann, Jr.

ACMS Conference Proceedings 1985

No abstract provided.

Artificial Intelligence? - A Christian Appraisal, Donald M. Mackay

ACMS Conference Proceedings 1985

No abstract provided.

Is Rational Thinking The Best Thinking?, Richard Laatsch

ACMS Conference Proceedings 1985

No abstract provided.

Undergraduate Mathematical Modeling: When And What To Teach, Frank R. Giordano, Maurice D. Weir

ACMS Conference Proceedings 1985

No abstract provided.

Introduction (1985), Robert Brabenec

ACMS Conference Proceedings 1985

A Fifth Conference on Mathematics from a Christian Perspective

Edited by Robert L. Brabenec, Wheaton College

Table Of Contents (1985), Association Of Christians In The Mathematical Sciences

ACMS Conference Proceedings 1985

A Fifth Conference on Mathematics from a Christian Perspective

Edited by Robert L. Brabenec, Wheaton College

Using Mathematical Concepts To Illustrate Scriptural And Spiritual Ideas, Robert Brabenec

ACMS Conference Proceedings 1983

Christian mathematics faculty and students respond in differing ways to this idea of applying mathematics to Scripture, and vice-versa. Mathematics is man-made, while Scripture is inspired by God, so they should be disjoint entities. However, it is well known that the Scripture used analogies of familiar human objects and ideas in order to explain spiritual ideas. This paper discusses various mathematical concepts and how they illustrate Scriptural and spiritual ideas.

The Activitiy And Application Of Mathematics, R. S. D. Thomas

ACMS Conference Proceedings 1983

There are four so-called philosophies of mathematics that I regard as totally discredited, formalism, intuitionism, logicism, and Platonism. It is a common feature of the ism philosophies of mathematics that they do not take the application of mathematics very seriously. This paper examines a view of mathematics that takes applications seriously.

Arrogance And Humility In The Philosophy Of Mathematics, James Murdock

ACMS Conference Proceedings 1983

This paper explores the philosophical, sociological, and theological questions related to the field of mathematics and whether or not it is ethical to pursue when its discoveries are used for evil.

An Outline Of A Complementarist Philosophy Of The Sciences, With A Special Reference To Mathematics, Willem Kuyk

ACMS Conference Proceedings 1983

No abstract provided.

A Neuropsychodynamical Theory Of Mathematics Learning, Willem Kuyk

ACMS Conference Proceedings 1983

No abstract provided.

One Possible Outline For A First Undergraduate Course In Philosophy Of Mathematics, Harold Heie

ACMS Conference Proceedings 1983

No abstract provided.

The Role Of Creativity In Mathematics, John M. Dubbey

ACMS Conference Proceedings 1983

No abstract provided.

Mathematics: The Loss Of Certainty, Calvin Jongsma

ACMS Conference Proceedings 1983

Morris Kline was a contentious mathematician and author, documenting (as he saw it) both the deficiencies of mid-twentieth-century reformist trends in mathematics education and formalist views of the foundations (and practice) of mathematics. This brief introduction to a discussion of Kline's 1980 book and its mixed reception by the mathematics community provides a context for assessing his ideas as part of his overall views on the nature of mathematics.

A Comparative Study Of Christian Mathematical Realism And Its Humanistic Alternatives, Paul Zwier

ACMS Conference Proceedings 1983

This paper explores what sort of stance a Christian should have on important mathematical questions such as realism.