Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #103847
| From | olcott <polcott333@gmail.com> |
|---|---|
| Newsgroups | comp.theory, sci.logic |
| Subject | Re: Undecidability based on epistemological antinomies V2 |
| Date | 2024-04-19 16:36 -0500 |
| Organization | A noiseless patient Spider |
| Message-ID | <uvuo4e$3779f$1@dont-email.me> (permalink) |
| References | <uvq0sg$21m7a$1@dont-email.me> <uvqcoo$23umj$1@dont-email.me> <RpicnfvEovBXPb_7nZ2dnZfqn_udnZ2d@giganews.com> <uvucr5$34u3m$1@dont-email.me> <ZZadndJs5rWzQb_7nZ2dnZfqnPadnZ2d@giganews.com> |
Cross-posted to 2 groups.
On 4/19/2024 4:04 PM, Ross Finlayson wrote:
> On 04/19/2024 11:23 AM, olcott wrote:
>> On 4/19/2024 11:51 AM, Ross Finlayson wrote:
>>> On 04/17/2024 10:57 PM, olcott wrote:
>>>> On 4/17/2024 9:34 PM, olcott wrote:
>>>> "...14 Every epistemological antinomy can likewise be used for a
>>>> similar
>>>> undecidability proof..." (Gödel 1931:43-44)
>>>>
>>>> is literally true whether or not Gödel meant it literally. Since it
>>>> <is>
>>>> literally true I am sure that he did mean it literally.
>>>>
>>>>> *Parphrased as*
>>>>> Every expression X that cannot possibly be true or false proves that
>>>>> the
>>>>> formal system F cannot correctly determine whether X is true or false.
>>>>> Which shows that X is undecidable in F.
>>>>>
>>>>
>>>> It is easy to understand that self-contradictory mean unprovable and
>>>> irrefutable, thus meeting the definition of Incomplete(F).
>>>>
>>>>> Which shows that F is incomplete, even though X cannot possibly be a
>>>>> proposition in F because propositions must be true or false.
>>>>>
>>>>> A proposition is a central concept in the philosophy of language,
>>>>> semantics, logic, and related fields, often characterized as the
>>>>> primary
>>>>> bearer of truth or falsity.
>>>>> https://en.wikipedia.org/wiki/Proposition
>>>>>
>>>>
>>>
>>> Most common-sense types have "the truth is the truth is the truth" then
>>> as with regards to logical positivism and a sensitive, thorough,
>>> comprehensive, reasoned account of rationality and the fundamental
>>> objects of the logical theory, makes for again a stonger logical
>>> positivism, reinvigorated with a minimal "silver thread" to a
>>> metaphysics, all quite logicist and all quite positivist, while
>>> again structuralist and formalist, "the truth is the truth is the
>>> truth".
>>>
>>> Plainly, modeling bodies of knowledge is at least two things,
>>> one is a formal logical model, and another is a scientific model,
>>> as with regards to expectations, a statistical model.
>>>
>>> For all the things to be in one modality, is that, as a model of
>>> belief, is that belief is formally unreliable, while at the same
>>> time, reasoned and rational as for its own inner consistency and
>>> inter-consistency, all the other models in the entire modal universe,
>>> temporal.
>>>
>>>
>>> Axioms are stipulations, they're assumptions, and there are some
>>> very well-reasoned ones, and those what follow the reflections on
>>> relation, in matters of definition of structural relation, and
>>> the first-class typing, of these things.
>>>
>>
>> In epistemology (theory of knowledge), a self-evident proposition is
>> a proposition that is known to be true by understanding its meaning
>> without proof https://en.wikipedia.org/wiki/Self-evidence
>>
>> In the case of the correct model of the actual world stipulations
>> are not assumptions. In this case stipulations are the assignment of
>> semantic meaning to otherwise totally meaningless finite strings.
>>
>> We do not merely assume that a "dead rat" is not any type of
>> "fifteen story office building" we know that it is a self-evident
>> truth.
>>
>> Expressions of language that are stipulated to be true for the
>> sole purpose of providing semantic meaning to otherwise totally
>> meaningless finite strings provide the ultimate foundation of every
>> expression that are true on the basis of its meaning.
>>
>> The only other element required to define the entire body of
>> {expressions of language that are true on the basis of their meaning}
>> is applying truth preserving operations to stipulated truths.
>>
>>> The axiomless, really does make for a richer accoutrement,
>>> after metaphysics and the canon, why the objects of reason
>>> and rationality, "arise" from axiomless deduction, naturally.
>>>
>>> Then, our axiomatics and theory "attain" to this, the truth,
>>> of what is, "A Theory", at all.
>>>
>>> One good theory. (Modeling all individuals and contingencies
>>> and their models of belief as part of the world of theory.)
>>>
>>> One good theory, "A Theory: at all", we are in it.
>>>
>>>
>>> A catalog and schema and dictionary and the finite is only that, though.
>>>
>>> "Bigger: not always worse."
>>>
>>>
>>>
>>
>
> "Understanding" doesn't mean much here
> except lack thereof, and hypocrisy.
>
> We only have "true axioms" because in
> all their applications they've held up.
> They "withstand", and, "overstand".
>
>
We cannot really understand the notion of true on the basis of meaning
by only examining how this applies to real numbers. We must broaden
the scope to every natural language expression.
When we do this then we understand that a "dead rat" is not any type
of "fifteen story office building" is a semantic tautology that cannot
possibly be false.
When we understand this then we have much deeper insight into the nature
of mathematical axioms, they too must be semantic tautologies.
> There's nothing wrong with Tertium Not Datur,
> for the class of predicates where it applies.
>
> Which is not all of them.
>
>
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
Back to comp.theory | 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 --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-- 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-- 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-- olcott <polcott333@gmail.com> - 2024-04-23 09:54 -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-- olcott <polcott333@gmail.com> - 2024-04-27 08:36 -0500
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-- 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-- olcott <polcott333@gmail.com> - 2024-04-21 09:44 -0500
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 --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)-- 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: 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)-- Richard Damon <richard@damon-family.org> - 2024-04-26 12: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 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 olcott <polcott333@gmail.com> - 2024-04-29 09:26 -0500
Re: D simulated by H never halts no matter what H does V3 Mikko <mikko.levanto@iki.fi> - 2024-04-29 18:16 +0300
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 Mikko <mikko.levanto@iki.fi> - 2024-04-30 11:52 +0300
Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-04-30 10:36 -0500
Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-04-30 18:46 -0400
Re: D simulated by H never halts no matter what H does V3 Mikko <mikko.levanto@iki.fi> - 2024-05-01 12:43 +0300
Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-05-01 10:45 -0500
Re: D simulated by H never halts no matter what H does V3 Mikko <mikko.levanto@iki.fi> - 2024-05-02 12:55 +0300
Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-05-02 09:22 -0500
Re: D simulated by H never halts no matter what H does V3 Mikko <mikko.levanto@iki.fi> - 2024-05-03 11:54 +0300
Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-05-03 06:38 -0500
Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-05-03 17:57 -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 08:46 -0500
Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-05-04 12:11 -0400
Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-05-04 09:06 -0500
Re: D simulated by H never halts no matter what H does V3 Alan Mackenzie <acm@muc.de> - 2024-05-04 14:39 +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 10:49 -0500
Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-05-04 12:57 -0400
Re: D simulated by H never halts no matter what H does V3 Alan Mackenzie <acm@muc.de> - 2024-05-04 17:14 +0000
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: your system clock is still off Mikko <mikko.levanto@iki.fi> - 2024-05-06 18:50 +0300
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 --- Mikko <mikko.levanto@iki.fi> - 2024-05-06 19:01 +0300
Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-05-04 11:51 -0400
Re: D simulated by H never halts no matter what H does V3 Ben Bacarisse <ben.usenet@bsb.me.uk> - 2024-05-05 09:33 +0100
Re: D simulated by H never halts no matter what H does V3 Alan Mackenzie <acm@muc.de> - 2024-05-05 10:02 +0000
Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-05-05 09:51 -0500
Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-05-05 12:54 -0400
Re: D simulated by H never halts no matter what H does V3 Alan Mackenzie <acm@muc.de> - 2024-05-05 17:28 +0000
Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-05-05 12:47 -0500
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 Mikko <mikko.levanto@iki.fi> - 2024-05-04 12:11 +0300
Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-05-04 09:12 -0500
Re: D simulated by H never halts no matter what H does V3 Richard Damon <richard@damon-family.org> - 2024-05-04 11:58 -0400
Re: D simulated by H never halts no matter what H does V3 Mikko <mikko.levanto@iki.fi> - 2024-05-05 12:39 +0300
Re: D simulated by H never halts no matter what H does V3 olcott <polcott333@gmail.com> - 2024-05-05 09:41 -0500
Re: D simulated by H never halts no matter what H does V3 Mikko <mikko.levanto@iki.fi> - 2024-05-06 19:15 +0300
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: Undecidability based on epistemological antinomies V2 --H(D,D)-- olcott <polcott333@gmail.com> - 2024-04-26 10:34 -0500
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)-- olcott <polcott333@gmail.com> - 2024-04-29 09:28 -0500
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
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)-- 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 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
csiph-web