Applied Mathematics Commons^™

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 …

Designing The Optimal Placement Of Spaces In A Parking Lot, R. Bingle, D. Meindertsma, W. Oostendorp, Gene A. Klaasen

University Faculty Publications and Creative Works

We develop a method for determining the optimal size and placement of parking spaces and approach aisles for an automobile parking lot. In particular, our solution concerns a parking lot of size 100' x 200' located at the corner of an intersection of two streets in a New England town. We begin by arguing the superiority of driver operation over attendant operation of vehicles to be parked. Then a statistical analysis is performed on a sampling of 160 1987 model automobiles to determine upper bounds and ideal values for the length and width of a parking space and for the …

Orthogonal Polynomials, Measures And Recurrence Relations, Joanne Dombrowski, Paul Nevai

Mathematics and Statistics Faculty Publications

Properties of measures associated with orthogonal polynomials are investigated in terms of the coefficients of the three term recurrence formula satisfied by the orthogonal polynomials.

L(P) Estimates For Maximal Functions And Hilbert-Transforms Along Flat Convex Curves In R(2), Hasse Carlsson, Michael Christ, Antonio Cordoba, Javier Duoandikoetxea, Jose L. Rudio De Francia, Jim Vance, Stephen Wainger, David Weinberg

Mathematics and Statistics Faculty Publications

No abstract provided.

Reliable Computation In The Presence Of Noise, Nicholas Pippenger

All HMC Faculty Publications and Research

This talk concerns computation by systems whose components exhibit noise (that is, errors committed at random according to certain probabilistic laws). If we aspire to construct a theory of computation in the presence of noise, we must possess at the outset a satisfactory theory of computation in the absence of noise.

A theory that has received considerable attention in this context is that of the computation of Boolean functions by networks (with perhaps the strongest competition coming from the theory of cellular automata; see [G] and [GR]). The theory of computation by networks associates with any two sets Q 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

Some Graph-Colouring Theorems With Applications To Generalized Connection Networks, David G. Kirkpatrick, Maria M. Klawe, Nicholas Pippenger

All HMC Faculty Publications and Research

With the aid of a new graph-colouring theorem, we give a simple explicit construction for generalized n-connectors with 2k - 1 stages and O( n^{1 + 1 / k} (log n )^{( k - 1)/ 2} ) edges. This is asymptotically the best explicit construction known for generalized connectors.

Cramer Type Large Deviations For Generalized Rank Statistics, Munsup Seoh, Stegan S. Ralescu, Madan L. Puri

Mathematics and Statistics Faculty Publications

A Cramer type large deviation theorem is proved under alternatives as well as under hypothesis for the generalized linear rank statistic which includes as special cases (unsigned) linear rank statistics, signed linear rank statistics, linear combination of functions of order statistics, and a rank combinatorial statistic.

Uniqueness Of Positive Solutions For A Class Of Elliptic Boundary Value Problems, Alfonso Castro, Ratnasingham Shivaji

All HMC Faculty Publications and Research

Uniqueness of non-negative solutions conjectured in an earlier paper by Shivaji is proved. Our methods are independent of those of that paper, where the problem was considered only in a ball. Further, our results apply to a wider class of nonlinearities.

Perturbation Of Periodic Boundary-Conditions, Larry Turyn

Mathematics and Statistics Faculty Publications

We consider perturbations of the problem (*) - x'' + bx = lambda ax, x(0) - x(1) = 0 = x'(0) - x'(1) both by changes of the boundary conditions and by addition of nonlinear terms. We assume that at lambda = lambda 0 there are two linearly independent solutions of the unperturbed problem (*) and that a(dot) is bounded away from zero. When only the boundary conditions are perturbed either the Hill’s discriminant or the method of Lyapunov–Schmidt reduces the problem to 0 = det ((lambda - lambda 0)A - epsilon …

A Note On Irreducibility And Weak Covering Properties, Joe Mashburn

Mathematics Faculty Publications

A space X is irreducible if every open cover of X has a minimal open refinement. Interest in irreducibility began when Arens and Dugendji used this property to show that metacompact countably compact spaces are compact. It was natural, then, to find out what other types of spaces would be irreducible and therefore compact in the presence of countable compactness or Lindelof in the presence of N₁-compactness. …

It is shown in this paper that T₁ δθ -refinable spaces and T1 weakly δθ-refinable spaces are irreducible. Since examples of Lindelof spaces that are neither T₁ nor …

Generalisations Et Generalites, Florentin Smarandache, Eleonora Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

"Généralisations et Généralités" , pourquoi ce titre? Parce Que l'auteur a voulu rassembler ici Quelques-unes de ses recherches originales C Qui sont donc des "s~n:§rali tés") , df'2ls diverses branches des mathématiques (algèl)re, thôorie des nombres, Gométrie, analyse, linguistique, mathématiQues distrayantes) , mêlne si les articles qui composent ce recueil n'ont pas toujours de liaison entre eux.

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.