Concepts and objects
Pavel Materna · 1998
procedures which a concept should be represented by g1) and g2) are entirely distinct: to get the number 8 by determining which unique number equals 2 is obviously another procedure than that which computes the result of calculating the square root of 64. The concept h1) is α-equivalent to the concept h2). Which distinction between the respective procedures could be stated? To determine the class of positive numbers by testing whether the given