You are here

Mind Your ∃s and ∀s

by Stephen M. Walk

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.

Read the Article 

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.


Subject classification(s): Linear Algebra | Algebra and Number Theory | Logic | Logic and Foundations
Publication Date: 
Wednesday, October 15, 2008