Unformatted text preview: wellfounded. Even though a member such as (4, 3) has infinitely many other elements below it (for example, (3, y) for every y), any decreasing chain must be finite. Hence, the Ack program always gives an answer. 48 ...
View
Full
Document
This note was uploaded on 03/02/2010 for the course MATH Math2009 taught by Professor Koskesh during the Spring '09 term at SUNY Empire State.
 Spring '09
 Koskesh
 Math

Click to edit the document details