Re: Why do people here insist on denying these verified facts?

From	Mikko <mikko.levanto@iki.fi>
Newsgroups	comp.theory
Subject	Re: Why do people here insist on denying these verified facts?
Date	2024-06-29 10:44 +0300
Organization	-
Message-ID	<v5oe19$3quod$1@dont-email.me> (permalink)
References	(18 earlier) <v5h1bo$24jbd$1@dont-email.me> <v5j2qu$2kgmo$1@dont-email.me> <v5k6sv$2qsdr$3@dont-email.me> <v5ltqp$394ns$1@dont-email.me> <v5miqm$3cibm$2@dont-email.me>

Show all headers | View raw

On 2024-06-28 14:54:14 +0000, olcott said:

> On 6/28/2024 3:55 AM, Mikko wrote:
>> On 2024-06-27 17:18:23 +0000, olcott said:
>> 
>>> On 6/27/2024 2:02 AM, Mikko wrote:
>>>> On 2024-06-26 12:25:28 +0000, olcott said:
>>>> 
>>>>> 
>>>>> I will use your system of reasoning.
>>>>> The semantics of decimal arithmetic prove that 2 + 3 = 5.
>>>> 
>>>> You nave not shown the proof.
>>> 
>>> That is a stupid thing to say.
>> 
> 
> The details of common knowledge of self-evident truth
> are never required to be provided, not even in patents.

What is regarded as common knowledge depends on the target audience.
It also depends on what you agree. In comp.theory you can regrard
all commonly used textbooks on computation theory as common knowledge
as long as you agree with everyting they say.

> When I say that this is proven by the semantics of the
> x86 language then the entire semantics of the x86 language
> is incorporated by reference.

The x86 semantics is not common knowledge in comp.theory. Claims about
x86 semantics need not be accepted as truth unless supported by a pointer
to the relevant point in Intel's documentation.

>> No, it is not. Sometimes it is important to say the obvious. Of course,
>> other things should be said, too, though not necessarily at the same time.
>> 
>>> When you try to disagree with arithmetic that proves
>>> you are a troll that wants to infinitely delay any and
>>> all closure at the possible expense of life on Earth.
>> 
>> That "when" refers to 'never'.
>> 
> 
> You just did do this:
>  >>> You nave (typo for "have") not shown the proof.

Thanks. Fortunately you got the intended meaning.

>>> The same system of reasoning that I use to show how
>>> the input to H0(DD) does not halt.
>> 
>> True, but your reasoning is not good enough for serious use.
>> 
> We could say that this is true:
> 2 + 3 = 5 and get into an infinite debate about
> exactly what the English word "this" means.

Indeed we could. Though people who prefer to talk about details of
English semantics usually prefer less mathematical examples.

> A dishonest deflection like Trump did on two key
> questions last night. He also flat out lied in
> most of his answers.

He has a good knowledge about the claims voters want to hear and how
much they care abotu truth.

>>> *Truth preserving operations applied to expressions of*
>>> *language known to be true*
>> 
>> Yes, as long as you don't provide that you have proven nothing.
> 
> If you don't sufficiently understand the x86 language then
> we can stop right here.

Yes, we can stay here until you prove something.

-- 
Mikko

Thread

