On 12/07/2026 19:56, olcott wrote:It seems that most people are too fucking stupidOn 7/12/2026 11:48 AM, Alan Mackenzie wrote:It is not as important as you seem to think. Democracy has collapsed[ Followup-To: set ]>
>
In comp.theory olcott <polcott333@gmail.com> wrote:On 7/12/2026 9:30 AM, Alan Mackenzie wrote:>In comp.theory olcott <polcott333@gmail.com> wrote:On 7/12/2026 3:11 AM, Fred. Zwarts wrote:If I am correct Olcott wants to build a system such that it will
convince everybody of the truth. E.g. he thinks that he will be able to
prove that the 'Trump sentence'" 'Trump lost the elections in 2020
because of fraud' is not true.>A few questions:>1) How many petabytes of basic-facts and rules does he need to construct
his proof?>2) Given that even after 20 years he did not convince anyone about the
correctness of one 'basic fact', how many peta-years do you think he
needs to convince a believer of the Trump sentence that all his basic
facts and rules are correct?>3) How is Olcott going to prove that his system is correct? His system
is not able to prove its own correctness, because of a self- reference.>This aspect can be implemented manually by carefully
searching for the answer to this one question:>Was there any actual evidence of election fraud
that could have possibly change the outcome of
the 2020 presidential election?>No, you've completely missed the point of Fred's question. His question
wasn't about the 2020 USA election; that was just used as an example.
Fred's question was about how are you going to prove your ENTIRE SYSTEM
is correct?
>This is best understood by how the single example>
is proved correct.
Rubbish! A single example may be proven correct, but that has no bearing
on the correctness of the whole system.
It is a very important example that does determine
the fate of our whole Democracy.
may times in many places but has survived elseqhere and has many times
been restored where it has collapsed.
It is possible that federal democracy collapses in United States. At
least some states may try to keep their internal democracy or their
freedom or both, which may result in disintegration of the union,
much like happened in Mexico with the consequence that Texas switched
to another state.
But something unrelated could cause the collapse anyway even if your
example question could be fullly convincingly answered.
to get this
Claims without supporting evidence cannot
be correctly accepted as true.
--
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 general knowledge.
The complete structure of this system is now defined.
The entire body of knowledge expressed in language is
comprised of two types of relations between finite strings:
(a) *Axioms* Expressions of language that are stipulated to be true.
My system bridges the analytic/synthetic distinction by
expressly encoding all empirical "atomic facts" in a formal
language such as CycL of the Cyc project.
(b) *Inference Rules* Expressions of language that are semantically
entailed syntactically from (a) and/or (b).
Les messages affichés proviennent d'usenet.