• Re: Linz's proofs. self-contradictory inputs

    From Mikko@21:1/5 to olcott on Fri Mar 1 13:27:11 2024
    On 2024-03-01 03:32:44 +0000, olcott said:

    The simple way around this is to understand that
    self-contradictory inputs are invalid.

    They are not unless the problem statements say so. What is or is
    not a valid input is specified in the problem statement. Your
    opinions don't matter.

    --
    Mikko

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mikko@21:1/5 to olcott on Sat Mar 2 13:24:04 2024
    On 2024-03-01 17:09:46 +0000, olcott said:

    On 3/1/2024 5:27 AM, Mikko wrote:
    On 2024-03-01 03:32:44 +0000, olcott said:

    The simple way around this is to understand that
    self-contradictory inputs are invalid.

    They are not unless the problem statements say so. What is or is
    not a valid input is specified in the problem statement. Your
    opinions don't matter.

    The correct philosophical foundation of the notion of truth
    itself proves that epistemological antinomies have no truth
    value because they are not truth bearers proves that they are
    outside of the domain of decision problems.

    That does not contradict what I said above.

    People that learn by rote memorization never pay any attention
    to the coherence or incoherence of what they learned by rote.

    People who learn by rote memorization can do something useful.
    Some can apply that knowledge, others can tell to someone who
    doesn't already know but can apply.

    --
    Mikko

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mikko@21:1/5 to olcott on Mon Mar 4 16:46:09 2024
    On 2024-03-02 18:06:01 +0000, olcott said:

    On 3/2/2024 5:24 AM, Mikko wrote:
    On 2024-03-01 17:09:46 +0000, olcott said:

    On 3/1/2024 5:27 AM, Mikko wrote:
    On 2024-03-01 03:32:44 +0000, olcott said:

    The simple way around this is to understand that
    self-contradictory inputs are invalid.

    They are not unless the problem statements say so. What is or is
    not a valid input is specified in the problem statement. Your
    opinions don't matter.

    The correct philosophical foundation of the notion of truth
    itself proves that epistemological antinomies have no truth
    value because they are not truth bearers proves that they are
    outside of the domain of decision problems.

    That does not contradict what I said above.

    Yes it does. it is generically the case that every input
    to a decision problem either has a correct yes/no answer
    or this input is outside of the domain of this decider.

    No, it doesn't. It is generically the case that the domain
    is what the problem specification says. If you leave anything
    out of the domain you will have at most a partial solution,
    not the solution of the problem.

    --
    Mikko

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mikko@21:1/5 to olcott on Tue Mar 5 11:59:17 2024
    On 2024-03-04 16:53:10 +0000, olcott said:

    On 3/4/2024 8:46 AM, Mikko wrote:
    On 2024-03-02 18:06:01 +0000, olcott said:

    On 3/2/2024 5:24 AM, Mikko wrote:
    On 2024-03-01 17:09:46 +0000, olcott said:

    On 3/1/2024 5:27 AM, Mikko wrote:
    On 2024-03-01 03:32:44 +0000, olcott said:

    The simple way around this is to understand that
    self-contradictory inputs are invalid.

    They are not unless the problem statements say so. What is or is
    not a valid input is specified in the problem statement. Your
    opinions don't matter.

    The correct philosophical foundation of the notion of truth
    itself proves that epistemological antinomies have no truth
    value because they are not truth bearers proves that they are
    outside of the domain of decision problems.

    That does not contradict what I said above.

    Yes it does. it is generically the case that every input
    to a decision problem either has a correct yes/no answer
    or this input is outside of the domain of this decider.

    No, it doesn't. It is generically the case that the domain
    is what the problem specification says. If you leave anything
    out of the domain you will have at most a partial solution,
    not the solution of the problem.


    I have reversed my position on this.

    Have you already updated your web page?

    --
    Mikko

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)