Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

Adding manpower to a late software project makes it later. -- F. Brooks, "The Mythical Man-Month"


tech / sci.physics.relativity / Re: Set Equality Axioms in DC Proof

SubjectAuthor
o Re: Set Equality Axioms in DC ProofJeff D'amore

1
Re: Set Equality Axioms in DC Proof

<tf0bvl$2vive$1@dont-email.me>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=96101&group=sci.physics.relativity#96101

  copy link   Newsgroups: sci.math sci.physics sci.physics.relativity
Followup: sci.physics.relativity
Path: i2pn2.org!i2pn.org!eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: hpe...@lwbzgujk.yq (Jeff D'amore)
Newsgroups: sci.math,sci.physics,sci.physics.relativity
Subject: Re: Set Equality Axioms in DC Proof
Followup-To: sci.physics.relativity
Date: Sat, 3 Sep 2022 20:04:06 -0000 (UTC)
Organization: A noiseless patient Spider
Lines: 15
Message-ID: <tf0bvl$2vive$1@dont-email.me>
References: <c52c5c83-6f30-49fd-aaf6-5104cba170aen@googlegroups.com>
<terbst$n0i6$2@solani.org>
<6d81eeb4-2f16-42b7-8613-d58a557fb149n@googlegroups.com>
<f8617389-136d-4329-a2f4-9eb797d171den@googlegroups.com>
<tetmes$p6bp$2@solani.org>
<272189b1-716a-4ced-bcdd-4e407360052cn@googlegroups.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 3 Sep 2022 20:04:06 -0000 (UTC)
Injection-Info: reader01.eternal-september.org; posting-host="1f7c30c85ae8f9514689d2e84b4d0863";
logging-data="3132398"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/ybnICw/1eF3T8V2md5y8P0Av7LUgAC7c="
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:60.0) Gecko/20100101
Firefox/60.0 SeaMonkey/2.53.7.1
Cancel-Lock: sha1:SG/RFTScjxT35kcMGV6Z+YaEZN0=
Face: iVBORw0KGgoAAAANSUhEUgAAADAAAAAwBAMAAAClLOS0AAAAGFBMVEVbPSRthZjI
tpLs1s+7gXcZGx66xs5kXFOmyn6MAAACfUlEQVQ4jXWTPW/jMAyGmcI6ze7grgU
t1LsdpKur40GrC5TwnBZwV6VQo79/r5ykDe5D8GDzMT9ekqLhP4eWf526bqjZve
3wult23/Z9XdfULGdwZb4Cb7s/Qv0N6pzrEusMHvZn+51R1cO+OYPX2/3TbbG/U
87ZaL3Up6qc30puAGK+yznqXJ/AK7fbbEH2MxysNXo862jbbaxos7znGHPMn/q8
ACzDrm8fSSZq7gkJdCJVeCzLMPTcJae0uXM+RNVZ9ViqGgYWwn80H3p2kiNdwCv
/mmxCNRXDWSQY/QEAB6aKmcXMvi1fLp7B4KwH4HE6AZYS6m3Y8X1qEYPDJCfgzJ
GKA1P5E6V9g4ZQ065D0sLdF9AC+s4gUvFw5+QrGIZOp1MkkSn5FXTzAjACrF9WK
JNn13KHXg19NDP3LrUdGp6zf6TkXQGOzAsqzW0XZEzi71NOsqlpCaQv7IK0Tnwn
ws6nJLmmHimqoRVe03gGR7MOC/VRqVqXEtJH77g0J3zsaUuzLbIuoHeQMTYLbY1
94Z8r8DyKHwCwGHvqMB+GrH7bCX+K4wCwWRbqMC/mduBeWGLC4104AriQzQ0AEC
ZlI32whGZpCBKM3rT94Ea0hGysBCqwcH1ZhJvSE/FuqlKkFJACLWGONENYD6AJ4
lJ8vgBrKm6hLGg1IhJNhxLK+ZziJHDhqC9oSJ7VroAlhbI4GLnOUK8b7CQAJiNS
dk0+cWc+HGlSBKMtQmcJWGUtZzITpakA6BWbgl7ONOWsajMEPmWM7GwlrHYOK+j
o5jXI4QKK9giviMs4PSDLVyi1pMYWgKso10BNSZMLQCPGK6BkV2AMXCDBfAPY82
9KvR63cX6edQAAAABJRU5ErkJggg==
X-Face: UVE1;3GG|_R>k"ayn.e;iuN<hksn:AgH+3]wg)+tIpd#S=xo=0EqR+g,]`3t^q5;
'o3`)oKtx/b'5H<E9>~y}oGepjHc2/bdv"IF5?$dNP;0d!ct<3RU?z3("]=5X""5Z;=dv@X
6jz#VuBhR[[($XOXO`XBtH&!D$n+AAHplf;W~.z+q6gvu:uo\sd*_c/`;4+kd>J,sF`q;|y
;AAzY,#>/$v/LiA_5ko[+@c>k_~l@q0wp]Is%@VGXo,j[})=tW,mpG7jJ2e8e>hM~?&B*yv
_1Ib-wDWKBX~ud3
 by: Jeff D'amore - Sat, 3 Sep 2022 20:04 UTC

Dan Christensen wrote:

>> >>> For example you said we cannot determine f = g, when domain and
>> >>> codomain are different.
>
> Correct. In other words, if their domains and codomains differ, then f=g
> is INDETERMINATE (not that f=g is false).

you capitalists are exceptionalists.

Latest "Eurobros" gas meme from TikTok
https://www.bitchute.com/video/Vd8De4KQ9Be4/

EU politicians are celebrating the closure of Nord Stream 1
https://www.bitchute.com/video/y8fxHIaHhpaY/

1
server_pubkey.txt

rocksolid light 0.9.8
clearnet tor