Question: P3.1.8 (uses Java) Using the Least Number Axiom of Excursion 1.2, prove carefully that the factor method given in the text correctly factors any natural.

P3.1.8 (uses Java) Using the Least Number Axiom of Excursion 1.2, prove carefully that the factor method given in the text correctly factors any natural. (Hint: Assume that n is the small- est number that it doesn't factor correctly, trace the method with input n, and derive a contradiction.) P3.1.8 (uses Java) Using the Least Number Axiom of Excursion 1.2, prove carefully that the factor method given in the text correctly factors any natural. (Hint: Assume that n is the small- est number that it doesn't factor correctly, trace the method with input n, and derive a contradiction.)
Step by Step Solution
There are 3 Steps involved in it
Get step-by-step solutions from verified subject matter experts
