Quote: Church proposed a definition for effectively calculable functions and demonstrated an unsolvable problem

Quotation Skeleton

There is a class of problems of elementary … effectively calculable function f of n positive integers, … ,x_n)=2 is a necessary and sufficient condition for … x_n as free variables. [For example, providing a counter example to Fermat's last theorem.] … [p. 90] The purpose of the present paper is … [its] somewhat vague intuitive notion … and to show, by means of an example, …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: Turing machine (30 items)
Topic: Godel's incompleteness theorem (19 items)