> 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
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 theoret
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 l
> On Aug 12, 2021, at 12:29 PM, g...@gnusystems.ca wrote:
>
> In the present context, this would imply that abduction is essentially
> mathematical, or at least that inquiry begins in the hypothetical realm.
List:
Gary F's assertion, while true for chemical sciences, is only a part of the