Re: How to define '=' in expression "a=b"?

From	Peter <peterxpercival@hotmail.com>
Newsgroups	comp.theory
Subject	Re: How to define '=' in expression "a=b"?
Date	2021-07-22 17:20 +0100
Organization	Aioe.org NNTP Server
Message-ID	<sdc5rp$183a$3@gioia.aioe.org> (permalink)
References	(2 earlier) <13985d26-7898-4658-9084-ecb836097df3n@googlegroups.com> <sd4dlj$13sn$1@gioia.aioe.org> <87e4f633-fe5a-4045-a60a-179ae45d550fn@googlegroups.com> <sdbntl$84g$1@gioia.aioe.org> <2e0167dc-6197-4215-a354-fe2242445fa6n@googlegroups.com>

Show all headers | View raw

wij wrote:
> On Thursday, 22 July 2021 at 20:22:16 UTC+8, Peter wrote:
>> wij wrote:
>>> On Tuesday, 20 July 2021 at 01:44:22 UTC+8, Peter wrote:
>>>> wij wrote:
>>>>
>>>>> I quickly scanned all possible books related to your "formal logic",...none.
>>>>> The '=' is basically used unexplained.
>>>> I doubt it!
>>>> -- 
>>>> The world will little note, nor long remember what we say here
>>>> Abraham Lincoln at Gettysburg
>>>
>>> Show what's in your book, it should be less than 2 lines.
>>>
>> I have numerous books on logic. It is more than two lines in the few I
>> looked at before answering.
>> -- 
>> The world will little note, nor long remember what we say here
>> Abraham Lincoln at Gettysburg
> 
> Yes, I found several plausible ones on internet.
> But, which one can be used to define irrational numbers better?
> 

Hold on a minute!  It is not the job of logic to define irrational 
numbers!  There is a famous book by Landau that does that.  (And many an 
algebra text...)

-- 
The world will little note, nor long remember what we say here
Abraham Lincoln at Gettysburg

Thread

