Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | Richard Damon <richard@damon-family.org> |
|---|---|
| Newsgroups | sci.logic, comp.theory |
| Subject | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- |
| Date | 2024-04-25 07:32 -0400 |
| Organization | i2pn2 (i2pn.org) |
| Message-ID | <v0df0m$26ja1$1@i2pn2.org> (permalink) |
| References | (22 earlier) <v0c9pi$2k7vk$1@dont-email.me> <v0cdfo$2538n$7@i2pn2.org> <v0ced1$2p5gu$1@dont-email.me> <v0cj7d$2538o$2@i2pn2.org> <v0ck3v$2q2p1$1@dont-email.me> |
Cross-posted to 2 groups.
On 4/24/24 11:53 PM, olcott wrote:
> On 4/24/2024 10:38 PM, Richard Damon wrote:
>> On 4/24/24 10:16 PM, olcott wrote:
>>> On 4/24/2024 9:00 PM, Richard Damon wrote:
>>>> On 4/24/24 8:57 PM, olcott wrote:
>>>>> On 4/24/2024 7:49 PM, Richard Damon wrote:
>>>>>> On 4/24/24 8:17 PM, olcott wrote:
>>>>>>> On 4/24/2024 6:01 PM, Richard Damon wrote:
>>>>>>>> On 4/24/24 11:33 AM, olcott wrote:
>>>>>>>>> On 4/24/2024 3:35 AM, Mikko wrote:
>>>>>>>>>> On 2024-04-23 14:31:00 +0000, olcott said:
>>>>>>>>>>
>>>>>>>>>>> On 4/23/2024 3:21 AM, Mikko wrote:
>>>>>>>>>>>> On 2024-04-22 17:37:55 +0000, olcott said:
>>>>>>>>>>>>
>>>>>>>>>>>>> On 4/22/2024 10:27 AM, Mikko wrote:
>>>>>>>>>>>>>> On 2024-04-22 14:10:54 +0000, olcott said:
>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> On 4/22/2024 4:35 AM, Mikko wrote:
>>>>>>>>>>>>>>>> On 2024-04-21 14:44:37 +0000, olcott said:
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> On 4/21/2024 2:57 AM, Mikko wrote:
>>>>>>>>>>>>>>>>>> On 2024-04-20 15:20:05 +0000, olcott said:
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>> On 4/20/2024 2:54 AM, Mikko wrote:
>>>>>>>>>>>>>>>>>>>> On 2024-04-19 18:04:48 +0000, olcott said:
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>> When we create a three-valued logic system that has
>>>>>>>>>>>>>>>>>>>>> these
>>>>>>>>>>>>>>>>>>>>> three values: {True, False, Nonsense}
>>>>>>>>>>>>>>>>>>>>> https://en.wikipedia.org/wiki/Three-valued_logic
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>> Such three valued logic has the problem that a
>>>>>>>>>>>>>>>>>>>> tautology of the
>>>>>>>>>>>>>>>>>>>> ordinary propositional logic cannot be trusted to be
>>>>>>>>>>>>>>>>>>>> true. For
>>>>>>>>>>>>>>>>>>>> example, in ordinary logic A ∨ ¬A is always true.
>>>>>>>>>>>>>>>>>>>> This means that
>>>>>>>>>>>>>>>>>>>> some ordinary proofs of ordinary theorems are no
>>>>>>>>>>>>>>>>>>>> longer valid and
>>>>>>>>>>>>>>>>>>>> you need to accept the possibility that a theory
>>>>>>>>>>>>>>>>>>>> that is complete
>>>>>>>>>>>>>>>>>>>> in ordinary logic is incomplete in your logic.
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>> I only used three-valued logic as a teaching device.
>>>>>>>>>>>>>>>>>>> Whenever an
>>>>>>>>>>>>>>>>>>> expression of language has the value of {Nonsense}
>>>>>>>>>>>>>>>>>>> then it is
>>>>>>>>>>>>>>>>>>> rejected and not allowed to be used in any logical
>>>>>>>>>>>>>>>>>>> operations. It
>>>>>>>>>>>>>>>>>>> is basically invalid input.
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>> You cannot teach because you lack necessary skills.
>>>>>>>>>>>>>>>>>> Therefore you
>>>>>>>>>>>>>>>>>> don't need any teaching device.
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> That is too close to ad homimen.
>>>>>>>>>>>>>>>>> If you think my reasoning is incorrect then point to
>>>>>>>>>>>>>>>>> the error
>>>>>>>>>>>>>>>>> in my reasoning. Saying that in your opinion I am a bad
>>>>>>>>>>>>>>>>> teacher
>>>>>>>>>>>>>>>>> is too close to ad hominem because it refers to your
>>>>>>>>>>>>>>>>> opinion of
>>>>>>>>>>>>>>>>> me and utterly bypasses any of my reasoning.
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> No, it isn't. You introduced youtself as a topic of
>>>>>>>>>>>>>>>> discussion so
>>>>>>>>>>>>>>>> you are a legitimate topic of discussion.
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> I didn't claim that there be any reasoning, incorrect or
>>>>>>>>>>>>>>>> otherwise.
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> If you claim I am a bad teacher you must point out what
>>>>>>>>>>>>>>> is wrong with
>>>>>>>>>>>>>>> the lesson otherwise your claim that I am a bad teacher
>>>>>>>>>>>>>>> is essentially
>>>>>>>>>>>>>>> an as hominem attack.
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> You are not a teacher, bad or otherwise. That you lack
>>>>>>>>>>>>>> skills that
>>>>>>>>>>>>>> happen to be necessary for teaching is obvious from you
>>>>>>>>>>>>>> postings
>>>>>>>>>>>>>> here. A teacher needs to understand human psychology but
>>>>>>>>>>>>>> you don't.
>>>>>>>>>>>>>>
>>>>>>>>>>>>>
>>>>>>>>>>>>> You may be correct that I am a terrible teacher.
>>>>>>>>>>>>> None-the-less Mathematicians might not have very much
>>>>>>>>>>>>> understanding
>>>>>>>>>>>>> of the link between proof theory and computability.
>>>>>>>>>>>>
>>>>>>>>>>>> Sume mathematicians do have very much understanding of that.
>>>>>>>>>>>> But that
>>>>>>>>>>>> link is not needed for understanding and solving problems
>>>>>>>>>>>> separately
>>>>>>>>>>>> in the two areas.
>>>>>>>>>>>>
>>>>>>>>>>>>> When I refer to rejecting an invalid input math would seem
>>>>>>>>>>>>> to construe
>>>>>>>>>>>>> this as nonsense, where as computability theory would
>>>>>>>>>>>>> totally understand.
>>>>>>>>>>>>
>>>>>>>>>>>> People working on computability theory do not understand
>>>>>>>>>>>> "invalid input"
>>>>>>>>>>>> as "impossible input".
>>>>>>>>>>>
>>>>>>>>>>> The proof then shows, for any program f that might determine
>>>>>>>>>>> whether
>>>>>>>>>>> programs halt, that a "pathological" program g, called with
>>>>>>>>>>> some input,
>>>>>>>>>>> can pass its own source and its input to f and then
>>>>>>>>>>> specifically do the
>>>>>>>>>>> opposite of what f predicts g will do. No f can exist that
>>>>>>>>>>> handles this
>>>>>>>>>>> case, thus showing undecidability.
>>>>>>>>>>> https://en.wikipedia.org/wiki/Halting_problem#
>>>>>>>>>>>
>>>>>>>>>>> So then they must believe that there exists an H that does
>>>>>>>>>>> correctly
>>>>>>>>>>> determine the halt status of every input, some inputs are simply
>>>>>>>>>>> more difficult than others, no inputs are impossible.
>>>>>>>>>>
>>>>>>>>>> That "must" is false as it does not follow from anything.
>>>>>>>>>>
>>>>>>>>>
>>>>>>>>> Sure it does. If there are no "impossible" inputs that entails
>>>>>>>>> that all inputs are possible. When all inputs are possible then
>>>>>>>>> the halting problem proof is wrong.
>>>>>>>>>
>>>>>>>>> *Termination Analyzer H is Not Fooled by Pathological Input D*
>>>>>>>>> https://www.researchgate.net/publication/369971402_Termination_Analyzer_H_is_Not_Fooled_by_Pathological_Input_D
>>>>>>>>>
>>>>>>>>> Everyone that objects to the statement that H(D,D) correctly
>>>>>>>>> determines the halt status of its inputs say that believe that
>>>>>>>>> H(D,D) must report on the behavior of the D(D) that invokes
>>>>>>>>> H(D,D).
>>>>>>>>
>>>>>>>> Right, because that IS the definition of a Halt Decider.
>>>>>>>>
>>>>>>>
>>>>>>> Everyone here takes the definition of a halt decider to be
>>>>>>> required to determine the halt status of the program that
>>>>>>> invokes this halt decider, knowing full well that the program
>>>>>>> that invokes this halt decider IS NOT ITS INPUT.
>>>>>>
>>>>>> And what you don't seem to understand is that it *IS*.
>>>>>>
>>>>>> The DEFINITION of a Halt Decider is to decide on the program
>>>>>> described by it input.
>>>>>>
>>>>>> What else could that mean but the program described by the input?
>>>>>>
>>>>>>>
>>>>>>> All these same people also know the computable functions only
>>>>>>> operate on their inputs and are not allowed to consider anything
>>>>>>> else.
>>>>>>
>>>>>> First, we don't know that a Halt Decider is a "Computable
>>>>>> Function" and in fact, that is the question, is the Halting
>>>>>> Function computable?
>>>>>>
>>>>>> Second, the input IS a "Description of the program" to be decided
>>>>>> on, so that IS the input.
>>>>>>
>>>>>> You don't seem to understand the meaning of the word "description"
>>>>>>
>>>>>
>>>>> Everyone else is wrong about this when they allow a description
>>>>> to include the program that invokes the halt decider.
>>>>
>>>>
>>>> Why?
>>>>
>>>> Why can't you describe that program?
>>>>
>>>
>>> The x86 code is the only description finite string input that H is
>>> allowed to have.
>>
>> And either that can describe the full program D(D), or you are just
>> admitting that H fails to be a Halt Decider by its own limitations.
>>
>> Remember, the REQUIREMENTS prevail, if you somehow restrict H so you
>> can not describe some programs to it, then H BY DEFINITION fails to be
>> the needed decider.
>>
>>
>>>
>>>> If you can't, then you have just admitted that you decider can't
>>>> handle ALL possible inputs.
>>>>
>>>
>>> The D(D) that invokes H(D,D) IS NOT ITS INPUT AND YOU KNOW THAT!
>>
>> Why not? The x86 code given to H it the code for it, at least if you
>> include ALL the x86 code of the full program D.
>>
>> If YOU decided to not give it enough of the description, then you are
>> just admitting to LYING about what you are doing.
>>
>>>
>>>>>
>>>>> These same people already know that the program that invokes
>>>>> the decider is definitely not its input.
>>>>
>>>> But it IS, as that is PRECISELY the program described by the input.
>>>>
>>>
>>> The D(D) that invokes H(D,D) IS NOT ITS INPUT AND HAS DIFFERENT BEHAVIOR
>>
>> Nope. If H is the required computation, then D is also a computation,
>> and all copies of it behave the same.
>
>
> The D(D) that invokes H(D,D) IS NOT ITS INPUT AND HAS DIFFERENT BEHAVIOR
> The D(D) that invokes H(D,D) IS NOT ITS INPUT AND HAS DIFFERENT BEHAVIOR
> The D(D) that invokes H(D,D) IS NOT ITS INPUT AND HAS DIFFERENT BEHAVIOR
How? The DEFINITION of the question asked by H(D,D) is what is the
behavior of the computation D(D).
Remember, the question is: "Does the program represented by the input halt?"
The program represented by the input D,D is the direct execution of D(D).
>
> The behavior of the simulated D(D) before H aborts its simulation is
> The behavior of the simulated D(D) before H aborts its simulation is
> The behavior of the simulated D(D) before H aborts its simulation is
>
> different than the behavior of the executed D(D) after H has aborted its
> simulation.
Hpw?
What instruction CORRECTLY simulated in the whole program D differs from
the actual behavior,
Note, that means the Call H instruction must end up doing exactly the
same thing in the simulation as in the actual execution, something your
H doesn't do.
Your H's simulation is NOT "correct" as it doesn't actually simulate the
call to H, but tries to "deduce" the behavior, and that deduction is
incorrect.
Part of your problem is you are not looking at the PROGRAM D as given,
which includes the H it is calling, but the template used to build
program D, with a funny link to whatever H is trying to decide on it,
which ISN'T even a valid program, as a real computation doesn't know the
context it is being used in.
You just fail to understand the whole concept of Computation Theory.
> different than the behavior of the executed D(D) after H has aborted its
> simulation.
> different than the behavior of the executed D(D) after H has aborted its
> simulation.
>
> H(D,D) must report on the behavior that it actually sees.
> H(D,D) must report on the behavior that it actually sees.
> H(D,D) must report on the behavior that it actually sees.
No, it must report on the behavior of the program described by its
input, which is D(D)
Your problem is you don't understnad the meaning of Truth or Requirements.
Back to sci.logic | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Undecidability based on epistemological antinomies V2 olcott <polcott333@gmail.com> - 2024-04-17 21:34 -0500
Re: Undecidability based on epistemological antinomies V2 Richard Damon <richard@damon-family.org> - 2024-04-17 23:13 -0400
Re: Undecidability based on epistemological antinomies V2 olcott <polcott333@gmail.com> - 2024-04-18 09:50 -0500
Re: Undecidability based on epistemological antinomies V2 Richard Damon <richard@damon-family.org> - 2024-04-18 18:31 -0400
Re: Undecidability based on epistemological antinomies V2 olcott <polcott333@gmail.com> - 2024-04-18 20:11 -0500
Re: Undecidability based on epistemological antinomies V2 Richard Damon <richard@damon-family.org> - 2024-04-18 21:58 -0400
Re: Undecidability based on epistemological antinomies V2 olcott <polcott333@gmail.com> - 2024-04-18 21:25 -0500
Re: Undecidability based on epistemological antinomies V2 Richard Damon <richard@damon-family.org> - 2024-04-18 22:50 -0400
Re: Undecidability based on epistemological antinomies V2 olcott <polcott333@gmail.com> - 2024-04-18 22:28 -0500
Re: Undecidability based on epistemological antinomies V2 Richard Damon <richard@damon-family.org> - 2024-04-19 07:09 -0400
Re: Undecidability based on epistemological antinomies V2 olcott <polcott333@gmail.com> - 2024-04-19 09:18 -0500
Re: Undecidability based on epistemological antinomies V2 Richard Damon <richard@damon-family.org> - 2024-04-19 18:41 -0400
Re: Undecidability based on epistemological antinomies V2 Mikko <mikko.levanto@iki.fi> - 2024-04-20 10:41 +0300
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- olcott <polcott333@gmail.com> - 2024-04-20 11:37 -0500
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- Richard Damon <richard@damon-family.org> - 2024-04-20 12:52 -0400
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- Mikko <mikko.levanto@iki.fi> - 2024-04-21 10:50 +0300
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- olcott <polcott333@gmail.com> - 2024-04-21 09:34 -0500
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- Richard Damon <richard@damon-family.org> - 2024-04-21 13:05 -0400
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- Richard Damon <richard@damon-family.org> - 2024-04-21 13:11 -0400
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- Mikko <mikko.levanto@iki.fi> - 2024-04-22 11:26 +0300
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- olcott <polcott333@gmail.com> - 2024-04-22 09:03 -0500
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- Mikko <mikko.levanto@iki.fi> - 2024-04-22 18:14 +0300
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- olcott <polcott333@gmail.com> - 2024-04-22 10:49 -0500
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- Mikko <mikko.levanto@iki.fi> - 2024-04-23 11:10 +0300
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- olcott <polcott333@gmail.com> - 2024-04-23 09:21 -0500
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- Mikko <mikko.levanto@iki.fi> - 2024-04-24 11:42 +0300
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- Richard Damon <richard@damon-family.org> - 2024-04-22 18:54 -0400
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- olcott <polcott333@gmail.com> - 2024-04-23 09:44 -0500
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- Richard Damon <richard@damon-family.org> - 2024-04-23 21:47 -0400
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- Mikko <mikko.levanto@iki.fi> - 2024-04-24 12:31 +0300
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- olcott <polcott333@gmail.com> - 2024-04-23 09:54 -0500
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- Mikko <mikko.levanto@iki.fi> - 2024-04-24 12:49 +0300
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- olcott <polcott333@gmail.com> - 2024-04-24 11:01 -0500
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- Mikko <mikko.levanto@iki.fi> - 2024-04-25 11:26 +0300
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- olcott <polcott333@gmail.com> - 2024-04-25 09:27 -0500
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- olcott <polcott333@gmail.com> - 2024-04-26 10:28 -0500
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- olcott <polcott333@gmail.com> - 2024-04-26 13:40 -0500
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- Richard Damon <richard@damon-family.org> - 2024-04-26 15:01 -0400
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-04-26 13:07 -0700
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- olcott <polcott333@gmail.com> - 2024-04-26 12:15 -0500
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-04-26 11:19 -0700
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- Richard Damon <richard@damon-family.org> - 2024-04-26 13:58 -0400
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- Richard Damon <richard@damon-family.org> - 2024-04-26 12:16 -0400
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-04-26 09:38 -0700
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- Mikko <mikko.levanto@iki.fi> - 2024-04-27 11:18 +0300
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- olcott <polcott333@gmail.com> - 2024-04-27 08:36 -0500
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- Mikko <mikko.levanto@iki.fi> - 2024-04-28 12:34 +0300
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- olcott <polcott333@gmail.com> - 2024-04-28 08:41 -0500
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- Mikko <mikko.levanto@iki.fi> - 2024-04-29 12:09 +0300
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- olcott <polcott333@gmail.com> - 2024-04-29 09:22 -0500
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- Mikko <mikko.levanto@iki.fi> - 2024-04-29 18:13 +0300
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- olcott <polcott333@gmail.com> - 2024-04-29 10:26 -0500
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- Mikko <mikko.levanto@iki.fi> - 2024-04-30 15:04 +0300
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- olcott <polcott333@gmail.com> - 2024-04-30 11:08 -0500
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- Mikko <mikko.levanto@iki.fi> - 2024-05-01 12:01 +0300
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- olcott <polcott333@gmail.com> - 2024-05-01 10:11 -0500
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- Mikko <mikko.levanto@iki.fi> - 2024-05-02 11:19 +0300
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- olcott <polcott333@gmail.com> - 2024-05-02 08:22 -0500
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- Mikko <mikko.levanto@iki.fi> - 2024-05-03 11:31 +0300
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- olcott <polcott333@gmail.com> - 2024-05-03 07:55 -0500
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- Mikko <mikko.levanto@iki.fi> - 2024-05-04 11:41 +0300
Re: Undecidability based on epistemological antinomies V2 --Mendelson-- Mikko <mikko.levanto@iki.fi> - 2024-04-26 11:42 +0300
Re: Undecidability based on epistemological antinomies V2 olcott <polcott333@gmail.com> - 2024-04-19 09:52 -0500
Re: Undecidability based on epistemological antinomies V2 Richard Damon <richard@damon-family.org> - 2024-04-19 18:51 -0400
Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- olcott <polcott333@gmail.com> - 2024-04-19 13:04 -0500
Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- Richard Damon <richard@damon-family.org> - 2024-04-19 19:20 -0400
Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- olcott <polcott333@gmail.com> - 2024-04-20 01:05 -0500
Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- Richard Damon <richard@damon-family.org> - 2024-04-20 08:56 -0400
Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- Mikko <mikko.levanto@iki.fi> - 2024-04-20 10:54 +0300
Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- olcott <polcott333@gmail.com> - 2024-04-20 10:20 -0500
Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- Richard Damon <richard@damon-family.org> - 2024-04-20 11:39 -0400
Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- olcott <polcott333@gmail.com> - 2024-04-21 10:26 -0500
Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- Richard Damon <richard@damon-family.org> - 2024-04-21 12:52 -0400
Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- Mikko <mikko.levanto@iki.fi> - 2024-04-21 10:57 +0300
Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- olcott <polcott333@gmail.com> - 2024-04-21 09:44 -0500
Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- Mikko <mikko.levanto@iki.fi> - 2024-04-22 12:35 +0300
Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- olcott <polcott333@gmail.com> - 2024-04-22 09:10 -0500
Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- Mikko <mikko.levanto@iki.fi> - 2024-04-22 18:27 +0300
Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- olcott <polcott333@gmail.com> - 2024-04-22 10:52 -0500
Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- olcott <polcott333@gmail.com> - 2024-04-22 12:37 -0500
Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- Mikko <mikko.levanto@iki.fi> - 2024-04-23 11:21 +0300
Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- olcott <polcott333@gmail.com> - 2024-04-23 09:31 -0500
Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- Mikko <mikko.levanto@iki.fi> - 2024-04-24 11:35 +0300
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- olcott <polcott333@gmail.com> - 2024-04-24 10:33 -0500
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Richard Damon <richard@damon-family.org> - 2024-04-24 19:01 -0400
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- olcott <polcott333@gmail.com> - 2024-04-24 19:17 -0500
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Richard Damon <richard@damon-family.org> - 2024-04-24 20:49 -0400
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- olcott <polcott333@gmail.com> - 2024-04-24 19:57 -0500
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Richard Damon <richard@damon-family.org> - 2024-04-24 22:00 -0400
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- olcott <polcott333@gmail.com> - 2024-04-24 21:16 -0500
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Richard Damon <richard@damon-family.org> - 2024-04-24 23:38 -0400
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- olcott <polcott333@gmail.com> - 2024-04-24 22:53 -0500
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Richard Damon <richard@damon-family.org> - 2024-04-25 07:32 -0400
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- olcott <polcott333@gmail.com> - 2024-04-24 22:56 -0500
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Richard Damon <richard@damon-family.org> - 2024-04-25 07:32 -0400
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-04-24 21:02 -0700
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Mikko <mikko.levanto@iki.fi> - 2024-04-25 11:16 +0300
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- olcott <polcott333@gmail.com> - 2024-04-25 09:15 -0500
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Richard Damon <richard@damon-family.org> - 2024-04-25 21:50 -0400
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Richard Damon <richard@damon-family.org> - 2024-04-26 10:47 -0400
Re: D simulated by H never halts no matter what H does Richard Damon <richard@damon-family.org> - 2024-04-26 14:09 -0400
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Mikko <mikko.levanto@iki.fi> - 2024-04-26 11:32 +0300
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- olcott <polcott333@gmail.com> - 2024-04-26 08:54 -0500
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Mikko <mikko.levanto@iki.fi> - 2024-04-27 11:24 +0300
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- olcott <polcott333@gmail.com> - 2024-04-27 08:39 -0500
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Mikko <mikko.levanto@iki.fi> - 2024-04-28 11:36 +0300
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- olcott <polcott333@gmail.com> - 2024-04-28 08:10 -0500
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Richard Damon <richard@damon-family.org> - 2024-04-28 09:22 -0400
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-04-28 07:31 -0700
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- olcott <polcott333@gmail.com> - 2024-04-28 09:48 -0500
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Richard Damon <richard@damon-family.org> - 2024-04-28 11:10 -0400
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- olcott <polcott333@gmail.com> - 2024-04-28 10:27 -0500
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Richard Damon <richard@damon-family.org> - 2024-04-28 12:13 -0400
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- olcott <polcott333@gmail.com> - 2024-04-28 12:10 -0500
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Richard Damon <richard@damon-family.org> - 2024-04-28 13:41 -0400
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-04-28 11:12 -0700
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- olcott <polcott333@gmail.com> - 2024-04-28 13:26 -0500
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-04-28 11:46 -0700
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-04-28 08:41 -0700
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- olcott <polcott333@gmail.com> - 2024-04-28 12:01 -0500
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Mikko <mikko.levanto@iki.fi> - 2024-04-29 12:15 +0300
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Mikko <mikko.levanto@iki.fi> - 2024-04-29 12:17 +0300
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- olcott <polcott333@gmail.com> - 2024-04-29 09:28 -0500
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Mikko <mikko.levanto@iki.fi> - 2024-04-29 18:11 +0300
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- olcott <polcott333@gmail.com> - 2024-04-29 10:24 -0500
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Richard Damon <richard@damon-family.org> - 2024-04-29 19:19 -0400
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Richard Damon <richard@damon-family.org> - 2024-04-29 19:19 -0400
D simulated by H never halts no matter what H does olcott <polcott333@gmail.com> - 2024-04-26 12:05 -0500
Re: D simulated by H never halts no matter what H does olcott <polcott333@gmail.com> - 2024-04-26 19:02 -0500
Re: D simulated by H never halts no matter what H does Richard Damon <richard@damon-family.org> - 2024-04-26 20:26 -0400
Re: D simulated by H never halts no matter what H does olcott <polcott333@gmail.com> - 2024-04-26 20:43 -0500
Re: D simulated by H never halts no matter what H does Richard Damon <richard@damon-family.org> - 2024-04-26 22:18 -0400
Re: D simulated by H never halts no matter what H does olcott <polcott333@gmail.com> - 2024-04-26 22:02 -0500
Re: D simulated by H never halts no matter what H does Richard Damon <richard@damon-family.org> - 2024-04-26 23:45 -0400
Re: D simulated by H never halts no matter what H does olcott <polcott333@gmail.com> - 2024-04-26 23:07 -0500
Re: D simulated by H never halts no matter what H does olcott <polcott333@gmail.com> - 2024-04-27 00:29 -0500
Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-04-27 00:34 -0500
Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-04-27 07:45 -0400
Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-04-27 09:32 -0500
Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-04-27 13:09 -0400
Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-04-27 12:51 -0500
Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-04-27 14:10 -0400
Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-04-27 13:17 -0500
Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-04-27 14:40 -0400
Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-04-27 13:52 -0500
Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-04-27 15:09 -0400
Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-04-27 14:48 -0500
Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-04-27 17:24 -0400
Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-04-27 16:36 -0500
Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-04-27 17:45 -0400
Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-04-27 17:02 -0500
Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-04-27 18:19 -0400
Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-04-27 17:29 -0500
Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-04-27 18:45 -0400
Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-04-27 17:56 -0500
Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-04-27 19:09 -0400
Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-04-27 18:29 -0500
Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-04-27 19:44 -0400
Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-04-27 19:21 -0500
Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-04-27 20:45 -0400
Re: D simulated by H never halts no matter what H does V3 Mikko <mikko.levanto@iki.fi> - 2024-04-28 11:40 +0300
Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-04-28 08:13 -0500
Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-04-28 09:29 -0400
Re: D simulated by H never halts no matter what H does V3 Mikko <mikko.levanto@iki.fi> - 2024-04-29 12:11 +0300
Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-04-29 09:26 -0500
Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-04-29 10:40 -0500
Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-04-29 19:19 -0400
Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-05-03 22:20 -0500
Re: D simulated by H never halts no matter what H does V3 Alan Mackenzie <acm@muc.de> - 2024-05-04 10:56 +0000
Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-05-04 09:48 -0500
Re: D simulated by H never halts no matter what H does V3 Alan Mackenzie <acm@muc.de> - 2024-05-04 15:34 +0000
Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-05-04 10:47 -0500
Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-05-04 12:35 -0500
Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-05-04 13:52 -0400
Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-05-04 11:52 -0400
Re: D simulated by H never halts no matter what H does V3 --- olcott <polcott333@gmail.com> - 2024-05-04 11:31 -0500
Re: D simulated by H never halts no matter what H does V3 --- Richard Damon <richard@damon-family.org> - 2024-05-04 13:15 -0400
Re: D simulated by H never halts no matter what H does V3 --- olcott <polcott333@gmail.com> - 2024-05-04 13:46 -0500
Re: D simulated by H never halts no matter what H does V3 --- Richard Damon <richard@damon-family.org> - 2024-05-04 16:40 -0400
Re: D simulated by H never halts no matter what H does V3 --- olcott <polcott333@gmail.com> - 2024-05-04 16:18 -0500
Re: D simulated by H never halts no matter what H does V3 --- Richard Damon <richard@damon-family.org> - 2024-05-04 17:43 -0400
Re: D simulated by H never halts no matter what H does V3 --- olcott <polcott333@gmail.com> - 2024-05-04 17:08 -0500
Re: D simulated by H never halts no matter what H does V3 --- Richard Damon <richard@damon-family.org> - 2024-05-04 18:36 -0400
Re: D simulated by H never halts no matter what H does V3 --- olcott <polcott333@gmail.com> - 2024-05-04 18:01 -0500
Re: D simulated by H never halts no matter what H does V3 --- Richard Damon <richard@damon-family.org> - 2024-05-04 19:32 -0400
Re: D simulated by H never halts no matter what H does V3 --- olcott <polcott333@gmail.com> - 2024-05-04 18:51 -0500
Re: D simulated by H never halts no matter what H does V3 --- Richard Damon <richard@damon-family.org> - 2024-05-04 20:07 -0400
Re: D simulated by H never halts no matter what H does V3 --- olcott <polcott333@gmail.com> - 2024-05-04 19:20 -0500
Re: D simulated by H never halts no matter what H does V3 --- Richard Damon <richard@damon-family.org> - 2024-05-04 20:44 -0400
Re: D simulated by H never halts no matter what H does V3 --- olcott <polcott333@gmail.com> - 2024-05-04 19:49 -0500
Re: D simulated by H never halts no matter what H does V3 --- Richard Damon <richard@damon-family.org> - 2024-05-04 21:05 -0400
Re: D simulated by H never halts no matter what H does V3 --- olcott <polcott333@gmail.com> - 2024-05-04 20:30 -0500
Re: D simulated by H never halts no matter what H does V3 --- Richard Damon <richard@damon-family.org> - 2024-05-04 22:49 -0400
Re: D simulated by H never halts no matter what H does V3 --- olcott <polcott333@gmail.com> - 2024-05-04 22:17 -0500
Re: D simulated by H never halts no matter what H does V3 --- "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-05 12:36 +0200
Re: D simulated by H never halts no matter what H does V3 --- olcott <polcott333@gmail.com> - 2024-05-05 09:23 -0500
Re: D simulated by H never halts no matter what H does V3 --- Richard Damon <richard@damon-family.org> - 2024-05-05 13:00 -0400
Re: D simulated by H never halts no matter what H does V3 --- olcott <polcott333@gmail.com> - 2024-05-05 09:30 -0500
Re: D simulated by H never halts no matter what H does V3 --- joes <noreply@example.com> - 2024-05-05 15:42 +0000
Re: D simulated by H never halts no matter what H does V3 --- olcott <polcott333@gmail.com> - 2024-05-05 11:22 -0500
Re: D simulated by H never halts no matter what H does V3 --- Richard Damon <richard@damon-family.org> - 2024-05-05 12:43 -0400
Re: D simulated by H never halts no matter what H does V3 --- joes <noreply@example.com> - 2024-05-05 17:03 +0000
Re: D simulated by H never halts no matter what H does V3 --- Richard Damon <richard@damon-family.org> - 2024-05-05 13:27 -0400
Re: D simulated by H never halts no matter what H does V3 --- olcott <polcott333@gmail.com> - 2024-05-05 11:29 -0500
Re: D simulated by H never halts no matter what H does V3 --- Richard Damon <richard@damon-family.org> - 2024-05-05 12:46 -0400
Re: D simulated by H never halts no matter what H does V3 --- olcott <polcott333@gmail.com> - 2024-05-05 12:28 -0500
Re: D simulated by H never halts no matter what H does V3 --- Richard Damon <richard@damon-family.org> - 2024-05-05 13:49 -0400
Re: D simulated by H never halts no matter what H does V3 --- olcott <polcott333@gmail.com> - 2024-05-05 13:32 -0500
Re: D simulated by H never halts no matter what H does V3 --- joes <noreply@example.com> - 2024-05-05 16:57 +0000
Re: D simulated by H never halts no matter what H does V3 --- olcott <polcott333@gmail.com> - 2024-05-05 12:23 -0500
Re: D simulated by H never halts no matter what H does V3 --- immibis <news@immibis.com> - 2024-05-07 03:37 +0200
Re: D simulated by H never halts no matter what H does V3 --- Jeff Barnett <jbb@notatt.com> - 2024-05-05 13:11 -0600
Re: D simulated by H never halts no matter what H does V3 --- Richard Damon <richard@damon-family.org> - 2024-05-05 12:41 -0400
Re: D simulated by H never halts no matter what H does V3 --- olcott <polcott333@gmail.com> - 2024-05-05 12:21 -0500
Re: D simulated by H never halts no matter what H does V3 --- Richard Damon <richard@damon-family.org> - 2024-05-05 13:54 -0400
Re: D simulated by H never halts no matter what H does V3 --- olcott <polcott333@gmail.com> - 2024-05-05 13:33 -0500
Re: D simulated by H never halts no matter what H does V3 --- Richard Damon <richard@damon-family.org> - 2024-05-05 15:47 -0400
Re: D simulated by H never halts no matter what H does V3 --- olcott <polcott333@gmail.com> - 2024-05-05 15:34 -0500
Re: D simulated by H never halts no matter what H does V3 --- Richard Damon <richard@damon-family.org> - 2024-05-05 17:13 -0400
Re: D simulated by H never halts no matter what H does V3 --- olcott <polcott333@gmail.com> - 2024-05-05 16:09 -0500
Re: D simulated by H never halts no matter what H does V3 --- Richard Damon <richard@damon-family.org> - 2024-05-05 18:57 -0400
your system clock is still off olcott <polcott333@gmail.com> - 2024-05-05 19:38 -0500
Re: your system clock is still off Richard Damon <richard@damon-family.org> - 2024-05-05 21:05 -0400
Re: your system clock is still off olcott <polcott333@gmail.com> - 2024-05-05 22:27 -0500
Re: your system clock is still off Richard Damon <richard@damon-family.org> - 2024-05-05 23:53 -0400
Re: your system clock is still off olcott <polcott333@gmail.com> - 2024-05-05 23:06 -0500
Re: your system clock is still off Richard Damon <richard@damon-family.org> - 2024-05-06 06:33 -0400
Re: D simulated by H never halts no matter what H does V3 --- Richard Damon <richard@damon-family.org> - 2024-05-05 07:10 -0400
Re: D simulated by H never halts no matter what H does V3 --- olcott <polcott333@gmail.com> - 2024-05-05 10:13 -0500
Re: D simulated by H never halts no matter what H does V3 --- Richard Damon <richard@damon-family.org> - 2024-05-05 12:50 -0400
Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-05-04 08:36 -0400
Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-04-29 19:19 -0400
Re: D simulated by H never halts no matter what H does V3 Mikko <mikko.levanto@iki.fi> - 2024-05-04 11:48 +0300
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Mikko <mikko.levanto@iki.fi> - 2024-04-25 11:11 +0300
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- olcott <polcott333@gmail.com> - 2024-04-25 09:08 -0500
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Richard Damon <richard@damon-family.org> - 2024-04-25 21:55 -0400
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Richard Damon <richard@damon-family.org> - 2024-04-26 12:54 -0400
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Mikko <mikko.levanto@iki.fi> - 2024-04-26 12:16 +0300
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- olcott <polcott333@gmail.com> - 2024-04-26 11:21 -0500
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Mikko <mikko.levanto@iki.fi> - 2024-04-27 11:41 +0300
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- olcott <polcott333@gmail.com> - 2024-04-27 08:50 -0500
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Richard Damon <richard@damon-family.org> - 2024-04-27 13:21 -0400
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Mikko <mikko.levanto@iki.fi> - 2024-04-28 12:01 +0300
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- olcott <polcott333@gmail.com> - 2024-04-28 08:24 -0500
Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- Mikko <mikko.levanto@iki.fi> - 2024-04-29 12:24 +0300
Re: Undecidability based on epistemological antinomies olcott <polcott333@gmail.com> - 2024-04-29 09:32 -0500
Re: Undecidability based on epistemological antinomies Mikko <mikko.levanto@iki.fi> - 2024-04-29 18:04 +0300
Re: Undecidability based on epistemological antinomies olcott <polcott333@gmail.com> - 2024-04-29 10:22 -0500
Re: Undecidability based on epistemological antinomies Richard Damon <richard@damon-family.org> - 2024-04-29 20:41 -0400
Re: Undecidability based on epistemological antinomies Mikko <mikko.levanto@iki.fi> - 2024-04-30 15:01 +0300
Re: Undecidability based on epistemological antinomies olcott <polcott333@gmail.com> - 2024-04-30 11:06 -0500
Re: Undecidability based on epistemological antinomies Mikko <mikko.levanto@iki.fi> - 2024-05-01 12:06 +0300
Re: Undecidability based on epistemological antinomies olcott <polcott333@gmail.com> - 2024-05-01 10:19 -0500
Re: Undecidability based on epistemological antinomies Richard Damon <richard@damon-family.org> - 2024-05-01 20:44 -0400
Re: Undecidability based on epistemological antinomies olcott <polcott333@gmail.com> - 2024-05-01 21:27 -0500
Re: Undecidability based on epistemological antinomies Richard Damon <richard@damon-family.org> - 2024-05-02 00:02 -0400
Re: Undecidability based on epistemological antinomies olcott <polcott333@gmail.com> - 2024-05-01 23:43 -0500
Re: Undecidability based on epistemological antinomies Richard Damon <richard@damon-family.org> - 2024-05-02 07:21 -0400
Re: Undecidability based on epistemological antinomies Mikko <mikko.levanto@iki.fi> - 2024-05-02 11:11 +0300
Re: Undecidability based on epistemological antinomies olcott <polcott333@gmail.com> - 2024-05-02 08:17 -0500
Re: Undecidability based on epistemological antinomies Mikko <mikko.levanto@iki.fi> - 2024-05-03 11:27 +0300
Re: Undecidability based on epistemological antinomies olcott <polcott333@gmail.com> - 2024-05-03 07:53 -0500
Re: Undecidability based on epistemological antinomies Mikko <mikko.levanto@iki.fi> - 2024-05-04 11:51 +0300
Re: Undecidability based on epistemological antinomies V2 olcott <polcott333@gmail.com> - 2024-04-18 00:57 -0500
Re: Undecidability based on epistemological antinomies V2 Richard Damon <richard@damon-family.org> - 2024-04-18 07:34 -0400
Re: Undecidability based on epistemological antinomies V2 Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-04-19 09:51 -0700
Re: Undecidability based on epistemological antinomies V2 olcott <polcott333@gmail.com> - 2024-04-19 13:23 -0500
Re: Undecidability based on epistemological antinomies V2 Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-04-19 14:04 -0700
Re: Undecidability based on epistemological antinomies V2 olcott <polcott333@gmail.com> - 2024-04-19 16:36 -0500
Re: Undecidability based on epistemological antinomies V2 Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-04-20 13:07 -0700
Re: Undecidability based on epistemological antinomies V2 olcott <polcott333@gmail.com> - 2024-04-20 16:05 -0500
Re: Undecidability based on epistemological antinomies V2 Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-04-20 20:41 -0700
Re: Undecidability based on epistemological antinomies V2 Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-04-20 21:40 -0700
Re: Undecidability based on epistemological antinomies V2 Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-04-20 20:39 -0700
Re: Undecidability based on epistemological antinomies V2 olcott <polcott333@gmail.com> - 2024-04-21 00:47 -0500
Re: Undecidability based on epistemological antinomies V2 Richard Damon <richard@damon-family.org> - 2024-04-21 07:19 -0400
Re: Undecidability based on epistemological antinomies V2 Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-04-21 07:17 -0700
Re: Undecidability based on epistemological antinomies V2 olcott <polcott333@gmail.com> - 2024-04-21 10:16 -0500
Re: Undecidability based on epistemological antinomies V2 Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-04-21 08:53 -0700
Re: Undecidability based on epistemological antinomies V2 olcott <polcott333@gmail.com> - 2024-04-21 12:41 -0500
Re: Undecidability based on epistemological antinomies V2 Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-04-21 11:37 -0700
Re: Undecidability based on epistemological antinomies V2 Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-04-21 11:42 -0700
Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- olcott <polcott333@gmail.com> - 2024-04-21 14:34 -0500
Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- Richard Damon <richard@damon-family.org> - 2024-04-21 17:19 -0400
Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- olcott <polcott333@gmail.com> - 2024-04-21 16:38 -0500
Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- Richard Damon <richard@damon-family.org> - 2024-04-21 19:52 -0400
Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- olcott <polcott333@gmail.com> - 2024-04-21 19:22 -0500
Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- Richard Damon <richard@damon-family.org> - 2024-04-21 21:54 -0400
Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- olcott <polcott333@gmail.com> - 2024-04-21 23:35 -0500
Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- Richard Damon <richard@damon-family.org> - 2024-04-22 07:35 -0400
Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- olcott <polcott333@gmail.com> - 2024-04-23 10:39 -0500
Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- Richard Damon <richard@damon-family.org> - 2024-04-23 21:47 -0400
Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-04-21 19:00 -0700
Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- olcott <polcott333@gmail.com> - 2024-04-21 19:53 -0500
Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- Richard Damon <richard@damon-family.org> - 2024-04-21 22:02 -0400
Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- olcott <polcott333@gmail.com> - 2024-04-24 23:33 -0500
Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- Richard Damon <richard@damon-family.org> - 2024-04-25 07:32 -0400
Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-04-25 09:09 -0700
Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- olcott <polcott333@gmail.com> - 2024-04-25 12:04 -0500
Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-04-25 10:45 -0700
Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- olcott <polcott333@gmail.com> - 2024-04-25 13:47 -0500
Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- Richard Damon <richard@damon-family.org> - 2024-04-25 21:51 -0400
Re: Undecidability based on epistemological antinomies V2 --correct reasoning-- Richard Damon <richard@damon-family.org> - 2024-04-25 21:51 -0400
Re: Undecidability based on epistemological antinomies V2 olcott <polcott333@gmail.com> - 2024-04-18 09:53 -0500
Re: Undecidability based on epistemological antinomies V2 Richard Damon <richard@damon-family.org> - 2024-04-18 18:33 -0400
Re: Undecidability based on epistemological antinomies V2 Mikko <mikko.levanto@iki.fi> - 2024-04-19 10:48 +0300
Re: Undecidability based on epistemological antinomies V2 Richard Damon <richard@damon-family.org> - 2024-04-19 07:12 -0400
Re: Undecidability based on epistemological antinomies V2 olcott <polcott333@gmail.com> - 2024-04-19 09:20 -0500
Re: Undecidability based on epistemological antinomies V2 Richard Damon <richard@damon-family.org> - 2024-04-19 19:41 -0400
csiph-web