Why do people here insist on denying these verified facts? olcott <polcott333@gmail.com> - 2024-06-22 09:31 -0500
  Re: Why do people here insist on denying these verified facts? Richard Damon <richard@damon-family.org> - 2024-06-22 10:42 -0400
    Re: Why do people here insist on denying these verified facts? olcott <polcott333@gmail.com> - 2024-06-22 10:16 -0500
      Re: Why do people here insist on denying these verified facts? Richard Damon <richard@damon-family.org> - 2024-06-22 11:29 -0400
        Re: Why do people here insist on denying these verified facts? olcott <polcott333@gmail.com> - 2024-06-22 11:12 -0500
          Re: Why do people here insist on denying these verified facts? Richard Damon <richard@damon-family.org> - 2024-06-22 13:08 -0400
      Re: Why do people here insist on denying these verified facts? joes <noreply@example.com> - 2024-06-22 16:03 +0000
        Re: Why do people here insist on denying these verified facts? olcott <polcott333@gmail.com> - 2024-06-22 11:18 -0500
          Re: Why do people here insist on denying these verified facts? Richard Damon <richard@damon-family.org> - 2024-06-22 13:13 -0400
            Re: Why do people here insist on denying these verified facts? olcott <polcott333@gmail.com> - 2024-06-22 12:29 -0500
              Re: Why do people here insist on denying these verified facts? Richard Damon <richard@damon-family.org> - 2024-06-22 14:43 -0400
                Re: Why do people here insist on denying these verified facts? olcott <polcott333@gmail.com> - 2024-06-22 13:49 -0500
                Re: Why do people here insist on denying these verified facts? Richard Damon <richard@damon-family.org> - 2024-06-22 14:55 -0400
                Re: Why do people here insist on denying these verified facts? olcott <polcott333@gmail.com> - 2024-06-22 14:03 -0500
                Re: Why do people here insist on denying these verified facts? Richard Damon <richard@damon-family.org> - 2024-06-22 15:19 -0400
                Re: Why do people here insist on denying these verified facts? olcott <polcott333@gmail.com> - 2024-06-22 14:35 -0500
                Re: Why do people here insist on denying these verified facts? Richard Damon <richard@damon-family.org> - 2024-06-22 15:43 -0400
                Re: Why do people here insist on denying these verified facts? olcott <polcott333@gmail.com> - 2024-06-22 14:49 -0500
                Re: Why do people here insist on denying these verified facts? Richard Damon <richard@damon-family.org> - 2024-06-22 16:08 -0400
                Re: Why do people here insist on denying these verified facts? olcott <polcott333@gmail.com> - 2024-06-22 18:59 -0500
                Re: Why do people here insist on denying these verified facts? Richard Damon <richard@damon-family.org> - 2024-06-22 20:19 -0400
                Re: Why do people here insist on denying these verified facts? olcott <polcott333@gmail.com> - 2024-06-22 22:37 -0500
                Re: Why do people here insist on denying these verified facts? Richard Damon <richard@damon-family.org> - 2024-06-23 07:28 -0400
                Re: Why do people here insist on denying these verified facts? olcott <polcott333@gmail.com> - 2024-06-23 08:36 -0500
                Re: Why do people here insist on denying these verified facts? Richard Damon <richard@damon-family.org> - 2024-06-23 14:22 -0400
                Re: Why do people here insist on denying these verified facts? joes <noreply@example.com> - 2024-06-22 20:01 +0000
                Re: Why do people here insist on denying these verified facts? olcott <polcott333@gmail.com> - 2024-06-22 18:57 -0500
                Re: Why do people here insist on denying these verified facts? Richard Damon <richard@damon-family.org> - 2024-06-22 20:07 -0400
                Re: Why do people here insist on denying these verified facts? olcott <polcott333@gmail.com> - 2024-06-22 19:09 -0500
                Re: Why do people here insist on denying these verified facts? Richard Damon <richard@damon-family.org> - 2024-06-22 20:26 -0400
                Re: Why do people here insist on denying these verified facts? olcott <polcott333@gmail.com> - 2024-06-22 22:46 -0500
                Re: Why do people here insist on denying these verified facts? Richard Damon <richard@damon-family.org> - 2024-06-23 07:28 -0400
                Re: Why do people here insist on denying these verified facts? olcott <polcott333@gmail.com> - 2024-06-23 08:37 -0500
                Re: Why do people here insist on denying these verified facts? Richard Damon <richard@damon-family.org> - 2024-06-23 14:22 -0400
                Re: Why do people here insist on denying these verified facts? joes <noreply@example.com> - 2024-06-25 09:20 +0000
                Re: Why do people here insist on denying these verified facts? Mikko <mikko.levanto@iki.fi> - 2024-06-23 12:50 +0300
                Re: Why do people here insist on denying these verified facts? olcott <polcott333@gmail.com> - 2024-06-23 08:25 -0500
                Re: Why do people here insist on denying these verified facts? Mikko <mikko.levanto@iki.fi> - 2024-06-24 10:31 +0300
                Re: Why do people here insist on denying these verified facts? olcott <polcott333@gmail.com> - 2024-06-24 08:52 -0500
                Re: Why do people here insist on denying these verified facts? Richard Damon <richard@damon-family.org> - 2024-06-24 19:20 -0400
                Re: Why do people here insist on denying these verified facts? Mikko <mikko.levanto@iki.fi> - 2024-06-25 12:42 +0300
                Re: Why do people here insist on denying these verified facts? olcott <polcott333@gmail.com> - 2024-06-25 08:29 -0500
                Re: Why do people here insist on denying these verified facts? Richard Damon <richard@damon-family.org> - 2024-06-25 21:47 -0400
                Re: Why do people here insist on denying these verified facts? Mikko <mikko.levanto@iki.fi> - 2024-06-26 10:41 +0300
                Re: Why do people here insist on denying these verified facts? olcott <polcott333@gmail.com> - 2024-06-26 07:25 -0500
                Re: Why do people here insist on denying these verified facts? Mikko <mikko.levanto@iki.fi> - 2024-06-27 10:02 +0300
                Re: Why do people here insist on denying these verified facts? olcott <polcott333@gmail.com> - 2024-06-27 12:18 -0500
                Re: Why do people here insist on denying these verified facts? Richard Damon <richard@damon-family.org> - 2024-06-27 19:57 -0400
                Re: Why do people here insist on denying these verified facts? Mikko <mikko.levanto@iki.fi> - 2024-06-28 11:55 +0300
                Re: Why do people here insist on denying these verified facts? olcott <polcott333@gmail.com> - 2024-06-28 09:54 -0500
                Re: Why do people here insist on denying these verified facts? Richard Damon <richard@damon-family.org> - 2024-06-28 23:49 -0400
                Re: Why do people here insist on denying these verified facts? Mikko <mikko.levanto@iki.fi> - 2024-06-29 10:44 +0300
          Re: Why do people here insist on denying these verified facts? joes <noreply@example.com> - 2024-06-25 20:41 +0000
            Re: Why do people here insist on denying these verified facts? olcott <polcott333@gmail.com> - 2024-06-25 16:24 -0500
              Re: Why do people here insist on denying these verified facts? Richard Damon <richard@damon-family.org> - 2024-06-25 21:47 -0400
              Re: Why do people here insist on denying these verified facts? Mikko <mikko.levanto@iki.fi> - 2024-06-26 10:46 +0300
                Re: Why do people here insist on denying these verified facts? olcott <polcott333@gmail.com> - 2024-06-26 07:45 -0500
                Re: Why do people here insist on denying these verified facts? Richard Damon <richard@damon-family.org> - 2024-06-26 19:41 -0400
                Re: Why do people here insist on denying these verified facts? Mikko <mikko.levanto@iki.fi> - 2024-06-27 10:06 +0300
                Re: Why do people here insist on denying these verified facts? olcott <polcott333@gmail.com> - 2024-06-27 14:19 -0500
              Re: Why do people here insist on denying these verified facts? joes <noreply@example.com> - 2024-06-26 08:19 +0000
  Re: Why do people here insist on denying these verified facts? Mikko <mikko.levanto@iki.fi> - 2024-06-23 12:42 +0300
    Re: Why do people here insist on denying these verified facts? olcott <polcott333@gmail.com> - 2024-06-23 08:23 -0500
      Re: Why do people here insist on denying these verified facts? Mikko <mikko.levanto@iki.fi> - 2024-06-24 10:32 +0300
        Re: Why do people here insist on denying these verified facts? olcott <polcott333@gmail.com> - 2024-06-24 08:50 -0500
          Re: Why do people here insist on denying these verified facts? immibis <news@immibis.com> - 2024-06-24 16:03 +0200
            Re: Why do people here insist on denying these verified facts? Mikko <mikko.levanto@iki.fi> - 2024-06-25 12:48 +0300
              Re: Why do people here insist on denying these verified facts? olcott <polcott333@gmail.com> - 2024-06-25 08:19 -0500
                Re: Why do people here insist on denying these verified facts? Richard Damon <richard@damon-family.org> - 2024-06-25 21:47 -0400
                Re: Why do people here insist on denying these verified facts? Mikko <mikko.levanto@iki.fi> - 2024-06-26 10:54 +0300
                Re: Why do people here insist on denying these verified facts? olcott <polcott333@gmail.com> - 2024-06-26 07:53 -0500
                Re: Why do people here insist on denying these verified facts? Richard Damon <richard@damon-family.org> - 2024-06-26 19:41 -0400
                Re: Why do people here insist on denying these verified facts? Mikko <mikko.levanto@iki.fi> - 2024-06-27 10:18 +0300
                Re: Why do people here insist on denying these verified facts? olcott <polcott333@gmail.com> - 2024-06-27 14:42 -0500
                Re: Why do people here insist on denying these verified facts? Richard Damon <richard@damon-family.org> - 2024-06-27 19:57 -0400
                Re: Why do people here insist on denying these verified facts? Mikko <mikko.levanto@iki.fi> - 2024-06-28 12:06 +0300
                Re: Why do people here insist on denying these verified facts? olcott <polcott333@gmail.com> - 2024-06-28 10:07 -0500
                Re: Why do people here insist on denying these verified facts? Mikko <mikko.levanto@iki.fi> - 2024-06-29 10:47 +0300
          Re: Why do people here insist on denying these verified facts? Richard Damon <richard@damon-family.org> - 2024-06-24 19:21 -0400
          Re: Why do people here insist on denying these verified facts? Mikko <mikko.levanto@iki.fi> - 2024-06-25 12:47 +0300
      Re: Why do people here insist on denying these verified facts? joes <noreply@example.com> - 2024-06-25 08:54 +0000

csiph-web