How to define '=' in expression "a=b"? wij <wyniijj@gmail.com> - 2021-07-18 18:21 -0700
  Re: How to define '=' in expression "a=b"? Charlie-Boo <shymathguy@gmail.com> - 2021-07-19 08:00 -0700
  Re: How to define '=' in expression "a=b"? Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-19 16:06 +0100
    Re: How to define '=' in expression "a=b"? wij <wyniijj@gmail.com> - 2021-07-19 10:24 -0700
      Re: How to define '=' in expression "a=b"? Peter <peterxpercival@hotmail.com> - 2021-07-19 18:44 +0100
        Re: How to define '=' in expression "a=b"? wij <wyniijj@gmail.com> - 2021-07-19 18:28 -0700
          Re: How to define '=' in expression "a=b"? Peter <peterxpercival@hotmail.com> - 2021-07-22 13:22 +0100
            Re: How to define '=' in expression "a=b"? wij <wyniijj@gmail.com> - 2021-07-22 07:25 -0700
              Re: How to define '=' in expression "a=b"? Peter <peterxpercival@hotmail.com> - 2021-07-22 17:20 +0100
      Re: How to define '=' in expression "a=b"? Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-19 21:45 +0100
        Re: How to define '=' in expression "a=b"? wij <wyniijj@gmail.com> - 2021-07-19 18:30 -0700
          Re: How to define '=' in expression "a=b"? Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-20 11:18 +0100
      Re: How to define '=' in expression "a=b"? Charlie-Boo <shymathguy@gmail.com> - 2021-07-22 08:26 -0700
        Re: How to define '=' in expression "a=b"? wij <wyniijj@gmail.com> - 2021-07-22 09:41 -0700
    Re: How to define '=' in expression "a=b"? Charlie-Boo <shymathguy@gmail.com> - 2021-07-22 08:19 -0700
    Re: How to define '=' in expression "a=b"? Charlie-Boo <shymathguy@gmail.com> - 2021-07-22 08:51 -0700
      Re: How to define '=' in expression "a=b"? Charlie-Boo <shymathguy@gmail.com> - 2021-07-22 08:52 -0700
  Re: How to define '=' in expression "a=b"? Peter <peterxpercival@hotmail.com> - 2021-07-19 18:28 +0100
    Re: How to define '=' in expression "a=b"? wij <wyniijj@gmail.com> - 2021-07-19 18:27 -0700
      Re: How to define '=' in expression "a=b"? Charlie-Boo <shymathguy@gmail.com> - 2021-07-22 08:30 -0700
    Re: How to define '=' in expression "a=b"? Charlie-Boo <shymathguy@gmail.com> - 2021-07-22 08:23 -0700
  Re: How to define '=' in expression "a=b"? Jeff Barnett <jbb@notatt.com> - 2021-07-19 14:41 -0600
    Re: How to define '=' in expression "a=b"? wij <wyniijj@gmail.com> - 2021-07-19 19:52 -0700
      Re: How to define '=' in expression "a=b"? Jeff Barnett <jbb@notatt.com> - 2021-07-19 22:04 -0600
        Re: How to define '=' in expression "a=b"? wij <wyniijj@gmail.com> - 2021-07-21 20:14 -0700
      Re: How to define '=' in expression "a=b"? Peter <peterxpercival@hotmail.com> - 2021-07-22 13:24 +0100
        Re: How to define '=' in expression "a=b"? wij <wyniijj@gmail.com> - 2021-07-22 07:26 -0700
          Re: How to define '=' in expression "a=b"? Peter <peterxpercival@hotmail.com> - 2021-07-22 17:16 +0100
  Re: How to define '=' in expression "a=b"? olcott <NoOne@NoWhere.com> - 2021-07-22 10:17 -0500
    Re: How to define '=' in expression "a=b"? wij <wyniijj@gmail.com> - 2021-07-22 09:31 -0700
      Re: How to define '=' in expression "a=b"? olcott <NoOne@NoWhere.com> - 2021-07-22 11:44 -0500
        Re: How to define '=' in expression "a=b"? wij <wyniijj@gmail.com> - 2021-07-22 09:52 -0700
          Re: How to define '=' in expression "a=b"? olcott <NoOne@NoWhere.com> - 2021-07-22 12:01 -0500
            Re: How to define '=' in expression "a=b"? Peter <peterxpercival@hotmail.com> - 2021-07-22 19:13 +0100
              Re: How to define '=' in expression "a=b"? Richard Damon <Richard@Damon-Family.org> - 2021-07-22 11:24 -0700
              Re: How to define '=' in expression "a=b"? [ Gödel as Tarski ] olcott <NoOne@NoWhere.com> - 2021-07-24 13:18 -0500
            Re: How to define '=' in expression "a=b"? Peter <peterxpercival@hotmail.com> - 2021-07-24 18:57 +0100
              Re: How to define '=' in expression "a=b"? Jeff Barnett <jbb@notatt.com> - 2021-07-24 12:12 -0600
                Re: How to define '=' in expression "a=b"? olcott <NoOne@NoWhere.com> - 2021-07-24 13:33 -0500
                Re: How to define '=' in expression "a=b"? Jeff Barnett <jbb@notatt.com> - 2021-07-24 15:56 -0600
                Re: How to define '=' in expression "a=b"? olcott <NoOne@NoWhere.com> - 2021-07-24 17:05 -0500
                Re: How to define '=' in expression "a=b"? Jeff Barnett <jbb@notatt.com> - 2021-07-24 16:13 -0600
                Re: How to define '=' in expression "a=b"? Richard Damon <Richard@Damon-Family.org> - 2021-07-24 19:52 -0700
              Re: How to define '=' in expression "a=b"? ? [ Gödel as Tarski ] olcott <NoOne@NoWhere.com> - 2021-07-24 13:27 -0500
                Re: How to define '=' in expression "a=b"? ? [ Gödel as Tarski ] Peter <peterxpercival@hotmail.com> - 2021-07-25 12:59 +0100
                Re: How to define '=' in expression "a=b"? ? [ Gödel as Tarski ] olcott <NoOne@NoWhere.com> - 2021-07-25 10:13 -0500
                Re: How to define '=' in expression "a=b"? ? [ Gödel as Tarski ] André G. Isaak <agisaak@gm.invalid> - 2021-07-25 09:55 -0600
                Re: How to define '=' in expression "a=b"? ? [ Gödel as Tarski ] olcott <NoOne@NoWhere.com> - 2021-07-25 11:23 -0500
                Re: How to define '=' in expression "a=b"? ? [ Gödel as Tarski ] André G. Isaak <agisaak@gm.invalid> - 2021-07-25 10:51 -0600
                Re: How to define '=' in expression "a=b"? ? [ Gödel as Tarski ] olcott <NoOne@NoWhere.com> - 2021-07-25 12:02 -0500
                Re: How to define '=' in expression "a=b"? ? [ Gödel as Tarski ] André G. Isaak <agisaak@gm.invalid> - 2021-07-25 11:40 -0600
                Re: How to define '=' in expression "a=b"? ? [ Gödel as Tarski ] olcott <NoOne@NoWhere.com> - 2021-07-25 13:05 -0500
                Re: How to define '=' in expression "a=b"? ? [ Gödel as Tarski ] André G. Isaak <agisaak@gm.invalid> - 2021-07-25 13:07 -0600
        Re: How to define '=' in expression "a=b"? Richard Damon <Richard@Damon-Family.org> - 2021-07-22 10:28 -0700

csiph-web