Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

You can't take damsel here now.


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

<3fb03a72-be99-48d2-ac19-2cb87966ee81n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a0c:fd8d:0:b0:456:3481:603c with SMTP id p13-20020a0cfd8d000000b004563481603cmr19636584qvr.69.1651234368568;
Fri, 29 Apr 2022 05:12:48 -0700 (PDT)
X-Received: by 2002:a0d:fc45:0:b0:2eb:65c0:26f with SMTP id
m66-20020a0dfc45000000b002eb65c0026fmr38481240ywf.22.1651234368367; Fri, 29
Apr 2022 05:12:48 -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:12:48 -0700 (PDT)
In-Reply-To: <16da971d-a822-4be0-b44c-f93c716c10aen@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>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <3fb03a72-be99-48d2-ac19-2cb87966ee81n@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:12:48 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 42
 by: Mostowski Collapse - Fri, 29 Apr 2022 12:12 UTC

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.


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

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor