Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

"It is easier to fight for principles than to live up to them." -- Alfred Adler


tech / sci.math / Re: Fire the entire Cornell Univ math dept-- unable to even teach Add in Logic is not OR but rather is AND

SubjectAuthor
* Re: Fire the entire Cornell Univ math dept-- unable to even teach AddMostowski Collapse
`* Re: Fire the entire Cornell Univ math dept-- unable to even teach AddDan Christensen
 `* Re: Fire the entire Cornell Univ math dept-- unable to even teach AddMostowski Collapse
  `* Re: Fire the entire Cornell Univ math dept-- unable to even teach AddDan Christensen
   +* Re: Fire the entire Cornell Univ math dept-- unable to even teach AddMostowski Collapse
   |`- Re: Fire the entire Cornell Univ math dept-- unable to even teach AddMostowski Collapse
   `- Re: Fire the entire Cornell Univ math dept-- unable to even teach AddAubry Muso

1
Re: Fire the entire Cornell Univ math dept-- unable to even teach Add in Logic is not OR but rather is AND

<b9e30db9-2995-4c10-92b7-164dfb683dfan@googlegroups.com>

 copy mid

https://www.novabbs.com/tech/article-flat.php?id=100107&group=sci.math#100107

 copy link   Newsgroups: sci.math
X-Received: by 2002:ac8:7d87:0:b0:2f3:edba:a84a with SMTP id c7-20020ac87d87000000b002f3edbaa84amr11325593qtd.186.1652599984622;
Sun, 15 May 2022 00:33:04 -0700 (PDT)
X-Received: by 2002:a25:3247:0:b0:64c:3c89:511b with SMTP id
y68-20020a253247000000b0064c3c89511bmr7887307yby.357.1652599984389; Sun, 15
May 2022 00:33:04 -0700 (PDT)
Path: i2pn2.org!i2pn.org!aioe.org!news.uzoreto.com!feeder1.cambriumusenet.nl!feed.tweak.nl!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Sun, 15 May 2022 00:33:04 -0700 (PDT)
In-Reply-To: <ddfe45de-e5e6-42e2-a01b-08d268cf2955@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.70; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.53.70
References: <6088d408-efbf-42ef-a8f8-0eb190a76a0b@googlegroups.com> <ddfe45de-e5e6-42e2-a01b-08d268cf2955@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <b9e30db9-2995-4c10-92b7-164dfb683dfan@googlegroups.com>
Subject: Re: Fire the entire Cornell Univ math dept-- unable to even teach Add
in Logic is not OR but rather is AND
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Sun, 15 May 2022 07:33:04 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Mostowski Collapse - Sun, 15 May 2022 07:33 UTC

Students Beware: Dan Christensen is the crank who doesn't
understand how to define Even = even natural numbers.

Dan Christensen schrieb am Donnerstag, 9. November 2017 um 22:00:47 UTC+1:
> Archie Pu is a crank and a troll. He can't tell the difference between AND and OR,
> and doesn't want to know. So, if you don't want to know the difference either, read on!

Re: Fire the entire Cornell Univ math dept-- unable to even teach Add in Logic is not OR but rather is AND

<a95aaec7-6065-4186-a695-85ea9c2b473dn@googlegroups.com>

 copy mid

https://www.novabbs.com/tech/article-flat.php?id=100135&group=sci.math#100135

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:6214:5008:b0:45b:82:6ef with SMTP id jo8-20020a056214500800b0045b008206efmr12461888qvb.87.1652634592225;
Sun, 15 May 2022 10:09:52 -0700 (PDT)
X-Received: by 2002:a81:1f8b:0:b0:2f8:5846:445e with SMTP id
f133-20020a811f8b000000b002f85846445emr16012630ywf.50.1652634592094; Sun, 15
May 2022 10:09:52 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Sun, 15 May 2022 10:09:51 -0700 (PDT)
In-Reply-To: <b9e30db9-2995-4c10-92b7-164dfb683dfan@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=163.182.226.42; posting-account=OWfgwwgAAADQpH2XgMDMe2wuQ7OFPXlE
NNTP-Posting-Host: 163.182.226.42
References: <6088d408-efbf-42ef-a8f8-0eb190a76a0b@googlegroups.com>
<ddfe45de-e5e6-42e2-a01b-08d268cf2955@googlegroups.com> <b9e30db9-2995-4c10-92b7-164dfb683dfan@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <a95aaec7-6065-4186-a695-85ea9c2b473dn@googlegroups.com>
Subject: Re: Fire the entire Cornell Univ math dept-- unable to even teach Add
in Logic is not OR but rather is AND
From: Dan_Chri...@sympatico.ca (Dan Christensen)
Injection-Date: Sun, 15 May 2022 17:09:52 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: Dan Christensen - Sun, 15 May 2022 17:09 UTC

On Sunday, May 15, 2022 at 3:33:09 AM UTC-4, Mostowski Collapse wrote:
> Students Beware: Dan Christensen is the crank who doesn't
> understand how to define Even = even natural numbers.
>

The troll, Jan Burse, with his wonky definition, is unable to distinguish between cases when Even(x) is false (e.g. when x=1) and Even(x) is undefined (e.g. when x=1/2). According to him, we should be able to determine the evenness of every object in the object in the universe. He has much in common his little buddy and fellow troll, Archie Poo, here.

Dan

Re: Fire the entire Cornell Univ math dept-- unable to even teach Add in Logic is not OR but rather is AND

<63bd50d9-fb13-47d4-8aef-ce5f306d779cn@googlegroups.com>

 copy mid

https://www.novabbs.com/tech/article-flat.php?id=100137&group=sci.math#100137

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:622a:92:b0:2f3:ca38:e846 with SMTP id o18-20020a05622a009200b002f3ca38e846mr12735709qtw.94.1652634904039;
Sun, 15 May 2022 10:15:04 -0700 (PDT)
X-Received: by 2002:a25:a2c4:0:b0:64d:a91b:7d8 with SMTP id
c4-20020a25a2c4000000b0064da91b07d8mr1845283ybn.212.1652634903895; Sun, 15
May 2022 10:15:03 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Sun, 15 May 2022 10:15:03 -0700 (PDT)
In-Reply-To: <a95aaec7-6065-4186-a695-85ea9c2b473dn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.70; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.53.70
References: <6088d408-efbf-42ef-a8f8-0eb190a76a0b@googlegroups.com>
<ddfe45de-e5e6-42e2-a01b-08d268cf2955@googlegroups.com> <b9e30db9-2995-4c10-92b7-164dfb683dfan@googlegroups.com>
<a95aaec7-6065-4186-a695-85ea9c2b473dn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <63bd50d9-fb13-47d4-8aef-ce5f306d779cn@googlegroups.com>
Subject: Re: Fire the entire Cornell Univ math dept-- unable to even teach Add
in Logic is not OR but rather is AND
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Sun, 15 May 2022 17:15:04 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2402
 by: Mostowski Collapse - Sun, 15 May 2022 17:15 UTC

Thank you for bringing this important subject to our attention.
You have also everything applicable to this test in DC Proof:

a e N

Or to the quantifier here:

16 ALL(a):[Odd(a) <=> ~Even(a)]
Axiom
https://dcproof.com/EvenNextOdd.htm

For example, to a fish or a bicycle. How weird is that?

LMAO!

Dan Christensen schrieb am Sonntag, 15. Mai 2022 um 19:09:56 UTC+2:
> On Sunday, May 15, 2022 at 3:33:09 AM UTC-4, Mostowski Collapse wrote:
> > Students Beware: Dan Christensen is the crank who doesn't
> > understand how to define Even = even natural numbers.
> >
> The troll, Jan Burse, with his wonky definition, is unable to distinguish between cases when Even(x) is false (e.g. when x=1) and Even(x) is undefined (e.g. when x=1/2). According to him, we should be able to determine the evenness of every object in the object in the universe. He has much in common his little buddy and fellow troll, Archie Poo, here.
>
> Dan

Re: Fire the entire Cornell Univ math dept-- unable to even teach Add in Logic is not OR but rather is AND

<742c4cc1-e8e0-4b81-9132-6cc054382158n@googlegroups.com>

 copy mid

https://www.novabbs.com/tech/article-flat.php?id=100142&group=sci.math#100142

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:620a:2552:b0:67b:32e2:2400 with SMTP id s18-20020a05620a255200b0067b32e22400mr9583735qko.768.1652637384829;
Sun, 15 May 2022 10:56:24 -0700 (PDT)
X-Received: by 2002:a25:cdc7:0:b0:648:f57d:c0ed with SMTP id
d190-20020a25cdc7000000b00648f57dc0edmr14421859ybf.480.1652637384658; Sun, 15
May 2022 10:56:24 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Sun, 15 May 2022 10:56:24 -0700 (PDT)
In-Reply-To: <63bd50d9-fb13-47d4-8aef-ce5f306d779cn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=163.182.226.42; posting-account=OWfgwwgAAADQpH2XgMDMe2wuQ7OFPXlE
NNTP-Posting-Host: 163.182.226.42
References: <6088d408-efbf-42ef-a8f8-0eb190a76a0b@googlegroups.com>
<ddfe45de-e5e6-42e2-a01b-08d268cf2955@googlegroups.com> <b9e30db9-2995-4c10-92b7-164dfb683dfan@googlegroups.com>
<a95aaec7-6065-4186-a695-85ea9c2b473dn@googlegroups.com> <63bd50d9-fb13-47d4-8aef-ce5f306d779cn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <742c4cc1-e8e0-4b81-9132-6cc054382158n@googlegroups.com>
Subject: Re: Fire the entire Cornell Univ math dept-- unable to even teach Add
in Logic is not OR but rather is AND
From: Dan_Chri...@sympatico.ca (Dan Christensen)
Injection-Date: Sun, 15 May 2022 17:56:24 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2770
 by: Dan Christensen - Sun, 15 May 2022 17:56 UTC

On Sunday, May 15, 2022 at 1:15:08 PM UTC-4, Mostowski Collapse wrote:

> Dan Christensen schrieb am Sonntag, 15. Mai 2022 um 19:09:56 UTC+2:
> > On Sunday, May 15, 2022 at 3:33:09 AM UTC-4, Mostowski Collapse wrote:
> > > Students Beware: Dan Christensen is the crank who doesn't
> > > understand how to define Even = even natural numbers.
> > >
> > The troll, Jan Burse, with his wonky definition, is unable to distinguish between cases when Even(x) is false (e.g. when x=1) and Even(x) is undefined (e.g. when x=1/2). According to him, we should be able to determine the evenness of every object in the object in the universe. He has much in common with his little buddy and fellow troll, Archie Poo, here.
> >

> Thank you for bringing this important subject to our attention.
> You have also everything applicable to this test in DC Proof:
>
> a e N
>

Fail that test and, as you would expect, you cannot determine the truth value of Even(a). It would be UNDEFINED. Deal with it, Jan Burse. Just admit you were wrong and move on. You are looking like a complete idiot here.

Dan

Download my DC Proof 2.0 freeware at http://www.dcproof.com
Visit my Math Blog at http://www.dcproof.wordpress.com

Re: Fire the entire Cornell Univ math dept-- unable to even teach Add in Logic is not OR but rather is AND

<ffd54e9e-1904-4749-b72a-b2ed25bac0f6n@googlegroups.com>

 copy mid

https://www.novabbs.com/tech/article-flat.php?id=100143&group=sci.math#100143

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:620a:2903:b0:6a0:4d8f:8b88 with SMTP id m3-20020a05620a290300b006a04d8f8b88mr9985002qkp.328.1652638656712;
Sun, 15 May 2022 11:17:36 -0700 (PDT)
X-Received: by 2002:a25:8f90:0:b0:648:84d1:1431 with SMTP id
u16-20020a258f90000000b0064884d11431mr13376082ybl.483.1652638656472; Sun, 15
May 2022 11:17:36 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Sun, 15 May 2022 11:17:36 -0700 (PDT)
In-Reply-To: <742c4cc1-e8e0-4b81-9132-6cc054382158n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.70; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.53.70
References: <6088d408-efbf-42ef-a8f8-0eb190a76a0b@googlegroups.com>
<ddfe45de-e5e6-42e2-a01b-08d268cf2955@googlegroups.com> <b9e30db9-2995-4c10-92b7-164dfb683dfan@googlegroups.com>
<a95aaec7-6065-4186-a695-85ea9c2b473dn@googlegroups.com> <63bd50d9-fb13-47d4-8aef-ce5f306d779cn@googlegroups.com>
<742c4cc1-e8e0-4b81-9132-6cc054382158n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <ffd54e9e-1904-4749-b72a-b2ed25bac0f6n@googlegroups.com>
Subject: Re: Fire the entire Cornell Univ math dept-- unable to even teach Add
in Logic is not OR but rather is AND
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Sun, 15 May 2022 18:17:36 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 3988
 by: Mostowski Collapse - Sun, 15 May 2022 18:17 UTC

I wouldn't say so. You can make some more theorems
with your axioms, that Euclid cannot do. For example:

fish e pond
-------------------------------------------
Even(fish) <=> ~Odd(fish))

bicycle e street
-----------------------------------------------------------
~Even(bicycle) <=> Odd(bicycle)

Thats provable from your axioms here:
https://dcproof.com/EvenNextOdd.htm

Even fish, odd bicycle, etc..? How weird is that?

Here is a proof:

1 ALL(a):[Odd(a) <=> ~Even(a)]
Axiom

2 fish ε pond
Axiom

3 Odd(fish) <=> ~Even(fish)
U Spec, 1

4 [Odd(fish) => ~Even(fish)] & [~Even(fish) => Odd(fish)]
Iff-And, 3

5 Odd(fish) => ~Even(fish)
Split, 4

6 ~Even(fish) => Odd(fish)
Split, 4

7 ~~Even(fish) => ~Odd(fish)
Contra, 5

8 ~Odd(fish) => ~~Even(fish)
Contra, 6

9 Even(fish) => ~Odd(fish)
Rem DNeg, 7

10 ~Odd(fish) => Even(fish)
Rem DNeg, 8

11 [Even(fish) => ~Odd(fish)]
& [~Odd(fish) => Even(fish)]
Join, 9, 10

12 Even(fish) <=> ~Odd(fish)
Iff-And, 11

Dan Christensen schrieb am Sonntag, 15. Mai 2022 um 19:56:30 UTC+2:
> On Sunday, May 15, 2022 at 1:15:08 PM UTC-4, Mostowski Collapse wrote:
>
> > Dan Christensen schrieb am Sonntag, 15. Mai 2022 um 19:09:56 UTC+2:
> > > On Sunday, May 15, 2022 at 3:33:09 AM UTC-4, Mostowski Collapse wrote:
> > > > Students Beware: Dan Christensen is the crank who doesn't
> > > > understand how to define Even = even natural numbers.
> > > >
> > > The troll, Jan Burse, with his wonky definition, is unable to distinguish between cases when Even(x) is false (e.g. when x=1) and Even(x) is undefined (e.g. when x=1/2). According to him, we should be able to determine the evenness of every object in the object in the universe. He has much in common with his little buddy and fellow troll, Archie Poo, here.
> > >
>
> > Thank you for bringing this important subject to our attention.
> > You have also everything applicable to this test in DC Proof:
> >
> > a e N
> >
> Fail that test and, as you would expect, you cannot determine the truth value of Even(a). It would be UNDEFINED. Deal with it, Jan Burse. Just admit you were wrong and move on. You are looking like a complete idiot here.
>
> Dan
>
> Download my DC Proof 2.0 freeware at http://www.dcproof.com
> Visit my Math Blog at http://www.dcproof.wordpress.com

Re: Fire the entire Cornell Univ math dept-- unable to even teach Add in Logic is not OR but rather is AND

<34dfcd3b-c18f-4a9c-bf21-9e9ec816536cn@googlegroups.com>

 copy mid

https://www.novabbs.com/tech/article-flat.php?id=100144&group=sci.math#100144

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:620a:10a8:b0:69f:8b8b:36d9 with SMTP id h8-20020a05620a10a800b0069f8b8b36d9mr10217261qkk.93.1652638753348;
Sun, 15 May 2022 11:19:13 -0700 (PDT)
X-Received: by 2002:a05:6902:389:b0:633:31c1:d0f7 with SMTP id
f9-20020a056902038900b0063331c1d0f7mr14021574ybs.543.1652638753160; Sun, 15
May 2022 11:19:13 -0700 (PDT)
Path: i2pn2.org!i2pn.org!aioe.org!news.uzoreto.com!peer03.ams4!peer.am4.highwinds-media.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Sun, 15 May 2022 11:19:12 -0700 (PDT)
In-Reply-To: <ffd54e9e-1904-4749-b72a-b2ed25bac0f6n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.70; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.53.70
References: <6088d408-efbf-42ef-a8f8-0eb190a76a0b@googlegroups.com>
<ddfe45de-e5e6-42e2-a01b-08d268cf2955@googlegroups.com> <b9e30db9-2995-4c10-92b7-164dfb683dfan@googlegroups.com>
<a95aaec7-6065-4186-a695-85ea9c2b473dn@googlegroups.com> <63bd50d9-fb13-47d4-8aef-ce5f306d779cn@googlegroups.com>
<742c4cc1-e8e0-4b81-9132-6cc054382158n@googlegroups.com> <ffd54e9e-1904-4749-b72a-b2ed25bac0f6n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <34dfcd3b-c18f-4a9c-bf21-9e9ec816536cn@googlegroups.com>
Subject: Re: Fire the entire Cornell Univ math dept-- unable to even teach Add
in Logic is not OR but rather is AND
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Sun, 15 May 2022 18:19:13 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 5359
 by: Mostowski Collapse - Sun, 15 May 2022 18:19 UTC

Anyway, thank you again for bringing this important subject
to our attention. In the Case 2 definition, in Euclid setting,
you cannot prove nonsense like this:

2 fish ε pond
Axiom

12 Even(fish) <=> ~Odd(fish)
Iff-And, 11

Unless you have pond = n also somewhere. On the
other hand Dan Christensen approach,
which is not a fault of Case 1 versus Case 2, but
yet another fault, can make such irrelevant

theorems. The modelling in:
https://dcproof.com/EvenNextOdd.htm

Lacks some relevance to n. There are better
ways to define a pair Even and Odd, with
keeping the relevance to the natural numbers
intact and not making blunder.

Its exactly a fault he critizes in other people,
but I guess he doesn't see it as a fault, since
he assumes ~UNDEFINED = UNDEFINED,
and then thinks everything is fine?

Mostowski Collapse schrieb am Sonntag, 15. Mai 2022 um 20:17:42 UTC+2:
> I wouldn't say so. You can make some more theorems
> with your axioms, that Euclid cannot do. For example:
>
> fish e pond
> -------------------------------------------
> Even(fish) <=> ~Odd(fish))
>
> bicycle e street
> -----------------------------------------------------------
> ~Even(bicycle) <=> Odd(bicycle)
>
> Thats provable from your axioms here:
> https://dcproof.com/EvenNextOdd.htm
>
> Even fish, odd bicycle, etc..? How weird is that?
>
> Here is a proof:
>
> 1 ALL(a):[Odd(a) <=> ~Even(a)]
> Axiom
>
> 2 fish ε pond
> Axiom
>
> 3 Odd(fish) <=> ~Even(fish)
> U Spec, 1
>
> 4 [Odd(fish) => ~Even(fish)] & [~Even(fish) => Odd(fish)]
> Iff-And, 3
>
> 5 Odd(fish) => ~Even(fish)
> Split, 4
>
> 6 ~Even(fish) => Odd(fish)
> Split, 4
>
> 7 ~~Even(fish) => ~Odd(fish)
> Contra, 5
>
> 8 ~Odd(fish) => ~~Even(fish)
> Contra, 6
>
> 9 Even(fish) => ~Odd(fish)
> Rem DNeg, 7
>
> 10 ~Odd(fish) => Even(fish)
> Rem DNeg, 8
>
> 11 [Even(fish) => ~Odd(fish)]
> & [~Odd(fish) => Even(fish)]
> Join, 9, 10
>
> 12 Even(fish) <=> ~Odd(fish)
> Iff-And, 11
> Dan Christensen schrieb am Sonntag, 15. Mai 2022 um 19:56:30 UTC+2:
> > On Sunday, May 15, 2022 at 1:15:08 PM UTC-4, Mostowski Collapse wrote:
> >
> > > Dan Christensen schrieb am Sonntag, 15. Mai 2022 um 19:09:56 UTC+2:
> > > > On Sunday, May 15, 2022 at 3:33:09 AM UTC-4, Mostowski Collapse wrote:
> > > > > Students Beware: Dan Christensen is the crank who doesn't
> > > > > understand how to define Even = even natural numbers.
> > > > >
> > > > The troll, Jan Burse, with his wonky definition, is unable to distinguish between cases when Even(x) is false (e.g. when x=1) and Even(x) is undefined (e.g. when x=1/2). According to him, we should be able to determine the evenness of every object in the object in the universe. He has much in common with his little buddy and fellow troll, Archie Poo, here.
> > > >
> >
> > > Thank you for bringing this important subject to our attention.
> > > You have also everything applicable to this test in DC Proof:
> > >
> > > a e N
> > >
> > Fail that test and, as you would expect, you cannot determine the truth value of Even(a). It would be UNDEFINED. Deal with it, Jan Burse. Just admit you were wrong and move on. You are looking like a complete idiot here.
> >
> > Dan
> >
> > Download my DC Proof 2.0 freeware at http://www.dcproof.com
> > Visit my Math Blog at http://www.dcproof.wordpress.com

Re: Fire the entire Cornell Univ math dept-- unable to even teach Add in Logic is not OR but rather is AND

<t65ej7$1av3$1@gioia.aioe.org>

 copy mid

https://www.novabbs.com/tech/article-flat.php?id=100481&group=sci.math#100481

 copy link   Newsgroups: sci.math
Followup: sci.physics.relativity
Path: i2pn2.org!i2pn.org!aioe.org!YDFEuAziBcgmq4kczGet1g.user.46.165.242.75.POSTED!not-for-mail
From: rom...@uuumamoa.ya (Aubry Muso)
Newsgroups: sci.math
Subject: Re: Fire the entire Cornell Univ math dept-- unable to even teach Add
in Logic is not OR but rather is AND
Followup-To: sci.physics.relativity
Date: Thu, 19 May 2022 12:52:56 -0000 (UTC)
Organization: Aioe.org NNTP Server
Message-ID: <t65ej7$1av3$1@gioia.aioe.org>
References: <6088d408-efbf-42ef-a8f8-0eb190a76a0b@googlegroups.com>
<ddfe45de-e5e6-42e2-a01b-08d268cf2955@googlegroups.com>
<b9e30db9-2995-4c10-92b7-164dfb683dfan@googlegroups.com>
<a95aaec7-6065-4186-a695-85ea9c2b473dn@googlegroups.com>
<63bd50d9-fb13-47d4-8aef-ce5f306d779cn@googlegroups.com>
<742c4cc1-e8e0-4b81-9132-6cc054382158n@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="44003"; posting-host="YDFEuAziBcgmq4kczGet1g.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (AmigaOS 1.3; en; rv:1.8.1.19) Gecko/20081204
SeaMonkey/1.1.14
X-Face: %M2uS\s$_cMkwrVXsoYpa=RzNOi}3/GbD&c.e}z;F~"{{l<do%vYi&]lPL"XZp/;
3=qv=I?_"{yovIab@hhLCJ;X;Y#S#Y=y+i!=QO7Sdj}z^!56+-Th,F3J1|1!{o_l'nYv(mu
]u5aO9)w`6,)0'{LIt^{SA'X{A7qhie<!V,Y|{*t@,ogMz<<W%;(}8WnN?Vme8&/R+tS'L^
HBHq\{A;Rs>%Ju8PC:1_XATjWPC?;smn"%+^M9F"9GQrho`4`#o[j{GfKJnvx6f+,3oq$7
X-Notice: Filtered by postfilter v. 0.9.2
Face: iVBORw0KGgoAAAANSUhEUgAAADAAAAAwBAMAAAClLOS0AAAAHlBMVEW0lH63m5gm
hqtvmbUmu+2qbWy6wtJ3SE8vLzfT9Pd7qAnYAAACcUlEQVQ4jU2TPW/bMBCGKRR
qVl1TK+jqBojnyqgzp4TRbjIChl1Tq2y1pQ0Iam2FQJoTwDH/bd87yk5v8Mc9PN
7He1RfYtxp/qhCuK+Wuo2NZlNtjBH/dqvAVlU4IkRFBjFeDgMDU/LBnWvWApr4I
4QRxBO5KNYK2O3GELog4DaBmMAlnKMAM3v9H3i6CMk81cq8ewHfJn+oKaP6mvM7
AZd8jfUhKCIqTqpGN6ncBYCxNpisAMjraurjaRyDN8hglOIYVboEHtlvQQCyIiu
pbJ3k2A/ewKw3NYDZEHFVKGHfm2SKrzKGqATAYPfv2ZvjPIOZ3xSbBB4r+OtciV
Gx2cwY6AkkN5JQpopXLUAbPzDARVYqLq3xxBG6uZKZG8t6dH2Grw1HaL3oV93Qs
R5d6EZ02/1KYKwCwPAQfOBm8DugQY7gqXd+QAVkFeWQbKkZfL4I3nf+KwODsmbq
Xgu4mosWJzVqvgO4nV1PgEcy1LlP7ZA7ggVSDOjDy1AKKpYJaF42f5hJRvkBXK3
SJXlWiFKzbAKfALj+Ok0RgKXVa+fgxSaYbBovlQywklhoi5CaCsmBhTgsNZIbz6
0xyRSdLl+A5ewkETXdtLt2AharW0/A5h95GVyKwLgH9CagZ59q1m18Dp51uEsN/
l6uoyi4jk/eI2QwNXeYnWqcFaH01ssbgOwAtNVTBJQSkPZKlaj1EDFw9iHNVp3C
4Y7LIBFpt97q9M6hxthvOYNcRUewQJ391rOfQaHezBOAf/zjVkECMK/sbPx7/gK
+B5aKFx5gHM+PwEkSifrJnnkCD86dgciTov0gJIHS3XK9FuBm3/Pcxn94Q3RBYG
cu0QAAAABJRU5ErkJggg==
 by: Aubry Muso - Thu, 19 May 2022 12:52 UTC

Dan Christensen wrote:

> On Sunday, May 15, 2022 at 1:15:08 PM UTC-4, Mostowski Collapse wrote:
>> > The troll, Jan Burse, with his wonky definition, is unable to
>> > distinguish between cases when Even(x) is false (e.g. when x=1) and
>>
>> Thank you for bringing this important subject to our attention. You
>> have also everything applicable to this test in DC Proof: a e N
> Fail that test and, as you would expect, you cannot determine the truth
> value of Even(a). It would be UNDEFINED. Deal with it, Jan Burse. Just

here you have your nazi, you nazi. Pay attention, there are some
*two_nazi_women* excrement among the terrorists. I guess they sucked alot
of nazi dick along the period journey. Sad the russians are not evil
enough. The "war" had been over two days from start.

Russian Justice for Ukrainian Azov Nazis
https://www.brighteon.com/2a892ebb-832f-458b-a8a5-5c07848369e3

1
server_pubkey.txt

rocksolid light 0.9.7
clearnet tor