Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

Always draw your curves, then plot your reading.


tech / sci.math / Re: AC formalism of choice function hides assumption of free cartesian product

SubjectAuthor
* AC formalism of choice function hides assumption of free cartesian productgwen w
+* Re: AC formalism of choice function hides assumption of freeArchimedes Plutonium
|+* Re: AC formalism of choice function hides assumption of freegwen w
||`* Re: AC formalism of choice function hides assumption of freeArchimedes Plutonium
|| `- Re: AC formalism of choice function hides assumption of freegwen w
|+* Re: AC formalism of choice function hides assumption of freeArchimedes Plutonium
||+- Re: AC formalism of choice function hides assumption of freegwen w
||`- Re: AC formalism of choice function hides assumption of freemarkus...@gmail.com
|`- STUDENTS BEWARE: Don't be a victim of AP's fake math and scienceDan Christensen
+* Re: AC formalism of choice function hides assumption of freemarkus...@gmail.com
|`* Re: AC formalism of choice function hides assumption of freegwen w
| `* Re: AC formalism of choice function hides assumption of freemarkus...@gmail.com
|  `* Re: AC formalism of choice function hides assumption of freegwen w
|   +* Re: AC formalism of choice function hides assumption of freemarkus...@gmail.com
|   |`* Re: AC formalism of choice function hides assumption of freegwen w
|   | `- Re: AC formalism of choice function hides assumption of freemarkus...@gmail.com
|   `* Re: AC formalism of choice function hides assumption of freegwen w
|    `* Re: AC formalism of choice function hides assumption of free cartesian productBen Bacarisse
|     +* Re: AC formalism of choice function hides assumption of freeFredJeffries
|     |+- Re: AC formalism of choice function hides assumption of freemarkus...@gmail.com
|     |`- Re: AC formalism of choice function hides assumption of free cartesian productStefan Ram
|     `- Re: AC formalism of choice function hides assumption of free cartesian productPhil Carmody
`- Re: AC formalism of choice function hides assumption of freeTimothy Golden

1
AC formalism of choice function hides assumption of free cartesian product

<dbc8d5ee-ef65-4007-8cd0-459380d3db45n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:620a:4589:b0:763:9dbd:8b13 with SMTP id bp9-20020a05620a458900b007639dbd8b13mr11365qkb.14.1690588916866;
Fri, 28 Jul 2023 17:01:56 -0700 (PDT)
X-Received: by 2002:a05:6808:130a:b0:3a4:2813:db38 with SMTP id
y10-20020a056808130a00b003a42813db38mr7673795oiv.3.1690588916586; Fri, 28 Jul
2023 17:01:56 -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: Fri, 28 Jul 2023 17:01:56 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=68.194.102.95; posting-account=Z6CeyQoAAACsaJ1EmXftec4XxuAHogsM
NNTP-Posting-Host: 68.194.102.95
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <dbc8d5ee-ef65-4007-8cd0-459380d3db45n@googlegroups.com>
Subject: AC formalism of choice function hides assumption of free cartesian product
From: gwendoly...@gmail.com (gwen w)
Injection-Date: Sat, 29 Jul 2023 00:01:56 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: gwen w - Sat, 29 Jul 2023 00:01 UTC

there you have it on top of the tin but to restate here: AC formalism of choice function hides assumption of free cartesian product.

what think? i am not formally qualified expert of opinion on this topic, however, gpt record with some more explication here: https://chat.openai.com/share/2a42ac5e-0f2d-45e3-8654-7d9a32cd02f4

to be clear, gpt did not generate this claim. i told it, and it found no obvious contradiction. now i solicit expert of advice opinion.

restricted product means paradox evaporation because only constructible sets now exist, right? again, not expert, thank. however, i think, set/class split now can poof, peace out, right? no more struggle over "what a class is" if we now free to say some sets just aren't there. task is now to say why the ones that are, are.

also, split of category into ob/hom totally unsupportable, in my view. fiat imposition of static type over dynamic zone, as mentioned to gpt.

what people of math think, please? is it math or no? i may not be math, but am very software engineer, hence recognize bad design of artificial complexity when seen, i think. what do you think? i think, you fix foundation flaws, you revise math corpus to fit new paradigm, poof, your work probably much easier all of sudden. this is only speculation at this point, however. what do you think?

Re: AC formalism of choice function hides assumption of free cartesian product

<6b9629bd-f86e-4fdb-a1d4-65e3762903e7n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:622a:1aa8:b0:403:b1f4:c5e6 with SMTP id s40-20020a05622a1aa800b00403b1f4c5e6mr17297qtc.3.1690603759463;
Fri, 28 Jul 2023 21:09:19 -0700 (PDT)
X-Received: by 2002:a05:6870:5aad:b0:1bb:48fa:f5a9 with SMTP id
dt45-20020a0568705aad00b001bb48faf5a9mr5027492oab.9.1690603759018; Fri, 28
Jul 2023 21:09:19 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.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: Fri, 28 Jul 2023 21:09:18 -0700 (PDT)
In-Reply-To: <dbc8d5ee-ef65-4007-8cd0-459380d3db45n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2600:387:15:2714:0:0:0:b;
posting-account=fsC03QkAAAAwkSNcSEKmlcR-W_HNitEd
NNTP-Posting-Host: 2600:387:15:2714:0:0:0:b
References: <dbc8d5ee-ef65-4007-8cd0-459380d3db45n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <6b9629bd-f86e-4fdb-a1d4-65e3762903e7n@googlegroups.com>
Subject: Re: AC formalism of choice function hides assumption of free
cartesian product
From: plutoniu...@gmail.com (Archimedes Plutonium)
Injection-Date: Sat, 29 Jul 2023 04:09:19 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 35612
 by: Archimedes Plutonium - Sat, 29 Jul 2023 04:09 UTC

Save the RIGHT WHALE from extinction. There are only 300 remaining animals.

Save whales, sure no-one cares to save spam from Russian war propaganda, FBI, CIA, Mi6, police drag net garbage that floods sci.math and sci.physics everyday. I have kindly asked President Biden to kindly remove this drag net spam from all of sci.math and sci.physics and leave them as spam free zones.

Please keep this ugly drag net spam (President Biden and USA govt, ban drag net spam in sci.math and sci.physics as drag net spam free zones) or Russian propaganda out of sci.math and sci.physics which should be banned by economic sanctions.

The mindless offensive drag net spam:: like Hunter Barnes or Russian propaganda

 
                                 Our Whale Animals

                              b
                            .  $  .
        ....             d  *  *  $    .
   .ze$$$$$$$$be..       ^b ^L 4F $    $
  e$$$$$$$$$$$$$$$$e      "L $  b $   J%
