John, List: You write: > In any case, this is just one of many cases where it's essential to > distinguish (a) mathematics as the infinite totality of all patterns > and teories about them, (b) the people who discover mathematical > theories, and (c) the application of mathematics in other theoretical > and practical sciences.
What are the distinctions that being referred to? Are they merely semantic distinctions? How do these distinctions relate to the writings of CSP? Cheers Jerry > On Aug 14, 2021, at 5:10 PM, John F. Sowa <s...@bestweb.net> wrote: > > Gary F and Jerry, > > A computer theorem prover that generates all possibilities and > systematically eliminates (by deduction) the ones that generate > contradictions could be called an abduction machine. > > GF: In the present context, this would imply that abduction is > essentially mathematical, or at least that inquiry begins in the > hypothetical realm. > > JLRC: Abduction is necessary for calculating the number of possible > arrangements IN SPACE of the parts of the whole. Statistically, it > generates the potential arrangements in space. This mathematical > calculation of abduction is a logical function of the indices of > sin-sign. > > I agree with both of you. > > But there's a difference between a machine and a well-informed human: > The human uses insight (Thirdness) that can drastically reduce the > blind search time. For small finite cases, the blind search by the > computer can be far faster than the intelligent human. But humans > can outperform computers in searches through large or even infinite > spaces. > > Example: Self-driving cars outperform humans on limited-access > highways where the computer has been trained on nearly all the options > that might occur. But the average human is better in recognizing > unusual cases on city streets where the number of possibilities is > immense. > > In any case, this is just one of many cases where it's essential to > distinguish (a) mathematics as the infinite totality of all patterns > and teories about them, (b) the people who discover mathematical > theories, and (c) the application of mathematics in other theoretical > and practical sciences. > > John_ _ _ _ _ _ _ _ _ _ > ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON > PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu > . > ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu > with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in > the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . > ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and > co-managed by him and Ben Udell.
_ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.