You are here

Mind Your ∃s and ∀s

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.

 

Author (old format): 
Stephen M. Walk
Author(s): 
Stephen M. Walk
Flag for Digital Object Identifier: 
Publication Date: 
Wednesday, October 15, 2008
Publish Page: 
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.

Dummy View - NOT TO BE DELETED