Groups | Search | Server Info | Login | Register
| From | olcott <polcott333@gmail.com> |
|---|---|
| Newsgroups | sci.logic, sci.math, sci.math.symbolic, comp.theory, comp.ai.philosophy |
| Subject | The notion of a "well founded justification tree" will be fully elaborated --- Catches Liars |
| Date | 2026-04-26 08:37 -0500 |
| Organization | A noiseless patient Spider |
| Message-ID | <10sl4fo$1k9pj$1@dont-email.me> (permalink) |
| References | (26 earlier) <10sf1cg$3iumg$1@dont-email.me> <10sg0kc$3ua8k$1@dont-email.me> <10shtcg$mbgt$1@dont-email.me> <10sibh9$qc3q$1@dont-email.me> <10skhmn$1etr4$1@dont-email.me> |
Cross-posted to 5 groups.
On 4/26/2026 3:17 AM, Mikko wrote:
> On 25/04/2026 15:19, olcott wrote:
>> On 4/25/2026 3:18 AM, Mikko wrote:
>>> On 24/04/2026 18:01, olcott wrote:
>>>> On 4/24/2026 1:08 AM, Mikko wrote:
>>>>> On 23/04/2026 16:32, olcott wrote:
>>>>>> On 4/23/2026 1:35 AM, Mikko wrote:
>>>>>>> On 22/04/2026 10:45, olcott wrote:
>>>>>>>> On 4/22/2026 2:03 AM, Mikko wrote:
>>>>>>>>> On 21/04/2026 16:22, olcott wrote:
>>>>>>>>>> On 4/21/2026 1:30 AM, Mikko wrote:
>>>>>>>>>>> On 20/04/2026 16:31, olcott wrote:
>>>>>>>>>>>> On 4/20/2026 3:49 AM, Mikko wrote:
>>>>>>>>>>>>> On 19/04/2026 20:21, olcott wrote:
>>>>>>>>>>>>>> On 4/19/2026 3:59 AM, Mikko wrote:
>>>>>>>>>>>>>>> On 18/04/2026 15:58, olcott wrote:
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> Unknown truths are not elements of the body of
>>>>>>>>>>>>>>>> knowledge is a semantic tautology. Did you think
>>>>>>>>>>>>>>>> that things that are unknown are known?
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> No, but that measn that for some sentences X True(X) is
>>>>>>>>>>>>>>> unknown and there
>>>>>>>>>>>>>>> is no method to find out.
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> I don't know about philosophers but mathematicians and
>>>>>>>>>>>>>>> logicians don't
>>>>>>>>>>>>>>> find it interesting if all you can say that all knowledge
>>>>>>>>>>>>>>> is knowable
>>>>>>>>>>>>>>> and everything else is not.
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> Ross Finlayson, seemed to endlessly hedge on whether
>>>>>>>>>>>>>> or not the truth value of the Goldbach conjecture was
>>>>>>>>>>>>>> known. He seemed to think that there are alternative
>>>>>>>>>>>>>> analytical frameworks that make the question of whether
>>>>>>>>>>>>>> or not its truth value is known an ambiguous question.
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> I needed to refer to unknown truth values specifically
>>>>>>>>>>>>>> because all "undecidability" when construed correctly
>>>>>>>>>>>>>> falls into one of two categories.
>>>>>>>>>>>>>> (a) Semantic incoherence
>>>>>>>>>>>>>> (b) Unknown truth values.
>>>>>>>>>>>>>
>>>>>>>>>>>>> A centence can be said to be undecidable when it is known
>>>>>>>>>>>>> that neither
>>>>>>>>>>>>> the sentence nor its negation is a theorem.
>>>>>>>>>>>>
>>>>>>>>>>>> When we skip model theory and and define True and False
>>>>>>>>>>>> as the existence of a back chained sequence of inference
>>>>>>>>>>>> steps of expressions x or ~x reaching axioms
>>>>>>>>>>>
>>>>>>>>>>> It is not useful to define new terms for comcepts that
>>>>>>>>>>> already have
>>>>>>>>>>> good terms.
>>>>>>>>>>
>>>>>>>>>> The result of undecidability proves that the current
>>>>>>>>>> foundations are incoherent in the same way that
>>>>>>>>>> Russell's paradox proved that naive set theory had
>>>>>>>>>> a glitch.
>>>>>>>>>
>>>>>>>>> Hardly the same way as Russell's paradox proves that there is no
>>>>>>>>> undecidability in the naive set theory.
>>>>>>>>>
>>>>>>>>>>> If the sequence of inference steps is restricted to
>>>>>>>>>>> valid inferences the term "True" as defined above then
>>>>>>>>>>> "sentence is
>>>>>>>>>>> true" is just another way to say "sentence is a theorem".
>>>>>>>>>>>
>>>>>>>>>>>> then it is a yes or no question that has no correct yes
>>>>>>>>>>>> or no answer within the formal system.
>>>>>>>>>>>
>>>>>>>>>>> Even if a question has no answer within a formal theory of
>>>>>>>>>>> natural
>>>>>>>>>>> numbers it may have an answer in the natural numbers themselves.
>>>>>>>>>>>
>>>>>>>>>>>> My system is based on simple type theory and formalized
>>>>>>>>>>>> natural language.
>>>>>>>>>>>>
>>>>>>>>>>>> This makes it a yes or no question that has no
>>>>>>>>>>>> correct yes or no answer at all anywhere, thus
>>>>>>>>>>>> an incorrect polar question.
>>>>>>>>>>>
>>>>>>>>>>> How does your system handle questions that are not known to
>>>>>>>>>>> have a
>>>>>>>>>>> yes or no answer but k´nor known to lack such answer, either,
>>>>>>>>>>> e.g. Goldbach's conjecture ?
>>>>>>>>>>
>>>>>>>>>> out-of-scope of the body of knowledge.
>>>>>>>>>> "true on the basis of meaning expressed in language"
>>>>>>>>>> reliably computable for the entire body of knowledge.
>>>>>>>>>
>>>>>>>>> So the question whether something is in the scope of your system
>>>>>>>>> is not in the scope of your system? OK, but shoudn't such
>>>>>>>>> questions
>>>>>>>>> be answerable anyway?
>>>>>>>>
>>>>>>>> The truth value of the Goldbach conjecture might
>>>>>>>> be unknowable if it is true and the only way to
>>>>>>>> prove it is true is an infinite number of steps.
>>>>>>>
>>>>>>> Peano arithmetic is unsolvable, i.e., there is no method to find
>>>>>>> out whether a particular sentence (for exmaple Goldbach conjecture)
>>>>>>> is provable or not. If you find a proof then you know it but it is
>>>>>>> possible that you never find, no matter how much you search.
>>>>>>
>>>>>> Goldbach is unknowable if it is true because
>>>>>> verifying that it is true requires an infinite
>>>>>> number of steps.
>>>>>
>>>>> That is not known. Perhaps there is an unknown proof that proves it.
>>>
>>>> That is a correct correction.
>>>
>>> However, my correction is not complete. The question how your system
>>> handles Goldbach's conjecture and similar cases is still unanswered.
>>
>> It is hard-coded to know that the truth value is not
>> currently known.
>
> So when the truth value is found out
It is updated.
> > Everything else about the Goldbach conjecture is also hard-coded
> > such as the biography of Goldbach.
>
> More about those things may also be discovered. It is even possible
> that something we thought we know will be found to be false.
>
Yes.
>>>> Goldbach is known and possibly unknowable.
>>>
>>> Everthing is that is known is knowable. But that does not include
>>> the decidability and truth value of Goldbach's conjecture.
>>>
>>>> My system is only concerned with knowledge
>>>> expressed in language.
>
> So essentially an ecyclopedia + a search engine.
>
Not exactly. When fully implemented it can conclusively
prove that climate change is real, that people saying
otherwise are liars and not merely mistaken.
That there was no actual evidence of election fraud
that could have possibly changed the results of the
2020 presidential election.
That Trump implemented this exact quote from Hitler's
Mein Kampf to convince people otherwise:
"The receptive powers of the masses are very
restricted, and their understanding is feeble.
On the other hand, they quickly forget. Such
being the case, all effective propaganda must
be confined to a few bare essentials and those
must be expressed as far as possible in stereotyped
formulas. These slogans should be persistently
repeated until the very last individual has come
to grasp the idea that has been put forward."
>>> Which the decidability and truth value of Goldbach's conjecture
>>> will be if they ever will be known.
>>
>> Yes that it correct.
>
> It also means that your system is incomplete and needs updates
> whenever somebody discovers something (which happens many times
> every day).
>
If by incomplete you mean it is never the infallible
all knowing mind of God you would be correct.
If by incomplete you mean ever has less than 99% of
the sum total of all human general knowledge you
would be incorrect. Some of its knowledge of news
stories will remain provisional until fully vetted.
--
Copyright 2026 Olcott
My 28 year goal has been to make
"true on the basis of meaning expressed in language"
reliably computable for the entire body of knowledge.
The complete structure of this system is now defined.
This required establishing a new foundation
Back to sci.logic | Previous | Next — Previous in thread | Next in thread | Find similar
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Mikko <mikko.levanto@iki.fi> - 2026-04-04 10:53 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example olcott <polcott333@gmail.com> - 2026-04-04 11:23 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example olcott <polcott333@gmail.com> - 2026-04-04 14:55 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Mikko <mikko.levanto@iki.fi> - 2026-04-05 10:05 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example olcott <polcott333@gmail.com> - 2026-04-05 06:25 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-05 08:05 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example olcott <polcott333@gmail.com> - 2026-04-05 12:01 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Mikko <mikko.levanto@iki.fi> - 2026-04-06 11:27 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example olcott <polcott333@gmail.com> - 2026-04-06 06:21 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Mikko <mikko.levanto@iki.fi> - 2026-04-07 11:00 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example olcott <polcott333@gmail.com> - 2026-04-07 09:49 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Mikko <mikko.levanto@iki.fi> - 2026-04-08 10:08 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example olcott <polcott333@gmail.com> - 2026-04-08 06:52 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-08 09:13 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Mikko <mikko.levanto@iki.fi> - 2026-04-09 12:17 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-09 08:34 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Mikko <mikko.levanto@iki.fi> - 2026-04-10 10:30 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-10 06:18 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-10 06:04 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-10 09:31 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-10 17:09 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-10 21:04 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-10 21:59 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-11 01:09 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-11 08:49 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-11 07:08 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-11 10:01 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Richard Damon <Richard@Damon-Family.org> - 2026-04-11 12:27 -0400
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Richard Damon <Richard@Damon-Family.org> - 2026-04-10 09:53 -0400
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Mikko <mikko.levanto@iki.fi> - 2026-04-11 10:30 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-11 09:14 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Richard Damon <Richard@Damon-Family.org> - 2026-04-11 12:35 -0400
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Mikko <mikko.levanto@iki.fi> - 2026-04-12 12:26 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-13 09:24 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Mikko <mikko.levanto@iki.fi> - 2026-04-14 08:55 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-14 08:48 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Mikko <mikko.levanto@iki.fi> - 2026-04-15 09:54 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-15 06:57 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Mikko <mikko.levanto@iki.fi> - 2026-04-16 11:26 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-16 07:36 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-16 10:10 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-16 12:27 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-16 12:36 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-16 10:47 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-16 10:57 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-16 11:18 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-16 11:26 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-16 13:24 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-16 11:45 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-16 11:59 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-16 14:47 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-16 17:04 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-16 19:41 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-17 00:49 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-17 09:04 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-17 07:52 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-17 09:58 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-17 08:14 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-17 11:53 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-17 17:24 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-17 20:43 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-17 19:13 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-17 21:25 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-17 19:32 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-17 21:42 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-17 21:28 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-17 11:54 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Richard Damon <Richard@Damon-Family.org> - 2026-04-17 11:12 -0400
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-17 08:19 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Richard Damon <Richard@Damon-Family.org> - 2026-04-18 12:13 -0400
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-19 09:15 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-19 10:07 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Mikko <mikko.levanto@iki.fi> - 2026-04-17 09:45 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-17 09:29 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Mikko <mikko.levanto@iki.fi> - 2026-04-18 12:15 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-18 07:59 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Mikko <mikko.levanto@iki.fi> - 2026-04-19 11:54 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-18 07:58 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Mikko <mikko.levanto@iki.fi> - 2026-04-19 11:59 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-19 09:42 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-19 12:21 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Richard Damon <Richard@Damon-Family.org> - 2026-04-19 13:58 -0400
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction dart200 <user7160@newsgrouper.org.invalid> - 2026-05-02 13:39 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Mikko <mikko.levanto@iki.fi> - 2026-05-03 10:53 +0300
Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> - 2026-05-08 11:58 -0500
Re: Simplifying the Church / Turing thesis dart200 <user7160@newsgrouper.org.invalid> - 2026-05-08 10:13 -0700
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> - 2026-05-08 12:35 -0500
Re: Simplifying the Church / Turing thesis dart200 <user7160@newsgrouper.org.invalid> - 2026-05-08 11:40 -0700
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> - 2026-05-08 14:01 -0500
Re: Simplifying the Church / Turing thesis dart200 <user7160@newsgrouper.org.invalid> - 2026-05-10 13:06 -0700
Re: Simplifying the Church / Turing thesis phoenix <j63840576@gmail.com> - 2026-05-10 14:12 -0600
Re: Simplifying the Church / Turing thesis "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-05-10 21:14 -0700
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> - 2026-05-10 15:17 -0500
Re: Simplifying the Church / Turing thesis Mikko <mikko.levanto@iki.fi> - 2026-05-09 11:10 +0300
Re: Simplifying the Church / Turing thesis Mikko <mikko.levanto@iki.fi> - 2026-05-09 11:30 +0300
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> - 2026-05-09 07:13 -0500
Re: Simplifying the Church / Turing thesis Mikko <mikko.levanto@iki.fi> - 2026-05-10 10:10 +0300
Re: Simplifying the Church / Turing thesis Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-05-10 10:27 -0700
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> - 2026-05-10 12:38 -0500
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> - 2026-05-10 14:06 -0500
Re: Simplifying the Church / Turing thesis Mikko <mikko.levanto@iki.fi> - 2026-05-11 10:24 +0300
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> - 2026-05-11 06:44 -0500
Re: Simplifying the Church / Turing thesis Mikko <mikko.levanto@iki.fi> - 2026-05-12 10:05 +0300
Re: Simplifying the Church / Turing thesis olcott <polcott333@gmail.com> - 2026-05-12 08:32 -0500
Re: Simplifying the Church / Turing thesis Mikko <mikko.levanto@iki.fi> - 2026-05-13 12:14 +0300
Re: Simplifying the Church / Turing thesis "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-05-10 21:15 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Mikko <mikko.levanto@iki.fi> - 2026-04-20 11:49 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-20 08:31 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Mikko <mikko.levanto@iki.fi> - 2026-04-21 09:30 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-21 08:22 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Mikko <mikko.levanto@iki.fi> - 2026-04-22 10:03 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-22 02:45 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Mikko <mikko.levanto@iki.fi> - 2026-04-23 09:35 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-23 08:32 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Mikko <mikko.levanto@iki.fi> - 2026-04-24 09:08 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-24 10:01 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Mikko <mikko.levanto@iki.fi> - 2026-04-25 11:18 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction olcott <polcott333@gmail.com> - 2026-04-25 07:19 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Mikko <mikko.levanto@iki.fi> - 2026-04-26 11:17 +0300
The notion of a "well founded justification tree" will be fully elaborated --- Catches Liars olcott <polcott333@gmail.com> - 2026-04-26 08:37 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Catches Liars Richard Damon <Richard@Damon-Family.org> - 2026-04-26 20:09 -0400
Re: The notion of a "well founded justification tree" will be fully elaborated --- Catches Liars Mikko <mikko.levanto@iki.fi> - 2026-04-27 12:04 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Catches Liars olcott <polcott333@gmail.com> - 2026-04-27 09:38 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Catches Liars Mikko <mikko.levanto@iki.fi> - 2026-04-28 10:51 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Catches Liars olcott <polcott333@gmail.com> - 2026-04-28 07:22 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Catches Liars Mikko <mikko.levanto@iki.fi> - 2026-04-29 09:51 +0300
The notion of a "well founded justification tree" <is> fully elaborated olcott <polcott333@gmail.com> - 2026-04-24 11:24 -0500
Re: The notion of a "well founded justification tree" <is> fully elaborated Mikko <mikko.levanto@iki.fi> - 2026-04-25 11:20 +0300
Re: The notion of a "well founded justification tree" <is> fully elaborated olcott <polcott333@gmail.com> - 2026-04-25 07:25 -0500
Re: The notion of a "well founded justification tree" <is> fully elaborated Mikko <mikko.levanto@iki.fi> - 2026-04-26 11:09 +0300
Re: The notion of a "well founded justification tree" <is> fully elaborated olcott <polcott333@gmail.com> - 2026-04-26 08:22 -0500
Re: The notion of a "well founded justification tree" <is> fully elaborated Richard Damon <Richard@Damon-Family.org> - 2026-04-26 20:14 -0400
Re: The notion of a "well founded justification tree" <is> fully elaborated Mikko <mikko.levanto@iki.fi> - 2026-04-27 12:22 +0300
Re: The notion of a "well founded justification tree" <is> fully elaborated olcott <polcott333@gmail.com> - 2026-04-27 09:47 -0500
Re: The notion of a "well founded justification tree" <is> fully elaborated Mikko <mikko.levanto@iki.fi> - 2026-04-28 10:55 +0300
Re: The notion of a "well founded justification tree" <is> fully elaborated olcott <polcott333@gmail.com> - 2026-04-28 07:24 -0500
Re: The notion of a "well founded justification tree" <is> fully elaborated Mikko <mikko.levanto@iki.fi> - 2026-04-29 09:57 +0300
Re: The notion of a "well founded justification tree" <is> fully elaborated Mikko <mikko.levanto@iki.fi> - 2026-04-30 11:04 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-23 09:54 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-23 09:57 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-20 07:54 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Correction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-20 08:32 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Mikko <mikko.levanto@iki.fi> - 2026-04-09 12:08 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example olcott <polcott333@gmail.com> - 2026-04-09 08:35 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Richard Damon <Richard@Damon-Family.org> - 2026-04-10 09:57 -0400
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Mikko <mikko.levanto@iki.fi> - 2026-04-11 11:06 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example olcott <polcott333@gmail.com> - 2026-04-11 09:27 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Richard Damon <Richard@Damon-Family.org> - 2026-04-11 12:36 -0400
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Mikko <mikko.levanto@iki.fi> - 2026-04-12 12:32 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example olcott <polcott333@gmail.com> - 2026-04-12 08:22 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Mikko <mikko.levanto@iki.fi> - 2026-04-13 10:05 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example olcott <polcott333@gmail.com> - 2026-04-13 09:52 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Richard Damon <Richard@Damon-Family.org> - 2026-04-13 19:15 -0400
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Mikko <mikko.levanto@iki.fi> - 2026-04-14 08:59 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example olcott <polcott333@gmail.com> - 2026-04-14 08:50 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Mikko <mikko.levanto@iki.fi> - 2026-04-15 09:58 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example olcott <polcott333@gmail.com> - 2026-04-15 06:59 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Mikko <mikko.levanto@iki.fi> - 2026-04-16 11:30 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Richard Damon <Richard@Damon-Family.org> - 2026-04-16 07:37 -0400
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Mikko <mikko.levanto@iki.fi> - 2026-04-14 09:34 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-14 05:09 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-15 08:15 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example olcott <polcott333@gmail.com> - 2026-04-15 10:49 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-15 09:06 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example olcott <polcott333@gmail.com> - 2026-04-15 11:17 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-15 09:35 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-15 09:58 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example olcott <polcott333@gmail.com> - 2026-04-15 12:18 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-15 10:33 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example olcott <polcott333@gmail.com> - 2026-04-15 12:43 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-15 10:51 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example olcott <polcott333@gmail.com> - 2026-04-15 13:09 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-15 11:53 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example olcott <polcott333@gmail.com> - 2026-04-14 08:45 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Mikko <mikko.levanto@iki.fi> - 2026-04-15 10:07 +0300
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example olcott <polcott333@gmail.com> - 2026-04-15 07:02 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example André G. Isaak <agisaak@gm.invalid> - 2026-04-15 10:51 -0600
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-15 10:02 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Full PTS basis olcott <polcott333@gmail.com> - 2026-04-15 12:24 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Full PTS basis André G. Isaak <agisaak@gm.invalid> - 2026-04-15 13:13 -0600
Re: The notion of a "well founded justification tree" will be fully elaborated --- Full PTS basis olcott <polcott333@gmail.com> - 2026-04-15 15:37 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Full PTS basis Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-15 14:04 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Full PTS basis olcott <polcott333@gmail.com> - 2026-04-15 16:39 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Full PTS basis André G. Isaak <agisaak@gm.invalid> - 2026-04-15 15:40 -0600
Re: The notion of a "well founded justification tree" will be fully elaborated --- Full PTS basis olcott <polcott333@gmail.com> - 2026-04-15 17:14 -0500
Re: The notion of a "well founded justification tree" will be fully elaborated --- Full PTS basis "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-04-15 22:11 -0700
Re: The notion of a "well founded justification tree" will be fully elaborated --- Prolog Example Mikko <mikko.levanto@iki.fi> - 2026-04-16 11:33 +0300
I will write a new paper anchoring my ideas in proof theoretic semantics olcott <polcott333@gmail.com> - 2026-04-16 07:52 -0500
Re: I will write a new paper anchoring my ideas in proof theoretic semantics Mikko <mikko.levanto@iki.fi> - 2026-04-17 09:52 +0300
Re: I will write a new paper anchoring my ideas in proof theoretic semantics Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-17 01:14 -0700
Re: I will write a new paper anchoring my ideas in proof theoretic semantics olcott <polcott333@gmail.com> - 2026-04-17 09:34 -0500
Re: I will write a new paper anchoring my ideas in proof theoretic semantics Mikko <mikko.levanto@iki.fi> - 2026-04-18 12:19 +0300
Re: I will write a new paper anchoring my ideas in proof theoretic semantics olcott <polcott333@gmail.com> - 2026-04-18 08:28 -0500
Re: I will write a new paper anchoring my ideas in proof theoretic semantics Mikko <mikko.levanto@iki.fi> - 2026-04-19 12:01 +0300
csiph-web