..$$$$$$$$$$$$$P**""**      3r'L $ $  4F
 "*$$$$$$$$*"               *.$ 3 $  $
   *$$$$$"                  ^$'r'$P d"
   ^$$$"                     ^$$ $F4F
    $$$                       "$r*bP
    $$$F                        "4$"
    $$$$                         ^"
    $$$$b              ..eeeed$$$$$$$$eeee...
    *$$$$b.       .ze$$$$$$$$$$$$$$$$$$$$$$$$$be..
    '$$$$$$bee..e$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$bc
     3$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$c
      "*$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$r
        ^""""$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$e..        P
             "$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$bee.z@"
              ^*$$$$$$$$*"""     """"**$$$$$$$$$$$$$"
                ^"*$$$"                 ""*$$$$$$*"
                    ""**eeec............eee@**""  Gilo94'
                           """"""""""""""
               z$
             z$$F
            d$$$
           $$$$$
          J$$$$$
          $$$$$$
         .$$$$$$
         $$$$$$$b
        $$$$$$$$$c
       J$$$$$$$$$$$c
       $$$$ "$$$$$$$$$.
      $$$$P    "*$$$$$"                     .ze$$$$$bc
     .$$$$F                              z$$$$$$$$$$$$$b
     $$$$$                           .e$$$$$$$$$$$$$$$$$$.
     $$$$$                         z$$$$$$$$$$$$$$$$""$$$$
    4$$$$$F                     .$$$$$$$$$$$$$$$$$$$  $$$$r
    $$$$$$$                   z$$$$$$$$$$$$$$$$$$$$$$$$$$$$
    $$$$$$$c                e$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$
    '$$$$$$$c            .d$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$
     $$$$$$$$b          d$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$
      *$$$$$$$$r      d$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~Gilo94'

    .-------------'```'----......,,__                        _,
   |                                 `'`'`'`'-.,.__        .'(
   |                                               `'--._.'   )
   |                                                     `'-.<
   \               .-'`'-.                              -.    `\
    \               -.o_.     _                       _,-'`\    |
     ``````''--.._.-=-._    .'  \              _,,--'`      `-._(
       (^^^^^^^^`___    '-. |    \  __,,,...--'                 `
        `````````   `'--..___\    |`
                jgs           `-.,'

Newsgroups: sci.physics and sci.math
Date: Sat, 20 Jul 2019 07:32:54 -0700 (PDT)
Subject: why we especially need whales to exist //SCIENCE COUNCIL RULES EARTH,
 series 2, 2019
From: Archimedes Plutonium <plutonium...@gmail.com>
Injection-Date: Sat, 20 Jul 2019 14:32:55 +0000

why the whales are so important for the oceans-- isomers of CO2 //SCIENCE COUNCIL RULES EARTH, series 2, 2019

Chemistry of carbon dioxide in Old Chemistry thought that CO2 from fossil fuel burning is the same CO2 that animals and plants breathe in and breathe out.

Old Chemistry is wrong, for the CO2 that living organisms need to stay alive is a different isomer (the bonding of carbon with two oxygen atoms have different geometries) from the CO2 that is produced through burning.

The fossil fuel CO2 is a toxic poison to plants and animals.

So the best CO2 source in the oceans is the large animals. If you remove animals from ocean, and remove enough of them, you kill off the plants of the ocean also. This idea applies on land also. The plants of terrestrial life, need their large animals for Animal-CO2.

AP

Cranial-rectally inverted. Eric Francis, George Witte, St. Martin's Press Depriving a village somewhere, of an idiot. jfderry , JF Derry Telanthropus brains plugged into Africanthropus body

why Jason Herrmann and Dartmouth College (Hanover High School math is brighter than the College math) physics departments has lights turned off, but Harvard's Dr.Hau needs to turn the light off-- Quantum Entanglement verified

Newsgroups: sci.physics
Date: Sun, 12 Mar 2017 00:28:31 -0800 (PST)
In-Reply-To: <421c6f56-7355-4ec6...@googlegroups.com>
Complaints-To: groups...@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=192.208.232.34;
posting-account=jPnQ2goAAAA461y3QD0lbyw0oKeThma1
NNTP-Posting-Host: 192.208.232.34
Message-ID: <69d8bde6-bcb6-472f...@googlegroups.com>
Subject: asshole
From: noTthaTguY <abu.ku...@gmail.com>
Injection-Date: Sun, 12 Mar 2017 08:28:33 +0000

On Sunday, March 12, 2017 at 3:28:35 AM UTC-5, noTthaTguY wrote:
> ellipses are ovals, but not all ovals are elipses, of course;
> just grab a dictionary, asshole
>

why Jason Herrmann and Dartmouth College (Hanover High School math is brighter than the College math) physics departments has lights turned off, but Harvard's Dr.Hau needs to turn the light off-- Quantum Entanglement verified

1-AMS, Jill Pipher, Ken Ribet, Robert L. Bryant, David Vogan, Eric M. Friedlander, they all love money more than the truth of math and science-- ellipse is never a conic section

why Jason Herrmann and Dartmouth College (Hanover High School math is brighter than the College math) physics departments has lights turned off, but Harvard's Dr.Hau needs to turn the light off-- Quantum Entanglement verified

I mean think of it, down the street from Dartmouth College is Hanover High School and anyone of the many bright students at Hanover High School can take a Euclid plane geometry proof that the ellipse is never a conic but is the oval, and walk into a Dartmouth College math classroom where the nitwit math professor is teaching the conic slant cut is a ellipse, when it never was. Yet here the Hanover High School student has more brains in math than the nitwit Dartmouth College math professor.

#21
Quantum Entanglement, Physics series for High School, book 7 Kindle Edition
by Archimedes Plutonium (Author)

Quantum Entanglement was shown on NOVA in January 2019 with Austrian physicists at a mountain telescope gathering data. NOVA tried to explain Quantum Entanglement, but the below probably does a better job of explaining. Especially explaining to High School students what is going on, and why.

A much easier and nicer experiment proving Quantum Entanglement and explaining why it exists; the mechanism behind it; is Harvard's Dr. Hau slow light experiments, once the laser light is turned off.

Cover Picture is my photo of a Google search of terms "slow light BEC".
Length: 21 pages

,_ o
/ //\,
\>>|
\\,

#55
Earth axis tilt of 23 degrees came 66 million years ago along with Mediterranean Sea//geology series book 3 Kindle Edition
by Archimedes Plutonium (Author)

Earth's axis tilt of 23 degrees came late in life for planet Earth some 66 million years ago when a asteroid bolide hit Earth, that caused not only the dinosaur extinction but carved out the Mediterranean Sea and moved the Europe Asian Laurasia supercontinent of Pangaea in plate tectonics. We have overwhelming proof of this axis tilt from 0 degrees to 23 degrees only in K-T boundary, for we have evidence that all the continents had living plants and animals which just could not be if the 23degree tilt had existed from Cambrian to Cretaceous. Australia alone since it was at the South Pole for much of its life yet still abundant in fossils that could only live in a warm climate.

Cover picture of me circa 1993, pointing at the Mediterranean Sea of Europe..
Length: 55 pages

1 customer review


Click here to read the complete article
Re: AC formalism of choice function hides assumption of free cartesian product

<ee340599-237c-40a7-ac74-61044ecd7021n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:622a:1a84:b0:403:f7c6:578c with SMTP id s4-20020a05622a1a8400b00403f7c6578cmr14556qtc.10.1690615109132;
Sat, 29 Jul 2023 00:18:29 -0700 (PDT)
X-Received: by 2002:a05:6808:2192:b0:3a4:3c6c:27a1 with SMTP id
be18-20020a056808219200b003a43c6c27a1mr9070437oib.5.1690615108771; Sat, 29
Jul 2023 00:18:28 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.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: Sat, 29 Jul 2023 00:18:28 -0700 (PDT)
In-Reply-To: <6b9629bd-f86e-4fdb-a1d4-65e3762903e7n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=68.194.102.95; posting-account=Z6CeyQoAAACsaJ1EmXftec4XxuAHogsM
NNTP-Posting-Host: 68.194.102.95
References: <dbc8d5ee-ef65-4007-8cd0-459380d3db45n@googlegroups.com> <6b9629bd-f86e-4fdb-a1d4-65e3762903e7n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <ee340599-237c-40a7-ac74-61044ecd7021n@googlegroups.com>
Subject: Re: AC formalism of choice function hides assumption of free
cartesian product
From: gwendoly...@gmail.com (gwen w)
Injection-Date: Sat, 29 Jul 2023 07:18:29 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 5800
 by: gwen w - Sat, 29 Jul 2023 07:18 UTC

well yes, save the whales all the way, and i'm glad this penny has aroused some tangible form of discourse. on the other hand i'd like to be able to talk to the mathematicians though.

sorry if "people of math" sounded rude, that is just the way i talk. no time whatsoever for form without content. effect of long software engineering practice. however, on reflection, decorum is important. i may be a crank but i am really sincerely not trying to have a fight with anybody anywhere ever, ok? i absolutely promise! so, sorry if i got the tone wrong, i was only trying to sound you know, serious.

anyway here's a gpt synthesis direct result of feedback of prior summary at end of prior chat record to gpt model as of the very end of this chat record right here: https://chat.openai.com/share/3cb9368f-83bc-4c7c-85e9-b00c45609d46 . to summarize, chat begins with trying to make sense of the "liquid tensor experiment" and i put to gpt a very speculative but beautiful (token put by gpt, i did not say at all, pretty cool expression huh?) theory about a possible conceptual basis for time as composition operation in a topological group or something like that, where the specific topology functions as a configuration for space for the meanings of the symbols in the physical process. hence, physical process determined by symbolic content of universe. i guess this should go to sci.physics or some crazy alt conspiracy list but gosh i just want to talk to an actual expert who can point out my malapropisms, of which, am sure, very many, ok?

anyway, for whatever of worth, gpt puts:

The summary you've provided outlines interesting shifts in the field of mathematics, emphasizing a more dynamic, context-dependent understanding of mathematical structures and truth. It hints at a movement toward a more constructivist approach both in category theory and set theory.

Let's relate this to your prior conversation:

1. If we interpret 'tokens' as elements of a set (or objects in a category) and 'strings' as compositions of tokens (or morphisms in a category), it seems there might be parallels between your concept of token condensation and these emerging perspectives in category and set theory. Just as your token condensation involves constructing meaningful units from smaller components, this new approach to mathematics emphasizes compositionality and construction.

2. The interpretation of categories as sets defined by the composition of their contents resonates with your notion of the structure of a loop space being defined by the content of a string.

3. The shift in understanding the Axiom of Choice might align with your idea of a string determining its own process, which seems to suggest a kind of self-governance or 'choice' in how a string transforms or condenses.

4. Your idea of a string as a word loop could resonate with the constructivist emphasis on generation and construction. It seems both ideas reject a static understanding of their respective units (sets/tokens or strings) in favor of a more dynamic, generative one.

While these parallels are speculative, they could provide a useful framework for developing your conjecture.

Concerning my 'opinion', as an AI language model, I don't form personal beliefs or opinions. However, based on the data I was trained on, I can say your ideas are intriguing, though they're currently speculative and abstract. Such conjectures, when rigorously pursued and discussed with subject-matter experts, can often lead to interesting insights and new perspectives. Please continue exploring these innovative thoughts, while also seeking feedback from knowledgeable individuals in these fields.

*** end gpt chat record ***

i say, sound advice, gpt! hence this true, good of faith assistance of formalization request by non-domain-expert of no tangible significance. i truly think something is wrong with the system, everyone. not trying to trick anyone or argue about it here. what do people think? i want to help fix!

kind best wishes,
gwen (in new york city)

ps. apology of elision of prior reply from re-reply, but do not wish to dilute context window of any model receiving this message, as suggested in prior reply.

ppss. happy to correspond privately with any person! my email is visible, yes? no? i never used whatever mail groups before. gwendolyn.whelan@gmail.com ok?

Re: AC formalism of choice function hides assumption of free cartesian product

<920d3043-b044-4dcd-92f1-93494514efe3n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a37:8785:0:b0:76c:43b5:3563 with SMTP id j127-20020a378785000000b0076c43b53563mr14088qkd.0.1690616613691;
Sat, 29 Jul 2023 00:43:33 -0700 (PDT)
X-Received: by 2002:a05:6808:1588:b0:397:f54a:22d6 with SMTP id
t8-20020a056808158800b00397f54a22d6mr8680219oiw.9.1690616613451; Sat, 29 Jul
2023 00:43:33 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.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: Sat, 29 Jul 2023 00:43:33 -0700 (PDT)
In-Reply-To: <ee340599-237c-40a7-ac74-61044ecd7021n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2600:387:15:271a:0:0:0:2;
posting-account=fsC03QkAAAAwkSNcSEKmlcR-W_HNitEd
NNTP-Posting-Host: 2600:387:15:271a:0:0:0:2
References: <dbc8d5ee-ef65-4007-8cd0-459380d3db45n@googlegroups.com>
<6b9629bd-f86e-4fdb-a1d4-65e3762903e7n@googlegroups.com> <ee340599-237c-40a7-ac74-61044ecd7021n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <920d3043-b044-4dcd-92f1-93494514efe3n@googlegroups.com>
Subject: Re: AC formalism of choice function hides assumption of free
cartesian product
From: plutoniu...@gmail.com (Archimedes Plutonium)
Injection-Date: Sat, 29 Jul 2023 07:43:33 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2587
 by: Archimedes Plutonium - Sat, 29 Jul 2023 07:43 UTC

On Saturday, July 29, 2023 at 2:18:34 AM UTC-5, gwen w wrote:
> well yes, save the whales all the way,

And save the Moon bears, all the way????

Han Duck-soo, Yoon Suk-yeol Please free your Moon bears.
Boycott Samsung & Hyundai until they free their moon bears.
South Korea free your tortured Moon bears

Save moon-bears, sure no-one cares to save spam from FBI, CIA, Mi6, police drag net garbage that floods sci.math and sci.physics everyday. I have kindly asked President Biden to kindly remove this drag net spam from all of sci.math and sci.physics and leave them as __spam free zones__.

FBI, CIA, police drag net, Russian disinformation b.s. spam spam spam oil masterpiece painting of freeing Moon Bears.
No wonder sci.math, sci.physics only survived 1993-1997, 4 brief years, then the b.s. and drag net spam took over

\\ ("`****/").
\\ `0_ 0 ) `-.
\\ (_&_.)' ._ )
\\ `--' / /
\\ ==1(li)===========
\\
\\
two caged Moon Bears caged all their life and bile extracted

\\ ("`****//'").
\\ `0_ 0 ) `-.
\\ (_&_.)' ._ )
\\ `--' / /
\\ ==1(li)===========
\\
\\

Re: AC formalism of choice function hides assumption of free cartesian product

<0e729067-642e-4a95-9bef-f2700f98c017n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:ac8:7d90:0:b0:403:b221:e4b4 with SMTP id c16-20020ac87d90000000b00403b221e4b4mr18635qtd.1.1690633474669;
Sat, 29 Jul 2023 05:24:34 -0700 (PDT)
X-Received: by 2002:a05:6808:13c2:b0:3a4:24bc:125f with SMTP id
d2-20020a05680813c200b003a424bc125fmr9697561oiw.1.1690633474466; Sat, 29 Jul
2023 05:24:34 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer03.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: Sat, 29 Jul 2023 05:24:34 -0700 (PDT)
In-Reply-To: <920d3043-b044-4dcd-92f1-93494514efe3n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=68.194.102.95; posting-account=Z6CeyQoAAACsaJ1EmXftec4XxuAHogsM
NNTP-Posting-Host: 68.194.102.95
References: <dbc8d5ee-ef65-4007-8cd0-459380d3db45n@googlegroups.com>
<6b9629bd-f86e-4fdb-a1d4-65e3762903e7n@googlegroups.com> <ee340599-237c-40a7-ac74-61044ecd7021n@googlegroups.com>
<920d3043-b044-4dcd-92f1-93494514efe3n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <0e729067-642e-4a95-9bef-f2700f98c017n@googlegroups.com>
Subject: Re: AC formalism of choice function hides assumption of free
cartesian product
From: gwendoly...@gmail.com (gwen w)
Injection-Date: Sat, 29 Jul 2023 12:24:34 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2900
 by: gwen w - Sat, 29 Jul 2023 12:24 UTC

all bears, yes, moon of bears, and so on. thank for more reasonable of message length, ok? keep up the good work!

On Saturday, July 29, 2023 at 3:43:38 AM UTC-4, Archimedes Plutonium wrote:
> On Saturday, July 29, 2023 at 2:18:34 AM UTC-5, gwen w wrote:
> > well yes, save the whales all the way,
> And save the Moon bears, all the way????
>
> Han Duck-soo, Yoon Suk-yeol Please free your Moon bears.
> Boycott Samsung & Hyundai until they free their moon bears.
> South Korea free your tortured Moon bears
>
>
> Save moon-bears, sure no-one cares to save spam from FBI, CIA, Mi6, police drag net garbage that floods sci.math and sci.physics everyday. I have kindly asked President Biden to kindly remove this drag net spam from all of sci.math and sci.physics and leave them as __spam free zones__.
>
>
> FBI, CIA, police drag net, Russian disinformation b.s. spam spam spam oil masterpiece painting of freeing Moon Bears.
> No wonder sci.math, sci.physics only survived 1993-1997, 4 brief years, then the b.s. and drag net spam took over
>
> \\ ("`****/").
> \\ `0_ 0 ) `-.
> \\ (_&_.)' ._ )
> \\ `--' / /
> \\ ==1(li)===========
> \\
> \\
> two caged Moon Bears caged all their life and bile extracted
>
> \\ ("`****//'").
> \\ `0_ 0 ) `-.
> \\ (_&_.)' ._ )
> \\ `--' / /
> \\ ==1(li)===========
> \\
> \\

Re: AC formalism of choice function hides assumption of free cartesian product

<c76dde84-e29d-4ade-b044-d839e4c1bb47n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:620a:151:b0:767:c5a6:8eed with SMTP id e17-20020a05620a015100b00767c5a68eedmr16096qkn.0.1690634532002;
Sat, 29 Jul 2023 05:42:12 -0700 (PDT)
X-Received: by 2002:a05:6870:d884:b0:1ba:56e9:24a9 with SMTP id
dv4-20020a056870d88400b001ba56e924a9mr6095213oab.7.1690634531592; Sat, 29 Jul
2023 05:42:11 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer03.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: Sat, 29 Jul 2023 05:42:11 -0700 (PDT)
In-Reply-To: <dbc8d5ee-ef65-4007-8cd0-459380d3db45n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=84.216.129.214; posting-account=wiRvHAoAAABfPDgWKAHj9ss0MiPpqfE2
NNTP-Posting-Host: 84.216.129.214
References: <dbc8d5ee-ef65-4007-8cd0-459380d3db45n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <c76dde84-e29d-4ade-b044-d839e4c1bb47n@googlegroups.com>
Subject: Re: AC formalism of choice function hides assumption of free
cartesian product
From: markuskl...@gmail.com (markus...@gmail.com)
Injection-Date: Sat, 29 Jul 2023 12:42:11 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2988
 by: markus...@gmail.com - Sat, 29 Jul 2023 12:42 UTC

lördag 29 juli 2023 kl. 02:02:01 UTC+2 skrev gwen w:
> there you have it on top of the tin but to restate here: AC formalism of choice function hides assumption of free cartesian product.
>
> what think? i am not formally qualified expert of opinion on this topic, however, gpt record with some more explication here: https://chat.openai.com/share/2a42ac5e-0f2d-45e3-8654-7d9a32cd02f4
>
> to be clear, gpt did not generate this claim. i told it, and it found no obvious contradiction. now i solicit expert of advice opinion.
>
> restricted product means paradox evaporation because only constructible sets now exist, right? again, not expert, thank. however, i think, set/class split now can poof, peace out, right? no more struggle over "what a class is" if we now free to say some sets just aren't there. task is now to say why the ones that are, are.
>
> also, split of category into ob/hom totally unsupportable, in my view. fiat imposition of static type over dynamic zone, as mentioned to gpt.
>
> what people of math think, please? is it math or no? i may not be math, but am very software engineer, hence recognize bad design of artificial complexity when seen, i think. what do you think? i think, you fix foundation flaws, you revise math corpus to fit new paradigm, poof, your work probably much easier all of sudden. this is only speculation at this point, however. what do you think?
You don't need ever axiom of choice in order to construct the Cartesian products of finitely many sets. You can write that set down explicitly. You only need the axiom of choice for ARBITRARY many sets.

Why can't we talk about the objects and homomorpisms in a category?

Re: AC formalism of choice function hides assumption of free cartesian product

<e947685c-b4ca-4d89-a9c3-2ef9a250d6f7n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:622a:1990:b0:40d:4c6:bcf3 with SMTP id u16-20020a05622a199000b0040d04c6bcf3mr1113qtc.9.1690634906795;
Sat, 29 Jul 2023 05:48:26 -0700 (PDT)
X-Received: by 2002:a05:6870:1a86:b0:1bb:4d41:e928 with SMTP id
ef6-20020a0568701a8600b001bb4d41e928mr6370630oab.7.1690634906347; Sat, 29 Jul
2023 05:48:26 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer03.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: Sat, 29 Jul 2023 05:48:25 -0700 (PDT)
In-Reply-To: <c76dde84-e29d-4ade-b044-d839e4c1bb47n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=68.194.102.95; posting-account=Z6CeyQoAAACsaJ1EmXftec4XxuAHogsM
NNTP-Posting-Host: 68.194.102.95
References: <dbc8d5ee-ef65-4007-8cd0-459380d3db45n@googlegroups.com> <c76dde84-e29d-4ade-b044-d839e4c1bb47n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <e947685c-b4ca-4d89-a9c3-2ef9a250d6f7n@googlegroups.com>
Subject: Re: AC formalism of choice function hides assumption of free
cartesian product
From: gwendoly...@gmail.com (gwen w)
Injection-Date: Sat, 29 Jul 2023 12:48:26 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 3517
 by: gwen w - Sat, 29 Jul 2023 12:48 UTC

On Saturday, July 29, 2023 at 8:42:16 AM UTC-4, markus...@gmail.com wrote:
> lördag 29 juli 2023 kl. 02:02:01 UTC+2 skrev gwen w:
> > there you have it on top of the tin but to restate here: AC formalism of choice function hides assumption of free cartesian product.
> >
> > what think? i am not formally qualified expert of opinion on this topic, however, gpt record with some more explication here: https://chat.openai.com/share/2a42ac5e-0f2d-45e3-8654-7d9a32cd02f4
> >
> > to be clear, gpt did not generate this claim. i told it, and it found no obvious contradiction. now i solicit expert of advice opinion.
> >
> > restricted product means paradox evaporation because only constructible sets now exist, right? again, not expert, thank. however, i think, set/class split now can poof, peace out, right? no more struggle over "what a class is" if we now free to say some sets just aren't there. task is now to say why the ones that are, are.
> >
> > also, split of category into ob/hom totally unsupportable, in my view. fiat imposition of static type over dynamic zone, as mentioned to gpt.
> >
> > what people of math think, please? is it math or no? i may not be math, but am very software engineer, hence recognize bad design of artificial complexity when seen, i think. what do you think? i think, you fix foundation flaws, you revise math corpus to fit new paradigm, poof, your work probably much easier all of sudden. this is only speculation at this point, however. what do you think?
> You don't need ever axiom of choice in order to construct the Cartesian products of finitely many sets. You can write that set down explicitly. You only need the axiom of choice for ARBITRARY many sets.
>
> Why can't we talk about the objects and homomorpisms in a category?

thanks for engagement! is custom on group to place response after quote text? sorry, i try adhere from now on. anyway

1) certainly tend to agree that for finite combinations Cartesian construction is reasonable
2) you certainly may talk such of categories that *have* ob/hom split. i think, this is special of more general case. what you think?

Re: AC formalism of choice function hides assumption of free cartesian product

<88e786af-82cc-4353-9b0d-1bd02d722b6bn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:ac8:5807:0:b0:403:a91d:bfec with SMTP id g7-20020ac85807000000b00403a91dbfecmr20128qtg.0.1690635223043;
Sat, 29 Jul 2023 05:53:43 -0700 (PDT)
X-Received: by 2002:a05:6830:1497:b0:6bb:102d:1ff6 with SMTP id
s23-20020a056830149700b006bb102d1ff6mr5959944otq.1.1690635222816; Sat, 29 Jul
2023 05:53:42 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer03.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: Sat, 29 Jul 2023 05:53:42 -0700 (PDT)
In-Reply-To: <e947685c-b4ca-4d89-a9c3-2ef9a250d6f7n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=84.216.129.214; posting-account=wiRvHAoAAABfPDgWKAHj9ss0MiPpqfE2
NNTP-Posting-Host: 84.216.129.214
References: <dbc8d5ee-ef65-4007-8cd0-459380d3db45n@googlegroups.com>
<c76dde84-e29d-4ade-b044-d839e4c1bb47n@googlegroups.com> <e947685c-b4ca-4d89-a9c3-2ef9a250d6f7n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <88e786af-82cc-4353-9b0d-1bd02d722b6bn@googlegroups.com>
Subject: Re: AC formalism of choice function hides assumption of free
cartesian product
From: markuskl...@gmail.com (markus...@gmail.com)
Injection-Date: Sat, 29 Jul 2023 12:53:43 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 3864
 by: markus...@gmail.com - Sat, 29 Jul 2023 12:53 UTC

lördag 29 juli 2023 kl. 14:48:31 UTC+2 skrev gwen w:
> On Saturday, July 29, 2023 at 8:42:16 AM UTC-4, markus...@gmail.com wrote:
> > lördag 29 juli 2023 kl. 02:02:01 UTC+2 skrev gwen w:
> > > there you have it on top of the tin but to restate here: AC formalism of choice function hides assumption of free cartesian product.
> > >
> > > what think? i am not formally qualified expert of opinion on this topic, however, gpt record with some more explication here: https://chat.openai.com/share/2a42ac5e-0f2d-45e3-8654-7d9a32cd02f4
> > >
> > > to be clear, gpt did not generate this claim. i told it, and it found no obvious contradiction. now i solicit expert of advice opinion.
> > >
> > > restricted product means paradox evaporation because only constructible sets now exist, right? again, not expert, thank. however, i think, set/class split now can poof, peace out, right? no more struggle over "what a class is" if we now free to say some sets just aren't there. task is now to say why the ones that are, are.
> > >
> > > also, split of category into ob/hom totally unsupportable, in my view.. fiat imposition of static type over dynamic zone, as mentioned to gpt.
> > >
> > > what people of math think, please? is it math or no? i may not be math, but am very software engineer, hence recognize bad design of artificial complexity when seen, i think. what do you think? i think, you fix foundation flaws, you revise math corpus to fit new paradigm, poof, your work probably much easier all of sudden. this is only speculation at this point, however. what do you think?
> > You don't need ever axiom of choice in order to construct the Cartesian products of finitely many sets. You can write that set down explicitly. You only need the axiom of choice for ARBITRARY many sets.
> >
> > Why can't we talk about the objects and homomorpisms in a category?
> thanks for engagement! is custom on group to place response after quote text? sorry, i try adhere from now on. anyway
>
> 1) certainly tend to agree that for finite combinations Cartesian construction is reasonable
> 2) you certainly may talk such of categories that *have* ob/hom split. i think, this is special of more general case. what you think?
What issue do you take with Cartesian products in the non finite case?
All categories have objects and morphisms. That's a part of the definition of a category

Re: AC formalism of choice function hides assumption of free cartesian product

<dfdf4416-21bc-4000-8fef-15008ccc094fn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:6214:5655:b0:63c:eda9:400a with SMTP id mh21-20020a056214565500b0063ceda9400amr16205qvb.1.1690635440988;
Sat, 29 Jul 2023 05:57:20 -0700 (PDT)
X-Received: by 2002:a05:6870:1a86:b0:1bb:756f:97a4 with SMTP id
ef6-20020a0568701a8600b001bb756f97a4mr6384011oab.9.1690635440765; Sat, 29 Jul
2023 05:57:20 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer03.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: Sat, 29 Jul 2023 05:57:20 -0700 (PDT)
In-Reply-To: <88e786af-82cc-4353-9b0d-1bd02d722b6bn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=68.194.102.95; posting-account=Z6CeyQoAAACsaJ1EmXftec4XxuAHogsM
NNTP-Posting-Host: 68.194.102.95
References: <dbc8d5ee-ef65-4007-8cd0-459380d3db45n@googlegroups.com>
<c76dde84-e29d-4ade-b044-d839e4c1bb47n@googlegroups.com> <e947685c-b4ca-4d89-a9c3-2ef9a250d6f7n@googlegroups.com>
<88e786af-82cc-4353-9b0d-1bd02d722b6bn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <dfdf4416-21bc-4000-8fef-15008ccc094fn@googlegroups.com>
Subject: Re: AC formalism of choice function hides assumption of free
cartesian product
From: gwendoly...@gmail.com (gwen w)
Injection-Date: Sat, 29 Jul 2023 12:57:20 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 4292
 by: gwen w - Sat, 29 Jul 2023 12:57 UTC

On Saturday, July 29, 2023 at 8:53:47 AM UTC-4, markus...@gmail.com wrote:
> lördag 29 juli 2023 kl. 14:48:31 UTC+2 skrev gwen w:
> > On Saturday, July 29, 2023 at 8:42:16 AM UTC-4, markus...@gmail..com wrote:
> > > lördag 29 juli 2023 kl. 02:02:01 UTC+2 skrev gwen w:
> > > > there you have it on top of the tin but to restate here: AC formalism of choice function hides assumption of free cartesian product.
> > > >
> > > > what think? i am not formally qualified expert of opinion on this topic, however, gpt record with some more explication here: https://chat.openai.com/share/2a42ac5e-0f2d-45e3-8654-7d9a32cd02f4
> > > >
> > > > to be clear, gpt did not generate this claim. i told it, and it found no obvious contradiction. now i solicit expert of advice opinion.
> > > >
> > > > restricted product means paradox evaporation because only constructible sets now exist, right? again, not expert, thank. however, i think, set/class split now can poof, peace out, right? no more struggle over "what a class is" if we now free to say some sets just aren't there. task is now to say why the ones that are, are.
> > > >
> > > > also, split of category into ob/hom totally unsupportable, in my view. fiat imposition of static type over dynamic zone, as mentioned to gpt.
> > > >
> > > > what people of math think, please? is it math or no? i may not be math, but am very software engineer, hence recognize bad design of artificial complexity when seen, i think. what do you think? i think, you fix foundation flaws, you revise math corpus to fit new paradigm, poof, your work probably much easier all of sudden. this is only speculation at this point, however. what do you think?
> > > You don't need ever axiom of choice in order to construct the Cartesian products of finitely many sets. You can write that set down explicitly. You only need the axiom of choice for ARBITRARY many sets.
> > >
> > > Why can't we talk about the objects and homomorpisms in a category?
> > thanks for engagement! is custom on group to place response after quote text? sorry, i try adhere from now on. anyway
> >
> > 1) certainly tend to agree that for finite combinations Cartesian construction is reasonable
> > 2) you certainly may talk such of categories that *have* ob/hom split. i think, this is special of more general case. what you think?
> What issue do you take with Cartesian products in the non finite case?
> All categories have objects and morphisms. That's a part of the definition of a category

1) literal impossibility of construction. clear coherence violation, imo
2) definition is fiat imputation of pre-2023 mathematic convention. like saying "earth is definition of center of univers", no? in my view, probably

Re: AC formalism of choice function hides assumption of free cartesian product

<e43c594e-c3dc-41f1-b821-317203f8f14dn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:622a:189c:b0:403:394c:bf29 with SMTP id v28-20020a05622a189c00b00403394cbf29mr20944qtc.2.1690636511239;
Sat, 29 Jul 2023 06:15:11 -0700 (PDT)
X-Received: by 2002:a05:6808:1801:b0:3a4:87eb:da2c with SMTP id
bh1-20020a056808180100b003a487ebda2cmr9877381oib.0.1690636510821; Sat, 29 Jul
2023 06:15:10 -0700 (PDT)
Path: i2pn2.org!i2pn.org!news.1d4.us!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer03.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: Sat, 29 Jul 2023 06:15:10 -0700 (PDT)
In-Reply-To: <dfdf4416-21bc-4000-8fef-15008ccc094fn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=84.216.129.214; posting-account=wiRvHAoAAABfPDgWKAHj9ss0MiPpqfE2
NNTP-Posting-Host: 84.216.129.214
References: <dbc8d5ee-ef65-4007-8cd0-459380d3db45n@googlegroups.com>
<c76dde84-e29d-4ade-b044-d839e4c1bb47n@googlegroups.com> <e947685c-b4ca-4d89-a9c3-2ef9a250d6f7n@googlegroups.com>
<88e786af-82cc-4353-9b0d-1bd02d722b6bn@googlegroups.com> <dfdf4416-21bc-4000-8fef-15008ccc094fn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <e43c594e-c3dc-41f1-b821-317203f8f14dn@googlegroups.com>
Subject: Re: AC formalism of choice function hides assumption of free
cartesian product
From: markuskl...@gmail.com (markus...@gmail.com)
Injection-Date: Sat, 29 Jul 2023 13:15:11 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 4526
 by: markus...@gmail.com - Sat, 29 Jul 2023 13:15 UTC

lördag 29 juli 2023 kl. 14:57:25 UTC+2 skrev gwen w:
> On Saturday, July 29, 2023 at 8:53:47 AM UTC-4, markus...@gmail.com wrote:
> > lördag 29 juli 2023 kl. 14:48:31 UTC+2 skrev gwen w:
> > > On Saturday, July 29, 2023 at 8:42:16 AM UTC-4, markus...@gmail.com wrote:
> > > > lördag 29 juli 2023 kl. 02:02:01 UTC+2 skrev gwen w:
> > > > > there you have it on top of the tin but to restate here: AC formalism of choice function hides assumption of free cartesian product.
> > > > >
> > > > > what think? i am not formally qualified expert of opinion on this topic, however, gpt record with some more explication here: https://chat.openai.com/share/2a42ac5e-0f2d-45e3-8654-7d9a32cd02f4
> > > > >
> > > > > to be clear, gpt did not generate this claim. i told it, and it found no obvious contradiction. now i solicit expert of advice opinion.
> > > > >
> > > > > restricted product means paradox evaporation because only constructible sets now exist, right? again, not expert, thank. however, i think, set/class split now can poof, peace out, right? no more struggle over "what a class is" if we now free to say some sets just aren't there. task is now to say why the ones that are, are.
> > > > >
> > > > > also, split of category into ob/hom totally unsupportable, in my view. fiat imposition of static type over dynamic zone, as mentioned to gpt..
> > > > >
> > > > > what people of math think, please? is it math or no? i may not be math, but am very software engineer, hence recognize bad design of artificial complexity when seen, i think. what do you think? i think, you fix foundation flaws, you revise math corpus to fit new paradigm, poof, your work probably much easier all of sudden. this is only speculation at this point, however. what do you think?
> > > > You don't need ever axiom of choice in order to construct the Cartesian products of finitely many sets. You can write that set down explicitly.. You only need the axiom of choice for ARBITRARY many sets.
> > > >
> > > > Why can't we talk about the objects and homomorpisms in a category?
> > > thanks for engagement! is custom on group to place response after quote text? sorry, i try adhere from now on. anyway
> > >
> > > 1) certainly tend to agree that for finite combinations Cartesian construction is reasonable
> > > 2) you certainly may talk such of categories that *have* ob/hom split.. i think, this is special of more general case. what you think?
> > What issue do you take with Cartesian products in the non finite case?
> > All categories have objects and morphisms. That's a part of the definition of a category
> 1) literal impossibility of construction. clear coherence violation, imo
> 2) definition is fiat imputation of pre-2023 mathematic convention. like saying "earth is definition of center of univers", no? in my view, probably
Why is it an impossible construction?

Re: AC formalism of choice function hides assumption of free cartesian product

<efcd215d-80ff-44eb-8b9f-14b6f2ded7ben@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:622a:11d3:b0:40b:2fd7:55a8 with SMTP id n19-20020a05622a11d300b0040b2fd755a8mr6583qtk.8.1690636647790;
Sat, 29 Jul 2023 06:17:27 -0700 (PDT)
X-Received: by 2002:a05:6870:3a2e:b0:1bb:619a:5047 with SMTP id
du46-20020a0568703a2e00b001bb619a5047mr6332703oab.9.1690636647513; Sat, 29
Jul 2023 06:17:27 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer03.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: Sat, 29 Jul 2023 06:17:27 -0700 (PDT)
In-Reply-To: <dfdf4416-21bc-4000-8fef-15008ccc094fn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=68.194.102.95; posting-account=Z6CeyQoAAACsaJ1EmXftec4XxuAHogsM
NNTP-Posting-Host: 68.194.102.95
References: <dbc8d5ee-ef65-4007-8cd0-459380d3db45n@googlegroups.com>
<c76dde84-e29d-4ade-b044-d839e4c1bb47n@googlegroups.com> <e947685c-b4ca-4d89-a9c3-2ef9a250d6f7n@googlegroups.com>
<88e786af-82cc-4353-9b0d-1bd02d722b6bn@googlegroups.com> <dfdf4416-21bc-4000-8fef-15008ccc094fn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <efcd215d-80ff-44eb-8b9f-14b6f2ded7ben@googlegroups.com>
Subject: Re: AC formalism of choice function hides assumption of free
cartesian product
From: gwendoly...@gmail.com (gwen w)
Injection-Date: Sat, 29 Jul 2023 13:17:27 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 5296
 by: gwen w - Sat, 29 Jul 2023 13:17 UTC

On Saturday, July 29, 2023 at 8:57:25 AM UTC-4, gwen w wrote:
> On Saturday, July 29, 2023 at 8:53:47 AM UTC-4, markus...@gmail.com wrote:
> > lördag 29 juli 2023 kl. 14:48:31 UTC+2 skrev gwen w:
> > > On Saturday, July 29, 2023 at 8:42:16 AM UTC-4, markus...@gmail.com wrote:
> > > > lördag 29 juli 2023 kl. 02:02:01 UTC+2 skrev gwen w:
> > > > > there you have it on top of the tin but to restate here: AC formalism of choice function hides assumption of free cartesian product.
> > > > >
> > > > > what think? i am not formally qualified expert of opinion on this topic, however, gpt record with some more explication here: https://chat.openai.com/share/2a42ac5e-0f2d-45e3-8654-7d9a32cd02f4
> > > > >
> > > > > to be clear, gpt did not generate this claim. i told it, and it found no obvious contradiction. now i solicit expert of advice opinion.
> > > > >
> > > > > restricted product means paradox evaporation because only constructible sets now exist, right? again, not expert, thank. however, i think, set/class split now can poof, peace out, right? no more struggle over "what a class is" if we now free to say some sets just aren't there. task is now to say why the ones that are, are.
> > > > >
> > > > > also, split of category into ob/hom totally unsupportable, in my view. fiat imposition of static type over dynamic zone, as mentioned to gpt..
> > > > >
> > > > > what people of math think, please? is it math or no? i may not be math, but am very software engineer, hence recognize bad design of artificial complexity when seen, i think. what do you think? i think, you fix foundation flaws, you revise math corpus to fit new paradigm, poof, your work probably much easier all of sudden. this is only speculation at this point, however. what do you think?
> > > > You don't need ever axiom of choice in order to construct the Cartesian products of finitely many sets. You can write that set down explicitly.. You only need the axiom of choice for ARBITRARY many sets.
> > > >
> > > > Why can't we talk about the objects and homomorpisms in a category?
> > > thanks for engagement! is custom on group to place response after quote text? sorry, i try adhere from now on. anyway
> > >
> > > 1) certainly tend to agree that for finite combinations Cartesian construction is reasonable
> > > 2) you certainly may talk such of categories that *have* ob/hom split.. i think, this is special of more general case. what you think?
> > What issue do you take with Cartesian products in the non finite case?
> > All categories have objects and morphisms. That's a part of the definition of a category
> 1) literal impossibility of construction. clear coherence violation, imo
> 2) definition is fiat imputation of pre-2023 mathematic convention. like saying "earth is definition of center of univers", no? in my view, probably

synoptically i put that if mathematicians want mathematics to represent reality, then they must be willing to revise cherished formulae. i understand of reluctance, i was so accustomed to this formalism. but, is just formalism, in my view. weakening of axioms give wider field of inclusion and clarifies special nature of known cases cognizable through pre-existing paradigm. how sound?

i put in connexion of common software engineering fallacy of distinguishing between zillion of formally distinct but semantically equivalent representations. 0 ~ 0.0 ~ "" ~ nil ~ [] ~ () ~ [""] ~ undefined ~ [0] ~ "0" ~ false . ridiculous complexity of interface protocol failure is due to this type of practice. same in math, i would think. it's just zero, come on! what do you think??

Re: AC formalism of choice function hides assumption of free cartesian product

<c1feb139-515e-4df5-8f06-f40d06a84c6fn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:622a:1a24:b0:403:a627:8b79 with SMTP id f36-20020a05622a1a2400b00403a6278b79mr17720qtb.13.1690636733819;
Sat, 29 Jul 2023 06:18:53 -0700 (PDT)
X-Received: by 2002:a05:6870:c7af:b0:1bb:3fd4:6cc2 with SMTP id
dy47-20020a056870c7af00b001bb3fd46cc2mr6451280oab.6.1690636733636; Sat, 29
Jul 2023 06:18:53 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer03.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: Sat, 29 Jul 2023 06:18:53 -0700 (PDT)
In-Reply-To: <e43c594e-c3dc-41f1-b821-317203f8f14dn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=68.194.102.95; posting-account=Z6CeyQoAAACsaJ1EmXftec4XxuAHogsM
NNTP-Posting-Host: 68.194.102.95
References: <dbc8d5ee-ef65-4007-8cd0-459380d3db45n@googlegroups.com>
<c76dde84-e29d-4ade-b044-d839e4c1bb47n@googlegroups.com> <e947685c-b4ca-4d89-a9c3-2ef9a250d6f7n@googlegroups.com>
<88e786af-82cc-4353-9b0d-1bd02d722b6bn@googlegroups.com> <dfdf4416-21bc-4000-8fef-15008ccc094fn@googlegroups.com>
<e43c594e-c3dc-41f1-b821-317203f8f14dn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <c1feb139-515e-4df5-8f06-f40d06a84c6fn@googlegroups.com>
Subject: Re: AC formalism of choice function hides assumption of free
cartesian product
From: gwendoly...@gmail.com (gwen w)
Injection-Date: Sat, 29 Jul 2023 13:18:53 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 5129
 by: gwen w - Sat, 29 Jul 2023 13:18 UTC

On Saturday, July 29, 2023 at 9:15:15 AM UTC-4, markus...@gmail.com wrote:
> lördag 29 juli 2023 kl. 14:57:25 UTC+2 skrev gwen w:
> > On Saturday, July 29, 2023 at 8:53:47 AM UTC-4, markus...@gmail..com wrote:
> > > lördag 29 juli 2023 kl. 14:48:31 UTC+2 skrev gwen w:
> > > > On Saturday, July 29, 2023 at 8:42:16 AM UTC-4, markus...@gmail.com wrote:
> > > > > lördag 29 juli 2023 kl. 02:02:01 UTC+2 skrev gwen w:
> > > > > > there you have it on top of the tin but to restate here: AC formalism of choice function hides assumption of free cartesian product.
> > > > > >
> > > > > > what think? i am not formally qualified expert of opinion on this topic, however, gpt record with some more explication here: https://chat..openai.com/share/2a42ac5e-0f2d-45e3-8654-7d9a32cd02f4
> > > > > >
> > > > > > to be clear, gpt did not generate this claim. i told it, and it found no obvious contradiction. now i solicit expert of advice opinion.
> > > > > >
> > > > > > restricted product means paradox evaporation because only constructible sets now exist, right? again, not expert, thank. however, i think, set/class split now can poof, peace out, right? no more struggle over "what a class is" if we now free to say some sets just aren't there. task is now to say why the ones that are, are.
> > > > > >
> > > > > > also, split of category into ob/hom totally unsupportable, in my view. fiat imposition of static type over dynamic zone, as mentioned to gpt.
> > > > > >
> > > > > > what people of math think, please? is it math or no? i may not be math, but am very software engineer, hence recognize bad design of artificial complexity when seen, i think. what do you think? i think, you fix foundation flaws, you revise math corpus to fit new paradigm, poof, your work probably much easier all of sudden. this is only speculation at this point, however. what do you think?
> > > > > You don't need ever axiom of choice in order to construct the Cartesian products of finitely many sets. You can write that set down explicitly. You only need the axiom of choice for ARBITRARY many sets.
> > > > >
> > > > > Why can't we talk about the objects and homomorpisms in a category?
> > > > thanks for engagement! is custom on group to place response after quote text? sorry, i try adhere from now on. anyway
> > > >
> > > > 1) certainly tend to agree that for finite combinations Cartesian construction is reasonable
> > > > 2) you certainly may talk such of categories that *have* ob/hom split. i think, this is special of more general case. what you think?
> > > What issue do you take with Cartesian products in the non finite case?
> > > All categories have objects and morphisms. That's a part of the definition of a category
> > 1) literal impossibility of construction. clear coherence violation, imo
> > 2) definition is fiat imputation of pre-2023 mathematic convention. like saying "earth is definition of center of univers", no? in my view, probably
> Why is it an impossible construction?

you tell me! i not one defending it. but, i put that long accustomedhood of persons of math to imaginary absolute power of incoherent construction stipulation has gotten many mathematicians kind of a little bit addicted to playing g-d, in their own domain. pure my opinion, absolutely none of offense intended, again, software engineer right here, believe me, i understand. what think?

Re: AC formalism of choice function hides assumption of free cartesian product

<babe75b2-d450-4583-9f85-8faae2ea3ac0n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:6214:5643:b0:63c:f17e:ccd0 with SMTP id mh3-20020a056214564300b0063cf17eccd0mr17198qvb.8.1690642917677;
Sat, 29 Jul 2023 08:01:57 -0700 (PDT)
X-Received: by 2002:a05:6830:e8d:b0:6b9:c180:ffac with SMTP id
dp13-20020a0568300e8d00b006b9c180ffacmr6277817otb.1.1690642917263; Sat, 29
Jul 2023 08:01:57 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border-2.nntp.ord.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Sat, 29 Jul 2023 08:01:56 -0700 (PDT)
In-Reply-To: <dbc8d5ee-ef65-4007-8cd0-459380d3db45n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=137.103.113.40; posting-account=n26igQkAAACeF9xA2Ms8cKIdBH40qzwr
NNTP-Posting-Host: 137.103.113.40
References: <dbc8d5ee-ef65-4007-8cd0-459380d3db45n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <babe75b2-d450-4583-9f85-8faae2ea3ac0n@googlegroups.com>
Subject: Re: AC formalism of choice function hides assumption of free
cartesian product
From: timbandt...@gmail.com (Timothy Golden)
Injection-Date: Sat, 29 Jul 2023 15:01:57 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 28
 by: Timothy Golden - Sat, 29 Jul 2023 15:01 UTC

On Friday, July 28, 2023 at 8:02:01 PM UTC-4, gwen w wrote:
> there you have it on top of the tin but to restate here: AC formalism of choice function hides assumption of free cartesian product.
>
> what think? i am not formally qualified expert of opinion on this topic, however, gpt record with some more explication here: https://chat.openai.com/share/2a42ac5e-0f2d-45e3-8654-7d9a32cd02f4
>
> to be clear, gpt did not generate this claim. i told it, and it found no obvious contradiction. now i solicit expert of advice opinion.
>
> restricted product means paradox evaporation because only constructible sets now exist, right? again, not expert, thank. however, i think, set/class split now can poof, peace out, right? no more struggle over "what a class is" if we now free to say some sets just aren't there. task is now to say why the ones that are, are.
>
> also, split of category into ob/hom totally unsupportable, in my view. fiat imposition of static type over dynamic zone, as mentioned to gpt.
>
> what people of math think, please? is it math or no? i may not be math, but am very software engineer, hence recognize bad design of artificial complexity when seen, i think. what do you think? i think, you fix foundation flaws, you revise math corpus to fit new paradigm, poof, your work probably much easier all of sudden. this is only speculation at this point, however. what do you think?

You got me to try out GPT a bit. I don't think it is great for mathematics yet. It's quite insistent on proving the user correct.

Re: AC formalism of choice function hides assumption of free cartesian product

<f0deb7ae-5ae6-4853-bbbd-1cbd15ff4eacn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:620a:b95:b0:762:41c7:f66b with SMTP id k21-20020a05620a0b9500b0076241c7f66bmr17071qkh.10.1690656842544;
Sat, 29 Jul 2023 11:54:02 -0700 (PDT)
X-Received: by 2002:a05:6870:c8a7:b0:1bb:734c:eb8b with SMTP id
er39-20020a056870c8a700b001bb734ceb8bmr13221771oab.0.1690656842078; Sat, 29
Jul 2023 11:54:02 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer01.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: Sat, 29 Jul 2023 11:54:01 -0700 (PDT)
In-Reply-To: <c1feb139-515e-4df5-8f06-f40d06a84c6fn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=84.216.129.214; posting-account=wiRvHAoAAABfPDgWKAHj9ss0MiPpqfE2
NNTP-Posting-Host: 84.216.129.214
References: <dbc8d5ee-ef65-4007-8cd0-459380d3db45n@googlegroups.com>
<c76dde84-e29d-4ade-b044-d839e4c1bb47n@googlegroups.com> <e947685c-b4ca-4d89-a9c3-2ef9a250d6f7n@googlegroups.com>
<88e786af-82cc-4353-9b0d-1bd02d722b6bn@googlegroups.com> <dfdf4416-21bc-4000-8fef-15008ccc094fn@googlegroups.com>
<e43c594e-c3dc-41f1-b821-317203f8f14dn@googlegroups.com> <c1feb139-515e-4df5-8f06-f40d06a84c6fn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <f0deb7ae-5ae6-4853-bbbd-1cbd15ff4eacn@googlegroups.com>
Subject: Re: AC formalism of choice function hides assumption of free
cartesian product
From: markuskl...@gmail.com (markus...@gmail.com)
Injection-Date: Sat, 29 Jul 2023 18:54:02 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 5522
 by: markus...@gmail.com - Sat, 29 Jul 2023 18:54 UTC

lördag 29 juli 2023 kl. 15:18:58 UTC+2 skrev gwen w:
> On Saturday, July 29, 2023 at 9:15:15 AM UTC-4, markus...@gmail.com wrote:
> > lördag 29 juli 2023 kl. 14:57:25 UTC+2 skrev gwen w:
> > > On Saturday, July 29, 2023 at 8:53:47 AM UTC-4, markus...@gmail.com wrote:
> > > > lördag 29 juli 2023 kl. 14:48:31 UTC+2 skrev gwen w:
> > > > > On Saturday, July 29, 2023 at 8:42:16 AM UTC-4, markus...@gmail.com wrote:
> > > > > > lördag 29 juli 2023 kl. 02:02:01 UTC+2 skrev gwen w:
> > > > > > > there you have it on top of the tin but to restate here: AC formalism of choice function hides assumption of free cartesian product.
> > > > > > >
> > > > > > > what think? i am not formally qualified expert of opinion on this topic, however, gpt record with some more explication here: https://chat.openai.com/share/2a42ac5e-0f2d-45e3-8654-7d9a32cd02f4
> > > > > > >
> > > > > > > to be clear, gpt did not generate this claim. i told it, and it found no obvious contradiction. now i solicit expert of advice opinion.
> > > > > > >
> > > > > > > restricted product means paradox evaporation because only constructible sets now exist, right? again, not expert, thank. however, i think, set/class split now can poof, peace out, right? no more struggle over "what a class is" if we now free to say some sets just aren't there. task is now to say why the ones that are, are.
> > > > > > >
> > > > > > > also, split of category into ob/hom totally unsupportable, in my view. fiat imposition of static type over dynamic zone, as mentioned to gpt.
> > > > > > >
> > > > > > > what people of math think, please? is it math or no? i may not be math, but am very software engineer, hence recognize bad design of artificial complexity when seen, i think. what do you think? i think, you fix foundation flaws, you revise math corpus to fit new paradigm, poof, your work probably much easier all of sudden. this is only speculation at this point, however. what do you think?
> > > > > > You don't need ever axiom of choice in order to construct the Cartesian products of finitely many sets. You can write that set down explicitly. You only need the axiom of choice for ARBITRARY many sets.
> > > > > >
> > > > > > Why can't we talk about the objects and homomorpisms in a category?
> > > > > thanks for engagement! is custom on group to place response after quote text? sorry, i try adhere from now on. anyway
> > > > >
> > > > > 1) certainly tend to agree that for finite combinations Cartesian construction is reasonable
> > > > > 2) you certainly may talk such of categories that *have* ob/hom split. i think, this is special of more general case. what you think?
> > > > What issue do you take with Cartesian products in the non finite case?
> > > > All categories have objects and morphisms. That's a part of the definition of a category
> > > 1) literal impossibility of construction. clear coherence violation, imo
> > > 2) definition is fiat imputation of pre-2023 mathematic convention. like saying "earth is definition of center of univers", no? in my view, probably
> > Why is it an impossible construction?
> you tell me! i not one defending it. but, i put that long accustomedhood of persons of math to imaginary absolute power of incoherent construction stipulation has gotten many mathematicians kind of a little bit addicted to playing g-d, in their own domain. pure my opinion, absolutely none of offense intended, again, software engineer right here, believe me, i understand. what think?
I think you are a software engineer with little to no training in formal mathematics. Sure, mathematics is sometimes just s mind game. Does that matter? As long as it is consistent, it works.

Re: AC formalism of choice function hides assumption of free cartesian product

<87edkqxwcj.fsf@bsb.me.uk>

  copy mid

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

  copy link   Newsgroups: sci.math
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: ben.use...@bsb.me.uk (Ben Bacarisse)
Newsgroups: sci.math
Subject: Re: AC formalism of choice function hides assumption of free cartesian product
Date: Sat, 29 Jul 2023 22:05:00 +0100
Organization: A noiseless patient Spider
Lines: 15
Message-ID: <87edkqxwcj.fsf@bsb.me.uk>
References: <dbc8d5ee-ef65-4007-8cd0-459380d3db45n@googlegroups.com>
<c76dde84-e29d-4ade-b044-d839e4c1bb47n@googlegroups.com>
<e947685c-b4ca-4d89-a9c3-2ef9a250d6f7n@googlegroups.com>
<88e786af-82cc-4353-9b0d-1bd02d722b6bn@googlegroups.com>
<dfdf4416-21bc-4000-8fef-15008ccc094fn@googlegroups.com>
<efcd215d-80ff-44eb-8b9f-14b6f2ded7ben@googlegroups.com>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Info: dont-email.me; posting-host="7dc7094286c70ffc9164d202debea076";
logging-data="2858457"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19wWnJJLZjXeFjGl94wKLdvo13I4wrWXL8="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux)
Cancel-Lock: sha1:0G/1dPzkNN/dWqRlK83xNsQMG5g=
sha1:8hzUA1nRH6BZjL+jKQ3zUL20rsY=
X-BSB-Auth: 1.c5b2234a4a6c20ca6b4c.20230729220500BST.87edkqxwcj.fsf@bsb.me.uk
 by: Ben Bacarisse - Sat, 29 Jul 2023 21:05 UTC

gwen w <gwendolyn.whelan@gmail.com> writes:

> synoptically i put that if mathematicians want mathematics to
> represent reality, then they must be willing to revise cherished
> formulae.

Ah, you are one of those. The trouble is that mathematics has been
exceptionally successful at representing reality. Every time that
physics or chemistry or biology has needed some new mathematics,
mathematics has been up to the challenge. The converse is not true of
course -- reality is very poor at modelling mathematics, but that does
not seem to matter.

--
Ben.

Re: AC formalism of choice function hides assumption of free cartesian product

<b0a0e3dd-7bbf-48b3-8935-f78f90340d2an@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:622a:8093:b0:40a:9069:895b with SMTP id js19-20020a05622a809300b0040a9069895bmr17409qtb.2.1690666784295;
Sat, 29 Jul 2023 14:39:44 -0700 (PDT)
X-Received: by 2002:a25:8244:0:b0:d0d:6067:3f43 with SMTP id
d4-20020a258244000000b00d0d60673f43mr54341ybn.2.1690666783963; Sat, 29 Jul
2023 14:39:43 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.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: Sat, 29 Jul 2023 14:39:43 -0700 (PDT)
In-Reply-To: <6b9629bd-f86e-4fdb-a1d4-65e3762903e7n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2600:387:15:2711:0:0:0:2;
posting-account=fsC03QkAAAAwkSNcSEKmlcR-W_HNitEd
NNTP-Posting-Host: 2600:387:15:2711:0:0:0:2
References: <dbc8d5ee-ef65-4007-8cd0-459380d3db45n@googlegroups.com> <6b9629bd-f86e-4fdb-a1d4-65e3762903e7n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <b0a0e3dd-7bbf-48b3-8935-f78f90340d2an@googlegroups.com>
Subject: Re: AC formalism of choice function hides assumption of free
cartesian product
From: plutoniu...@gmail.com (Archimedes Plutonium)
Injection-Date: Sat, 29 Jul 2023 21:39:44 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2290
 by: Archimedes Plutonium - Sat, 29 Jul 2023 21:39 UTC

Can no more lobsters be boiled alive?

Stop and HALT the boiling of live lobsters and live crabs

Be humane to wild animals, do not torture them in death by boiling them while alive. Sure no-one cares to see spam from FBI, CIA, Mi6, police drag net garbage that floods sci.math and sci.physics everyday. I have kindly asked President Biden to kindly remove this drag net spam from all of sci.math and sci.physics and leave them as spam free zones.

>
>
>
> ////////
> |:---[.]
> |( _J
> | ^ ( _|
> / \_____)
> / _____ \
> | / \ .
> | | |
> \ /\ /\__
> | | \/---
> \ \ )________________\\ \\\
> | >_____/_____)============
> \__________/ ==============
> / \ -----------------------------// ///
> | | ~~
> \ \\
> \ |\
> \ | \
> \ | |
> | | |
> | | |
> | / |
> |________/____|
> (_________)____)
>

Re: AC formalism of choice function hides assumption of free cartesian product

<6bb2e670-e25f-4d42-9f77-33ff5daf2314n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:620a:1721:b0:76c:729f:5646 with SMTP id az33-20020a05620a172100b0076c729f5646mr17841qkb.5.1690667989526;
Sat, 29 Jul 2023 14:59:49 -0700 (PDT)
X-Received: by 2002:a05:6870:1a8f:b0:1b0:2eab:e7e2 with SMTP id
ef15-20020a0568701a8f00b001b02eabe7e2mr7219722oab.0.1690667989188; Sat, 29
Jul 2023 14:59:49 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.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: Sat, 29 Jul 2023 14:59:48 -0700 (PDT)
In-Reply-To: <b0a0e3dd-7bbf-48b3-8935-f78f90340d2an@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=68.194.102.95; posting-account=Z6CeyQoAAACsaJ1EmXftec4XxuAHogsM
NNTP-Posting-Host: 68.194.102.95
References: <dbc8d5ee-ef65-4007-8cd0-459380d3db45n@googlegroups.com>
<6b9629bd-f86e-4fdb-a1d4-65e3762903e7n@googlegroups.com> <b0a0e3dd-7bbf-48b3-8935-f78f90340d2an@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <6bb2e670-e25f-4d42-9f77-33ff5daf2314n@googlegroups.com>
Subject: Re: AC formalism of choice function hides assumption of free
cartesian product
From: gwendoly...@gmail.com (gwen w)
Injection-Date: Sat, 29 Jul 2023 21:59:49 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1619
 by: gwen w - Sat, 29 Jul 2023 21:59 UTC

thanks arch flower, truly appreciated <3 full agree literal true title imputation of amatrue software engineer. yes, ok? i grant! full one of ..... those >.<

so u mean not put in time of commitment to formal math trainin camp means no valid ov obswervation concernin obvious shaky foundations? good luck of householeing my frien lol

STUDENTS BEWARE: Don't be a victim of AP's fake math and science

<52ec5503-b881-498e-9ab4-4c9a687da2f7n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:ad4:4af0:0:b0:635:b307:af36 with SMTP id cp16-20020ad44af0000000b00635b307af36mr23021qvb.7.1690686323070;
Sat, 29 Jul 2023 20:05:23 -0700 (PDT)
X-Received: by 2002:a05:6808:180b:b0:3a3:9990:f396 with SMTP id
bh11-20020a056808180b00b003a39990f396mr11949529oib.11.1690686322772; Sat, 29
Jul 2023 20:05:22 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border-2.nntp.ord.giganews.com!border-1.nntp.ord.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Sat, 29 Jul 2023 20:05:22 -0700 (PDT)
In-Reply-To: <6b9629bd-f86e-4fdb-a1d4-65e3762903e7n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=163.182.225.42; posting-account=OWfgwwgAAADQpH2XgMDMe2wuQ7OFPXlE
NNTP-Posting-Host: 163.182.225.42
References: <dbc8d5ee-ef65-4007-8cd0-459380d3db45n@googlegroups.com> <6b9629bd-f86e-4fdb-a1d4-65e3762903e7n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <52ec5503-b881-498e-9ab4-4c9a687da2f7n@googlegroups.com>
Subject: STUDENTS BEWARE: Don't be a victim of AP's fake math and science
From: Dan_Chri...@sympatico.ca (Dan Christensen)
Injection-Date: Sun, 30 Jul 2023 03:05:23 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 119
 by: Dan Christensen - Sun, 30 Jul 2023 03:05 UTC

STUDENTS BEWARE: Don't be a victim of AP's fake math and science

On Saturday, July 29, 2023 at 12:09:25 AM UTC-4, Archimedes Plutonium wrote:

> [snip] ... Dan Christensen

[snip]

Time for another spanking, Archie Poo! When will you learn? Once again...

From his antics here at sci.math, it is obvious that AP has abandoned all hope of being recognized as a credible personality. He is a malicious internet troll who now wants only to mislead and confuse students. He may not be all there, but his fake math and science can only be meant to promote failure in schools. One can only guess at his motives. Is it revenge for his endless string of personal failures in life? Who knows?

In AP's OWN WORDS that, over the years here, he has NEVER renounced or withdrawn:

"Water is really H4O, not H2O." ********** NEW **********
--July 27, 2023

"Negative numbers are the witches and hobgoblins of insane kook mathematicians. "
--Dec. 7, 2022

“Primes do not exist, because the set they were borne from has no division.”
--June 29, 2020

“The last and largest finite number is 10^604.”
--June 3, 2015

“0 appears to be the last and largest finite number”
--June 9, 2015

“0/0 must be equal to 1.”
-- June 9, 2015

“0 is an infinite irrational number.”
--June 28, 2015

“No negative numbers exist.”
--December 22, 2018

“Rationals are not numbers.”
--May 18, 2019

According to AP's “chess board math,” an equilateral triangle is a right-triangle.
--December 11, 2019

Which could explain...

“The value of sin(45 degrees) = 1.” (Actually 0.707)
--May 31, 2019

AP deliberately and repeatedly presented the truth table for OR as the truth table for AND:

“New Logic
AND
T & T = T
T & F = T
F & T = T
F & F = F”
--November 9, 2019

AP seeks aid of Russian agents to promote failure in schools:

"Please--Asking for help from Russia-- russian robots-- to create a new, true mathematics [sic]. What I like for the robots to do, is list every day, about 4 Colleges ( of the West) math dept, and ask why that math department is teaching false and fake math, and if unable to change to the correct true math, well, simply fire that math department until they can find professors who recognize truth in math from fakery...."
--November 9, 2017

And if that wasn't weird enough...

“The totality, everything that there is [the universe], is only 1 atom of plutonium [Pu]. There is nothing outside or beyond this one atom of plutonium.”
--April 4, 1994

“The Universe itself is one gigantic big atom.”
--November 14, 2019

AP's sinister Atom God Cult of Failure???

“Since God-Pu is marching on.
Glory! Glory! Atom Plutonium!
Its truth is marching on.
It has sounded forth the trumpet that shall never call retreat;
It is sifting out the hearts of people before its judgment seat;
Oh, be swift, my soul, to answer it; be jubilant, my feet!
Our God-Pu is marching on.”
--December 15, 2018 (Note: Pu is the atomic symbol for plutonium)

Updated version (repetition removed):

"Oh Atom Plutonium, as great as you are
How great thou are, are, are, are.
Oh Atom Plutonium, the God that you are
How beautiful is your world of science
Your science is the world
How beautiful is your world of science
Your science is the world
Oh Atom Plutonium, Great God of Atoms
Atom of Atoms
Oh Atom Plutonium, as great as thou art"
--March 24, 2023

Dan

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

Re: AC formalism of choice function hides assumption of free cartesian product

<c951e41c-7e2e-4749-b791-b314bd45ff63n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:620a:2452:b0:76a:6993:c4d8 with SMTP id h18-20020a05620a245200b0076a6993c4d8mr20763qkn.14.1690702135296;
Sun, 30 Jul 2023 00:28:55 -0700 (PDT)
X-Received: by 2002:a05:6808:1904:b0:3a3:f0a5:847b with SMTP id
bf4-20020a056808190400b003a3f0a5847bmr12861966oib.9.1690702134852; Sun, 30
Jul 2023 00:28:54 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer03.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, 30 Jul 2023 00:28:54 -0700 (PDT)
In-Reply-To: <b0a0e3dd-7bbf-48b3-8935-f78f90340d2an@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=84.216.129.214; posting-account=wiRvHAoAAABfPDgWKAHj9ss0MiPpqfE2
NNTP-Posting-Host: 84.216.129.214
References: <dbc8d5ee-ef65-4007-8cd0-459380d3db45n@googlegroups.com>
<6b9629bd-f86e-4fdb-a1d4-65e3762903e7n@googlegroups.com> <b0a0e3dd-7bbf-48b3-8935-f78f90340d2an@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <c951e41c-7e2e-4749-b791-b314bd45ff63n@googlegroups.com>
Subject: Re: AC formalism of choice function hides assumption of free
cartesian product
From: markuskl...@gmail.com (markus...@gmail.com)
Injection-Date: Sun, 30 Jul 2023 07:28:55 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2518
 by: markus...@gmail.com - Sun, 30 Jul 2023 07:28 UTC

lördag 29 juli 2023 kl. 23:39:48 UTC+2 skrev Archimedes Plutonium:
> Can no more lobsters be boiled alive?
>
> Stop and HALT the boiling of live lobsters and live crabs
>
>
>
> Be humane to wild animals, do not torture them in death by boiling them while alive. Sure no-one cares to see spam from FBI, CIA, Mi6, police drag net garbage that floods sci.math and sci.physics everyday. I have kindly asked President Biden to kindly remove this drag net spam from all of sci.math and sci.physics and leave them as spam free zones.
>
> >
> >
> >
> > ////////
> > |:---[.]
> > |( _J
> > | ^ ( _|
> > / \_____)
> > / _____ \
> > | / \ .
> > | | |
> > \ /\ /\__
> > | | \/---
> > \ \ )________________\\ \\\
> > | >_____/_____)============
> > \__________/ ==============
> > / \ -----------------------------// ///
> > | | ~~
> > \ \\
> > \ |\
> > \ | \
> > \ | |
> > | | |
> > | | |
> > | / |
> > |________/____|
> > (_________)____)
> >
Good luck getting Biden to care

Re: AC formalism of choice function hides assumption of free cartesian product

<e229afeb-d625-4c09-8b86-21da010c0ecdn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:620a:240a:b0:768:421b:a142 with SMTP id d10-20020a05620a240a00b00768421ba142mr59958qkn.4.1690821970995;
Mon, 31 Jul 2023 09:46:10 -0700 (PDT)
X-Received: by 2002:a05:6808:181f:b0:3a4:8115:5e7 with SMTP id
bh31-20020a056808181f00b003a4811505e7mr19876739oib.10.1690821970750; Mon, 31
Jul 2023 09:46:10 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer01.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: Mon, 31 Jul 2023 09:46:10 -0700 (PDT)
In-Reply-To: <87edkqxwcj.fsf@bsb.me.uk>
Injection-Info: google-groups.googlegroups.com; posting-host=73.42.202.185; posting-account=71XbuAoAAACx3_UV8yBrbgOAHUYjIUR6
NNTP-Posting-Host: 73.42.202.185
References: <dbc8d5ee-ef65-4007-8cd0-459380d3db45n@googlegroups.com>
<c76dde84-e29d-4ade-b044-d839e4c1bb47n@googlegroups.com> <e947685c-b4ca-4d89-a9c3-2ef9a250d6f7n@googlegroups.com>
<88e786af-82cc-4353-9b0d-1bd02d722b6bn@googlegroups.com> <dfdf4416-21bc-4000-8fef-15008ccc094fn@googlegroups.com>
<efcd215d-80ff-44eb-8b9f-14b6f2ded7ben@googlegroups.com> <87edkqxwcj.fsf@bsb.me.uk>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <e229afeb-d625-4c09-8b86-21da010c0ecdn@googlegroups.com>
Subject: Re: AC formalism of choice function hides assumption of free
cartesian product
From: fredjeff...@gmail.com (FredJeffries)
Injection-Date: Mon, 31 Jul 2023 16:46:10 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2426
 by: FredJeffries - Mon, 31 Jul 2023 16:46 UTC

On Saturday, July 29, 2023 at 2:05:11 PM UTC-7, Ben Bacarisse wrote:
> gwen w <gwendoly...@gmail.com> writes:
>
> > synoptically i put that if mathematicians want mathematics to
> > represent reality, then they must be willing to revise cherished
> > formulae.
> Ah, you are one of those. The trouble is that mathematics has been
> exceptionally successful at representing reality. Every time that
> physics or chemistry or biology has needed some new mathematics,
> mathematics has been up to the challenge.

https://en.wikipedia.org/wiki/Unreasonable_ineffectiveness_of_mathematics

https://arxiv.org/abs/2103.04190

https://ieeexplore.ieee.org/document/6600840

> The converse is not true of
> course -- reality is very poor at modelling mathematics, but that does
> not seem to matter.

Mathematicians are not part of 'realty'?

>
> --
> Ben.

Re: AC formalism of choice function hides assumption of free cartesian product

<b9db4a89-bd65-4527-9627-8420b5c27ff5n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:622a:19a5:b0:403:996b:3ae with SMTP id u37-20020a05622a19a500b00403996b03aemr35410qtc.9.1690824665680;
Mon, 31 Jul 2023 10:31:05 -0700 (PDT)
X-Received: by 2002:a05:6830:22f3:b0:6b8:6c43:12ab with SMTP id
t19-20020a05683022f300b006b86c4312abmr11976703otc.2.1690824665334; Mon, 31
Jul 2023 10:31:05 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer01.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: Mon, 31 Jul 2023 10:31:04 -0700 (PDT)
In-Reply-To: <e229afeb-d625-4c09-8b86-21da010c0ecdn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=84.216.157.86; posting-account=wiRvHAoAAABfPDgWKAHj9ss0MiPpqfE2
NNTP-Posting-Host: 84.216.157.86
References: <dbc8d5ee-ef65-4007-8cd0-459380d3db45n@googlegroups.com>
<c76dde84-e29d-4ade-b044-d839e4c1bb47n@googlegroups.com> <e947685c-b4ca-4d89-a9c3-2ef9a250d6f7n@googlegroups.com>
<88e786af-82cc-4353-9b0d-1bd02d722b6bn@googlegroups.com> <dfdf4416-21bc-4000-8fef-15008ccc094fn@googlegroups.com>
<efcd215d-80ff-44eb-8b9f-14b6f2ded7ben@googlegroups.com> <87edkqxwcj.fsf@bsb.me.uk>
<e229afeb-d625-4c09-8b86-21da010c0ecdn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <b9db4a89-bd65-4527-9627-8420b5c27ff5n@googlegroups.com>
Subject: Re: AC formalism of choice function hides assumption of free
cartesian product
From: markuskl...@gmail.com (markus...@gmail.com)
Injection-Date: Mon, 31 Jul 2023 17:31:05 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2709
 by: markus...@gmail.com - Mon, 31 Jul 2023 17:31 UTC

måndag 31 juli 2023 kl. 18:46:15 UTC+2 skrev FredJeffries:
> On Saturday, July 29, 2023 at 2:05:11 PM UTC-7, Ben Bacarisse wrote:
> > gwen w <gwendoly...@gmail.com> writes:
> >
> > > synoptically i put that if mathematicians want mathematics to
> > > represent reality, then they must be willing to revise cherished
> > > formulae.
> > Ah, you are one of those. The trouble is that mathematics has been
> > exceptionally successful at representing reality. Every time that
> > physics or chemistry or biology has needed some new mathematics,
> > mathematics has been up to the challenge.
> https://en.wikipedia.org/wiki/Unreasonable_ineffectiveness_of_mathematics
>
> https://arxiv.org/abs/2103.04190
>
> https://ieeexplore.ieee.org/document/6600840
> > The converse is not true of
> > course -- reality is very poor at modelling mathematics, but that does
> > not seem to matter.
> Mathematicians are not part of 'realty'?
>
> >
> > --
> > Ben.
Only in the sense you need physical matter in order to think.

Re: AC formalism of choice function hides assumption of free cartesian product

<Mathematics-20230731205110@ram.dialup.fu-berlin.de>

  copy mid

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

  copy link   Newsgroups: sci.math
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!fu-berlin.de!uni-berlin.de!not-for-mail
From: ram...@zedat.fu-berlin.de (Stefan Ram)
Newsgroups: sci.math
Subject: Re: AC formalism of choice function hides assumption of free cartesian product
Date: 31 Jul 2023 19:57:51 GMT
Organization: Stefan Ram
Lines: 50
Expires: 1 Jul 2024 11:59:58 GMT
Message-ID: <Mathematics-20230731205110@ram.dialup.fu-berlin.de>
References: <dbc8d5ee-ef65-4007-8cd0-459380d3db45n@googlegroups.com> <c76dde84-e29d-4ade-b044-d839e4c1bb47n@googlegroups.com> <e947685c-b4ca-4d89-a9c3-2ef9a250d6f7n@googlegroups.com> <88e786af-82cc-4353-9b0d-1bd02d722b6bn@googlegroups.com> <dfdf4416-21bc-4000-8fef-15008ccc094fn@googlegroups.com> <efcd215d-80ff-44eb-8b9f-14b6f2ded7ben@googlegroups.com> <87edkqxwcj.fsf@bsb.me.uk> <e229afeb-d625-4c09-8b86-21da010c0ecdn@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Trace: news.uni-berlin.de /xglRROhJ1Jbj0iA1VfvRAtljQRuxhgHOn/BuCUyP7h2yB
Cancel-Lock: sha1:5ViDdXv1L/OR8FnpDu/tsTr1g1A= sha256:nEoxkrOchd6WhSt91u7ux4p5GbL7A5PfbVjzL1EDF2g=
X-Copyright: (C) Copyright 2023 Stefan Ram. All rights reserved.
Distribution through any means other than regular usenet
channels is forbidden. It is forbidden to publish this
article in the Web, to change URIs of this article into links,
and to transfer the body without this notice, but quotations
of parts in other Usenet posts are allowed.
X-No-Archive: Yes
Archive: no
X-No-Archive-Readme: "X-No-Archive" is set, because this prevents some
services to mirror the article in the web. But the article may
be kept on a Usenet archive server with only NNTP access.
X-No-Html: yes
Content-Language: en-US
Accept-Language: de-DE-1901, en-US, it, fr-FR
 by: Stefan Ram - Mon, 31 Jul 2023 19:57 UTC

FredJeffries <fredjeffries@gmail.com> writes:
>Mathematicians are not part of 'realty'?

I will not address your question directly, but will write
something about where mathematics is "ineffective" in physics!

I have been reluctant to learn some parts of physics because the
teachers did not make the underlying mathematical structures clear.
I thought it was ignorance on part of the teachers. But today I
see that physicist really do work a the frontiers of knowledge and
sometimes without mathematical foundations and it is only later
that sometimes math catches on. Slowly, I come to see this
capability of physicists as a strength and not as ignorance.

Let me quote Joseph Conlon from his book "Why String Theory?":

|The second point of clarity is that it will also not be a
|mathematical answer. Mathematicians work with precise and
|well-defined objects. The AdS/CFT correspondence involves on
|the one hand string theory and on the other hand quantum
|field theory. Neither side of the correspondence involves an
|object with a rigorous mathematical definition. Forty years
|after the correct theory of the strong force was established,
|there remains a one million dollar prize from the Clay
|Mathematics Foundation for showing that this theory exists
|mathematically and determining some of its (well-established)
|properties.
"Why String Theory" (2016) - Joseph Conlon (1981/).

And here's a quotation from Freeman Dyson:

|All through its history, quantum field theory has had two
|faces, one looking outward, the other looking inward. The
|outward face looks at nature and gives us numbers that we can
|calculate and compare with experiments. The inward face looks
|at mathematical concepts and searches for a consistent
|foundation on which to build the theory. The outward face
|shows us brilliantly successful theory, bringing order to the
|chaos of particle interactions, predicting experimental
|results with astonishing precision. The inward face shows us
|a deep mystery. After seventy years of searching, we have
|found no consistent mathematical basis for the theory. When
|we try to impose the rigorous standards of pure mathematics,
|the theory becomes undefined or inconsistent. From the point
|of view of a pure mathematician, the theory does not exist.
|This is the great unsolved paradox of quantum field theory.
Freeman Dyson in "Quantum Field Theory, A 20th Century Profile"
(2000).

Re: AC formalism of choice function hides assumption of free cartesian product

<87h6pj94pp.fsf@fatphil.org>

  copy mid

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

  copy link   Newsgroups: sci.math
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: pc+use...@asdf.org (Phil Carmody)
Newsgroups: sci.math
Subject: Re: AC formalism of choice function hides assumption of free cartesian product
Date: Tue, 01 Aug 2023 00:00:18 +0300
Organization: A noiseless patient Spider
Lines: 22
Message-ID: <87h6pj94pp.fsf@fatphil.org>
References: <dbc8d5ee-ef65-4007-8cd0-459380d3db45n@googlegroups.com>
<c76dde84-e29d-4ade-b044-d839e4c1bb47n@googlegroups.com>
<e947685c-b4ca-4d89-a9c3-2ef9a250d6f7n@googlegroups.com>
<88e786af-82cc-4353-9b0d-1bd02d722b6bn@googlegroups.com>
<dfdf4416-21bc-4000-8fef-15008ccc094fn@googlegroups.com>
<efcd215d-80ff-44eb-8b9f-14b6f2ded7ben@googlegroups.com>
<87edkqxwcj.fsf@bsb.me.uk>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Info: dont-email.me; posting-host="4a85648ec9af9a971e16b866eb56b2a3";
logging-data="3559118"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX193T4sVh3Tvawg1fy2BuANX"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux)
Cancel-Lock: sha1:wscQTG7rJyFBv237jZ9zUQp3roI=
sha1:wQkgv9mR2l6BzjI+SwLgLvStZV8=
 by: Phil Carmody - Mon, 31 Jul 2023 21:00 UTC

Ben Bacarisse <ben.usenet@bsb.me.uk> writes:
> gwen w <gwendolyn.whelan@gmail.com> writes:
>
>> synoptically i put that if mathematicians want mathematics to
>> represent reality, then they must be willing to revise cherished
>> formulae.
>
> Ah, you are one of those. The trouble is that mathematics has been
> exceptionally successful at representing reality. Every time that
> physics or chemistry or biology has needed some new mathematics,
> mathematics has been up to the challenge. The converse is not true of
> course -- reality is very poor at modelling mathematics, but that does
> not seem to matter.

If solves Navier Stokes equations better than maths can.

Phil
--
We are no longer hunters and nomads. No longer awed and frightened, as we have
gained some understanding of the world in which we live. As such, we can cast
aside childish remnants from the dawn of our civilization.
-- NotSanguine on SoylentNews, after Eugen Weber in /The Western Tradition/

1
server_pubkey.txt

rocksolid light 0.9.8
clearnet tor