Award: George Pólya
Year of Award: 2005
Publication Information: The College Mathematics Journal, Vol. 35 (2004), pp. 362-369
Summary: This article examines the pitfalls and resulting lessons of interchanging universal and existential quantifiers in an axiom from Linear Algebra by examining closely a structure that models the errant axiom system.
About the Author(s): (from The College Mathematics Journal, (2004)) Stephen M. Walk earned both his Bachelor’s and Master’s degrees from the University of Northern Iowa, the latter under the direction of Michael Millar. His Ph.D., supervised by Peter Cholak, is from the University of Notre Dame. He has taught at St. Cloud State University of Minnesota since 1999, and his mathematical interests include computability theory and many-valued logic.