Abstract
One of the main topics of discussion in Douglas Hofstadter’s Pulitzer-prize-win-ning book Godei, Escher, Bach: An Eternal Golden Braid is the concept of deriving theorems in a formal system. To give his readers a better idea of what a formal system is, Hofstadter discusses a simple example of such a system, called the MIU system. Although the example may not have been designed for instructional use, to a teacher of mathematics it seems ready-made for the classroom. Indeed, the MIU system can not only provide an instructional unit on some important topics in mathematics, it can also be used to lead students to investigate some fascinating ideas from computer science and artificial intelligence. The present article will describe the MIU system and indicate a number of possible uses for it in the mathematics classroom.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
