Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

"I don't think so," said Ren'e Descartes. Just then, he vanished.

devel / comp.lang.prolog / Re: Its a shame that stackoverflow doesn't support Prolog

SubjectAuthor
o Its a shame that stackoverflow doesn't support PrologMostowski Collapse

1
Re: Its a shame that stackoverflow doesn't support Prolog

<82d1d97c-0691-4d0e-8ff7-22fe0804bccfn@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=9933&group=comp.lang.prolog#9933

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:620a:13fc:b0:69e:90a3:e1bc with SMTP id h28-20020a05620a13fc00b0069e90a3e1bcmr22265710qkl.645.1651235275816;
Fri, 29 Apr 2022 05:27:55 -0700 (PDT)
X-Received: by 2002:a05:6902:1c2:b0:63e:6bd:3a5b with SMTP id
u2-20020a05690201c200b0063e06bd3a5bmr34219150ybh.424.1651235275622; Fri, 29
Apr 2022 05:27:55 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.prolog
Date: Fri, 29 Apr 2022 05:27:55 -0700 (PDT)
In-Reply-To: <fcc72f87-7358-4d17-8fb9-47862fcf10d1n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.70; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.53.70
References: <da6755db-3260-43ac-a133-895750d12cf1n@googlegroups.com>
<233e54ee-91ee-4ba2-8f68-513f4d07d798n@googlegroups.com> <ccf743b4-966c-4cb7-86b9-52fa09543e29n@googlegroups.com>
<f77040c9-48e1-4564-92ef-0e885c3c1affn@googlegroups.com> <996e04a9-bae5-427d-97d0-d2f885d4d71en@googlegroups.com>
<5f6aff85-3645-44f2-be72-20f466592be4n@googlegroups.com> <1236798d-c0ed-49a9-92a0-84824fd7dc47n@googlegroups.com>
<b89141d9-e42e-492b-9966-937e90a96dabn@googlegroups.com> <9b33a1bb-590a-41d4-b828-81c75a7bfee6n@googlegroups.com>
<6ef8637d-265f-4496-b26c-5785a43b8d8an@googlegroups.com> <0fa70496-9886-4920-8d86-65550d45f1a0n@googlegroups.com>
<03149c39-11f7-487d-8c93-3ae738c97983n@googlegroups.com> <643ce77c-3f22-49e5-8d15-fe5c73b1d738n@googlegroups.com>
<a9670c25-a4b0-482d-b3b5-1a45ba41b037n@googlegroups.com> <f89cbc3d-31c8-48ed-a787-ddbec8e48695n@googlegroups.com>
<5cf9c5f4-b8ab-44b1-b615-4601d4767f91n@googlegroups.com> <b29d7544-828f-4fe3-a669-3f793b6d9dcdn@googlegroups.com>
<db5c5de1-2c7e-4043-b13e-2fb38e340322n@googlegroups.com> <376a8cf6-dfd1-4ae1-9bc3-ae402840d3c7n@googlegroups.com>
<d3ce2e4a-d63a-4186-b181-5d9cfee11cb1n@googlegroups.com> <151f68f6-1152-498d-aa5c-7b5f893574ban@googlegroups.com>
<ea30dff1-fe09-49ca-a1b2-fdf9e8f05c58n@googlegroups.com> <2ffd5f04-e481-4548-95d2-8f7f41d01e80n@googlegroups.com>
<83b36374-b371-4f25-a17e-0a2bc78588f7n@googlegroups.com> <bcae4516-04dc-415b-8b86-fe307914df75n@googlegroups.com>
<ff192869-7d1d-4f64-9e47-239ccc2bae5fn@googlegroups.com> <e0c94d46-dafb-4058-9a29-97ec8bf8764fn@googlegroups.com>
<c859ad80-d7be-4c9a-b213-e072f1472f86n@googlegroups.com> <db759a7b-93fc-4027-b7d3-107d60086073n@googlegroups.com>
<3fda4312-fe44-44fd-a3ca-1388e42be0c1n@googlegroups.com> <39b0985e-c653-4949-b9f2-cf73e3e5dc45n@googlegroups.com>
<fcb72325-49da-4557-84bb-1153bd1deb30n@googlegroups.com> <1c4b34de-b6c7-4a6d-8e60-e14ee6841695n@googlegroups.com>
<96be917a-432a-46d7-a4ff-2a3755304df2n@googlegroups.com> <7404e59d-0247-4937-b61e-83ae139ad4a5n@googlegroups.com>
<72327ddd-9fc0-494c-8644-5b592e06c48dn@googlegroups.com> <b835b11f-22cd-47b1-8435-9cc90dbcb563n@googlegroups.com>
<4baeea91-9907-4efd-a5c6-8d977261c71bn@googlegroups.com> <b73a2d7a-bacc-4aa9-a492-c354929650den@googlegroups.com>
<7bbe81ca-3dea-4822-b1ab-0f58e4c8b5dfn@googlegroups.com> <1282effe-9435-490f-9f55-3fead1c8457bn@googlegroups.com>
<8d97013d-a9f2-4d51-8438-ba8ab7a3cf85n@googlegroups.com> <0c45cc76-2666-47d1-a704-172a2ca07480n@googlegroups.com>
<16da971d-a822-4be0-b44c-f93c716c10aen@googlegroups.com> <3fb03a72-be99-48d2-ac19-2cb87966ee81n@googlegroups.com>
<fcc72f87-7358-4d17-8fb9-47862fcf10d1n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <82d1d97c-0691-4d0e-8ff7-22fe0804bccfn@googlegroups.com>
Subject: Re: Its a shame that stackoverflow doesn't support Prolog
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Fri, 29 Apr 2022 12:27:55 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 91
 by: Mostowski Collapse - Fri, 29 Apr 2022 12:27 UTC

If you take into account the Peano apostroph,
its definitively more than 100 years old stuff.
Peano used the apostroph (1888?) in geometry to
denote a shadow. But guess what:

dom(f): The shadow of f on the x-axis
img(f): The shadow of f on the y-axis
(synonym to range rng(f))

Now the modern homo stack exchangis (in the
clade of home trollensis), when doing math, has
totally lost its grounding of math for example in
geometry, and has become a perverted anti-troller.

So just avoid stack exchange, its a cesspool.

Peano’s Logical Language and Grassmann’s Legacy
https://halshs.archives-ouvertes.fr/halshs-00326364/document

Mostowski Collapse schrieb am Freitag, 29. April 2022 um 14:14:37 UTC+2:
> But I guess that trolling me has to do, that
> my answers was the only serious answers, and the
> remaining answers, I deleted my two answers,
>
> are troll answers, which will leave Dan Christensen
> totally in the dark. One answer circumewents introducing
> the function space concept of set theory,
>
> and balantly denies any relationship to set theory,
> the other answer jumps to Bourbaki, and then operates
> with F[X] i.e. not the absolute notion img(F),
>
> but some relative notion img(F|X). So here you have
> it stack exchange rather builds walls, than answers
> some questions, because they can do so.
>
> The people who know the matter possibly enjoy trolling
> stupid questions like those of Dan Christensen,
> so it will take another 30 years until he leaves
>
> his current local maximum of ignorance.
>
> But well he could read a book. Why does he need
> the cesspool of stack exchange? Thats of course his
> fault that he is unable to read a book.
>
> In as far well served stack exchange! Congratulations.
> Mostowski Collapse schrieb am Freitag, 29. April 2022 um 14:12:49 UTC+2:
> > Shoenfield publish in 1960 bit I guess from 1950. So around
> > 70 years. But I am waiting for the moment that a ruSSian Nazi
> > comes around the corner and declares set theory Nazi.
> >
> > Altreay the stack exchange Nazis cannot digest that
> > the real valued function abs : R -> R nicely shows the
> > difference between declared codomain and computed
> >
> > range. There are now comrades on the stack exchange,
> > that deny the status of a fallacy to this here, possibly
> > because they even don't know set exponentiation:
> >
> > /* Not Provable, Fallacy */
> > f e B^A => rng(f) = B
> > I made screenshots of the stack exchange nonsense...
> >
> > LoL
> >
> > The cesspool stack exchange only gives proof again of
> > that this film is an exact prediction of our future. Stack
> > exchange is full of bit rot and inapt to anything usueful.
> >
> > Idiocracy: Garbage Avalanche of 2505
> > https://www.youtube.com/watch?v=fANBbXBp_gM
> > Mostowski Collapse schrieb am Freitag, 29. April 2022 um 11:18:21 UTC+2:
> > > Its amazing that 100 years set theory, this goblet
> > > has surely passed this person, not only Dan Christensen.
> > > Mostowski Collapse schrieb am Freitag, 29. April 2022 um 11:09:47 UTC+2:
> > > > No wonder Logtalk is such a nonsense. This dickhead
> > > > from Porto has no clue about mathematics.
> > > >
> > > > He even doesn't understand this fallacy:
> > > >
> > > > /* Not Provable */
> > > > f e B^A => rng(f) = B
> > > >
> > > > José Carlos de Sousa Oliveira Santos
> > > > https://www.fc.up.pt/mp/jcsantos/
> > > >
> > > > Not the sharpest tool in the shed.

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor