Its a shame that stackoverflow doesn't support Prolog

[Mostowski Collapse]

This feature request is getting dusty:

https://meta.stackoverflow.com/q/326728/502187

But meanwhile highlight.js supports Prolog.

So what are they waiting for?

[Mostowski Collapse]

Even Qiita can do better, they have Prolog via Rouge.

https://github.com/rouge-ruby/rouge/blob/master/lib/rouge/lexers/prolog.rb

Boycott stackoverflow. Remove Prolog posts.

[Mostowski Collapse]

Its about time to support Prolog in SE.
highlight.js seems to be new for SE:

Goodbye, Prettify. Hello highlight.js!
Swapping out our Syntax Highlighter
Update 2020-09-24
This is now live network-wide.
https://meta.stackexchange.com/q/353983/165536

[Mostowski Collapse]

I must definitively say Boycott Stackoverflow. Retract Prolog
questions and answers, they don't get their priorities straight.
Also people on meta are lemmings, if you request a highlighter
they have a lot of moot excuses and vote down your feature request.

As I said they don't get their priorities straight. The last argument
I heard was the full highlight.js is too much network payload.
This is more than silly. Its CDNed, and they don't get their
priorities straight. Currently they deliver:

- highlightjs-loader.en.js ca. 50 KBytes (laughable)
- pubads_impl_2021091501.js ca. 100KBytes

So their priority is to spam you with shitty ads, instead of
delivering proper syntax highlighting.

Boycott Stackoverflow

[Mostowski Collapse]

The greatest joke about stackoverflow is its slogan.
The slogan is a pure lie:

Screenshot: We <3 people who code
https://gist.github.com/jburse/d39c5a835842ad83ec31266c46023e8f#gistcomment-3901869

[Mostowski Collapse]

There is very simple solution to solve the highlighter.js problems
in Stackoverflow. And there seem to be plenty:

Stop guessing/auto-detecting a language when you KNOW it will be incorrect
https://meta.stackexchange.com/q/355852/165536

Just block all the staff admin/dev ops working for SE in
participating on meta. They waste there time there on writing

large excuses. And force the staff admin/dev ops to get
their hands dirty, and fix stuff that they have broken.

[Mostowski Collapse]

Or vet out the dumb nuts in staff admin/dev ops and
replace them by competent people.

[Mostowski Collapse]

Ha Ha! Very good for intervals of procrastination:

Earth is struck by a giant comet but is saved by ExtraGalactic scientists.
The scientists discover tiny blobs who look upon us as a source of
nourishment a priest talks to them of God, and they leave.

http://cse.csusb.edu/dick/cs320/prolog/story.plg
http://cse.csusb.edu/dick/cs320/lab/fantasy.plg

[Mostowski Collapse]

By way of sci.logic:

Andrej Bauer has created a proposal for a new 'Proof assistants' StackExchange site.

http://math.andrej.com/2021/11/20/proof-assistants-stackexchange-site/

https://area51.stackexchange.com/proposals/126242/proof-assistants

[Mostowski Collapse]

1 von 38252
Proposal for a proof assistants StackExchange site
9 Aufrufe
Abonnieren
Profilbild von FredJeffries
FredJeffries
02:44 (vor 1 Stunde)

Andrej Bauer has created a proposal for a new 'Proof assistants' StackExchange site. http://

Profilbild von Mostowski Collapse
Mostowski Collapse
03:36 (vor 26 Minuten)
an
Never ever put your soul on stack exchange. They will not only
disown you quickly, you will also not be able to deleted it. The have
implemented technical means to block you from deleting your own content.

From their terms and conditions:
https://stackoverflow.com/legal/terms-of-service#licensing

"Subscriber Content

You agree that any and all content, including without limitation
any and all text, graphics, logos, tools, photographs, images,
illustrations, software or source code, audio and video, animations,
and product feedback (collectively, “Content”) that you provide to
the public Network (collectively, “Subscriber Content”), is perpetually
and irrevocably licensed to Stack Overflow on a worldwide, royalty-free,
non-exclusive basis pursuant to Creative Commons licensing terms
(CC BY-SA 4.0), and you grant Stack Overflow the perpetual and
irrevocable right and license to access, use, process, copy, distribute,
export, display and to commercially exploit such Subscriber Content,
even if such Subscriber Content has been contributed and subsequently
removed by you as reasonably necessary to, for example (without limitation):

Provide, maintain, and update the public Network
Process lawful requests from law enforcement agencies and government agencies
Prevent and address security incidents and data security features,
support features, and to provide technical assistance as it may be required
Aggregate data to provide product optimization

This means that you cannot revoke permission for Stack Overflow
to publish, distribute, store and use such content and to allow others
to have derivative rights to publish, distribute, store and use such
content. The CC BY-SA 4.0 license terms are explained in further
detail by Creative Commons, and the license terms applicable to
content are explained in further detail here. You should be aware
that all Public Content you contribute is available for public copy
and redistribution, and all such Public Content must have
appropriate attribution."

[Mostowski Collapse]

The most annoying thing is that the administrators use
a ticket system, and in principle they make legally binding
promisses, only they don't care what kind of promisses they

write as answers into their own ticket system, the next
day they change their mind, and do something else. So
you cannot trust their word, because the rights you give

them, in principle they need not be executed. But like
the birtish museum has more mummies than Egypt itself,
the stackexchange have more irrelevant information

about your long retracted project than you would ever
dream of. The way back machine has even not that much
outdated nonsense in store. Even the house of a messie

looks clean compared to stack exchange sites.

[Mostowski Collapse]

Also they swim in money:

https://arstechnica.com/gadgets/2021/06/stack-overflow-sold-to-tech-investor-prosus-for-1-8-billion/

But they can even not make a syntax highlighter
that works correctly for the Prolog programming
language, and laugh at you when you request that.

You also wont see a bit of this money in your own
poket. The only incentive they offer is their gamefication
of Q & A, and astonishingly for many that seems to

be motivation. They only use you to earn more money
with their job fair spin off etc.. etc.. and the content has
become click bait for job offers. Because of this degradation

of their content, for many problems you now find much
better sites and much better courated information.
Typically problems are now also addressed by YouTubers

etc.., because others want also profit from this Q & A
traffic magnet. It is quite likely that stack exchanges will
disappear if their bit rot continues as it does now.

[Mostowski Collapse]

About Zulip I don't know. Somehow the gameification stack
exchange rule system does not guarantee high quality,
because it is more based on hunters and collectors mentality,
where everything is taken and infinitely kept. On a first

sight the rational makes sense, especially for example for
computer related stuff. I might quite well have an Amiga
at home, and ask a question about it. But is this true? There
is rather a trend now to quickly move one, and eradicate

old releases, move them out of circulation. Outdated stuff
that gets stuck in wild only generates cost. It might be full
of security holes, or shows long dismissed behaviour, because
some specs have evolved. Stack exchange was designed

without the concept of end of lifetime in mind. This shines.
If you try to pull the plug of something, and by accident you
hit some alarm threshold, its impossible to explain an admistrator
that you need an exception. The admistrators have become

robots, that are not able to question the rules of their system.
If you would employ them in Auschwitz, they would efficiently
gas people after people. They have become brainless bricks.

[Mostowski Collapse]

The "end of lifetime" concept is very common now
in computers, but it is for example alien to mathematics.
Pythagoras theorem is an ethernal thruth, it doesnt have

an "end of lifetime". But if you do proof assistants, you
will again deal with computers. So a Q & A site that
cannot handle "end of lifetime" would be a pain in

the ass. Some computer projects keep long records
of everything, for example python, has quite a big collection
of PEPs. But then their might be revolutions, like going

from python2 to python3, and things become versioned.
Stack exchange is too stupid to offer something that
would have a similar effect. They have "tags". I tried

marking the outdated stuff by a "tag", but there were
the following limitations:
- Question can only have maximally 5 tags
- Answers do not have tags at all!

So I gave up and deleted my account. Now my account
is dissassociated from all questions and answers,
and the question and answers are a big mess, and talk
about a Prolog system that doesn't exist anymore.

LoL

Stack exchange is just a joke!

[Mostowski Collapse]

Also I wouldn't trust Andrej Bauer when he sets up such
a group. He can be quite "posh", for example he cancels
people on cs.stackexchange.com, because he claims

the question is not a research question. And then
he finds support for this cancel culture by the charter
of cs.stackexchange.com. So stack exchange sites

are known to implement a form of class racism. There
is a danger that this proof assistant stack exchange site
not only becomes a bitrot exchange, but also

those pieces that are not bitrot do not become accessible
to all, and not everybody can contribute. So it might become
an elite thing like mathoverflow, cs.stackexchange.com, etc..

but logic and set theory for example, should be available
to everyone. Especially via tools they should provide end-user
empowerment for everybody. Just like an excel or word.

[Mostowski Collapse]

The best would be anyway a new type of Q & A, that supports
a form of literate programming. Literature programming can
be also used in proof assistants. Actually Isabelle/HOL makes

good use of literate programming, their proof archive is just
PDF generated from computer proofs that have also comments
in it, and can be read like a book. But since bitrot exchange

is so lame, they can even not make a syntax highlighter for
the Prolog programming language, proof assistants literature
programming style is definitely not the right place for bitrot

exchange. They are simply way too stupid.

[Mostowski Collapse]

A cute new Q & A system would be a system that also provides
compute servers. These servers would do the proofs in the proof
documents. Maybe this can be also done client side, not yet sure.

Usually a theory imports other theories and you got a usual
module network, a client can load all these modules and perform
compute locally. But maybe a hybrid could with some batch

processing could bring some bang. So that the end-user experience
is not interrupted by some heavy processing, instead compute
servers help you invisibly in the background. A new version of

SWISH could maybe do that. The recent discussion about legal
documents and s(CASP) on SWI-Prolog discourse was also interesting.
The scope of the new proof assistant is also quite narrow, and

thinks proof assistants are only used for math and cs, but they
have also uses in philsophical logic, in legal reasoning, etc.. You
find already proof of such use cases in the wild. Just look around.

I already though that bitrot exchange implements a form of
pseudo scientism. The spaw site after site. If there is a site about
camping, a few months later there will be two sites, on for

camping with blue tents and one for camping with red tents.

[Mostowski Collapse]

Don't worry guys, I am not really angry,
I am just doing some brain writing.

> "Holding on to anger is like grasping a hot coal with the
intent of throwing it at someone else; you are the one
who gets burned."
- Buddha

But I guess we can consider bitrot exchange as a scratchpad
that will not last for ethernity. After all singularity will only
happen when we reach this point:

> "Can you imagine that they used to have libraries where
the books didn't even talk to each other?"
- Marvin Minsky, MIT

LoL

[Mostowski Collapse]

This fits somehow the bitrot exchange topic.
SWI-Prolog wants to measure work in hard money.
Here is my penny (pun) of thought:

Highly qualified work, like contributing to a programming
language implementation without breaking things and writing
documentation, is at least worth 1000 EUR per Day. Which

makes around 100 EUR per Hour. No joke.

Problem is anybody touching a programming language has
to be fit in software architecture. Like juggling with APIs. So
I took a software architect salary from the upper spectrum,

which is around 200’000.- EUR per Year, to account for the
exotic Prolog requirement, and divided it by 200 working
days per Year, which gives me 1000.- per Day.

[Mostowski Collapse]

Microsoft would possibly pay at least the double, if they could
get hold of Jan W. himself and if they would mistake Prolog
for Python. Now the position is occupied by Guido R.

[Mostowski Collapse]

I hope they name it:

qed.stackexchange.com
https://area51.meta.stackexchange.com/a/32603/100686

Although I am not in favor of bitrot exchange in general.

[Mostowski Collapse]

Anyway you might need multiple run-ups. For example
an artificial intelligence stackexchange site had a lot
of opposition in the past, and there were multiple

failed run-ups. But today there is:

https://ai.stackexchange.com/

One old argument against it was:

According to the post No Artificial Intelligence in Area 51
the main reason for the failure of the last proposal was
the lack of expert-level questions:

It wasn’t so much the lack of questions that was of concern — 
a site can stay in beta as long as it takes — but the conspicuous
lack of expert-level questions. This was also the emerging opinion
amongst the users:
[...]
70-80% of the questions didn’t run much deeper than “When will
we have intelligent computers?” and “What is your favorite AI blog?”

https://area51.meta.stackexchange.com/a/12367/100686

Now everybody is expert in artificial intelligence. You
find even 15 year old youngsters from Kerala, India posting
videos on youtube about Google tensor flow.

LoL

[Mostowski Collapse]

BTW: I can assure you "qed" is the best name. Since its
very catchy and the man on the street doesn't know what
it means, similar to "stackoverflow". In the past (2013) there

was also a thinking for the other stackexchange site:

"Don't give it a 'Hollywood' title like 'artificial intelligence'.
Call it "Machine Learning and Intelligent Computation"".
https://area51.meta.stackexchange.com/a/13109/100686

Guess what it is called now?

LoL

[Mostowski Collapse]

What could be interesting, to combine a stackexchange with
blockchain. For example make a proof a Non-Fungible Token,
and then let the author decided where the proof is

displayed. So a stackexchange would be like a museum,
and the proofs would be unique. But the owner of the proof,
not necessarely the original author, since there can be a

market and trade, can decide whether something is on display?

[Mostowski Collapse]

The author of a proof would be free in the choice of his
tools. He could also choose tools that even would assist
him in generating the theorem itself that he would prove.

Whereby the mathematical profession is seen as
hard work and a lot of sweat to found a field and
explore a field, the new profession would be pushing

a button, and new fields would sprout like flowers.

Immortalise Your Valentine in Mathematics - Cavallo, 2011
https://www.prweb.com/releases/theorymine/valentinesdaygeekgifts/prweb5054614.htm

The Theory behind TheoryMine
https://www.researchgate.net/publication/228428155

[Mostowski Collapse]

Ha Ha, what an ignorant:

QED is a phrase which existed for thousands of years before computers.
This site is specifically about computer proofs, not proofs.
– Kevin Buzzard

Nope. QED is not that old. It became use after the dark ages. So its
only like 500 years old. The abrevation for the greek precursor would
be something like OEΔ.
https://de.wikipedia.org/wiki/Quod_erat_demonstrandum#Herkunft

[Mostowski Collapse]

BTW: This could be also fun:

eureka.stackexchange.com
See also:
en.wikipedia.org/wiki/Eureka_%28word%29#Mathematics

aha.stackexchange.com
See also:
en.wiktionary.org/wiki/aha

[Mostowski Collapse]

A glimpse what might come in the future, even solely
in the client, no need for server roundtrips, and very
nice rendering of formulas:

Automated Propositional Sequent Proofs
in Your Browser with Tau Prolog
Feb 7, 2021 • Philip Zucker
https://www.philipzucker.com/javascript-automated-proving/

If bitrot stackexchanges adopts something from MSE
it could reach such rendering. But SO can even not
render Prolog code correctly.

[Mostowski Collapse]

Generating theorems itself has now a name:

CAH: Computer assisted seeing of patterns aka halucinations?

"More than a century ago, Srinivasa Ramanujan shocked
the mathematical world with his extraordinary ability to
see remarkable patterns in numbers that no one else
could see. The self-taught mathematician from India
described his insights as deeply intuitive and spiritual,
and patterns often came to him in vivid dreams."

"The use of learning techniques and AI systems holds
great promise for the identification and discovery of
patterns in mathematics. Even if certain kinds of patterns
continue to elude modern ML, we hope our Nature paper
can inspire other researchers to consider the potential
for AI as a useful tool in pure maths."
https://deepmind.com/blog/article/exploring-the-beauty-of-pure-mathematics-in-novel-ways

LoL

[Mostowski Collapse]

Works also inside SWISH, try this SWISH Prolog text:

https://swish.swi-prolog.org/p/phil_zucker.pl

Only SWISH shows the result with writeq/1 and not with write/1:

Proof = rimpl([]>[('A' & 'B' => 'A')], land([('A' & 'B')]>['A'],
ax(['A', 'B']>['A'], 'A')))

Now somebody add a MathJax SWISH renderer?

[Mostowski Collapse]

Would be really interesting to see how fast SWISH round trip would
be for other logics than only classical propositonal logic, as in Phil Zuckers
prove0/2 above. Also nice MathJax dressing inside SWISH would be cool.

This trivia takes quite some time, but requires FOL with equality:

∀a∀b∀c((Fab ∧ Fac) → b=c) ∧
(∀a(¬a=z ↔ ∃bFab) ∧
∀a∀b(Fab ↔ m(a,b)=o))
entails ∀a(¬a=z → ∃b(Fab ∧ m(a,b)=o)).
https://www.umsu.de/trees

But maybe the time is consumed because the online tool by Wolfgang
Schwarz does two things at once, trying to find a proof and trying to find
a counter model? Not sure.

Also ∀a∀b∀c((Fab ∧ Fac) → b=c) is a decoy, not needed in the proof,
which slows down the proof search I guess.

[Mostowski Collapse]

This was fun:

Dogelog and MathJax love at first sight
https://medium.com/@janburse_2989/dogelog-and-mathjax-love-at-first-sight-56deb51d5cd

But on the down side:

We will update this article with links to the involved
artefacts as soon as we have found a new paste bin.
Since we have removed us from GitHub, we do not
have gist anymore. Please be patient.

[Mostowski Collapse]

BTW: Philip Zucker is an amazing trove concerning Prolog:

Verifying Nand2Tetris with Horn Clauses
https://www.philipzucker.com/nand2tetris-chc/

[Mostowski Collapse]

Interestingly the Stack Overflow Admins are more criminal
than the Putin Poudle. They disown your content and you can
even not anymore delete your own stuff. Given the fact how
many people endure the tirrany of Stack Overflow Admins,

because they believe the narrative of the greater good of
Stack Overflow, whereas these criminal jerks(*) are just professional
content thiefs, you can extrapolate how much brainwash is
possible and what a country populace will endure when it is weak.

Most eastern people are weak, you can bribe them with Vodka.

(*)
The situation in Stack Overflow only went unnoticed since
this notorious thiefs had no competition. But the situation has
probably changed, there is Quora etc..(**) The same in Ukraine,
there is probably now not only the east, but also the west, who would

like to brainwash the country. But can the USA offer enough Vodka?

(**)
You also see the detrimental effect of the criminal behaviour,
the Stack Overflow sites are full with bitrot. These idiot criminals
are worse than Gollum, they think every posted piece is a jewel,
and they never let go, even if it is outdated nonsense.

[Mostowski Collapse]

I have the impression they are as weak as the indogenious
population of north and south america that got conquested,
with the difference that the historical footprint shows that

that they often cannibalize each other first. LoL

When did this stop in Europe? The 100 years war,
The 30 years war, french revolution, and many more
conflicts including WW-I and WW-II...

https://en.wikipedia.org/wiki/Hundred_Years'_War

https://en.wikipedia.org/wiki/Thirty_Years'_War

But maybe Russia and USA are not yet ready, USA
and Russia not having enough wars. The remaining
testosterone idiots of the 21-th century...

[Mostowski Collapse]

Why will security spending increase?

Government of the Sverdlovsk Region has been breached.
In real-time. Making use of a new vulnerability targeting Gitlab.
https://twitter.com/AgainstTheWest_/status/1498275915985559564

LoL

[Mostowski Collapse]

MOSCOW, March 30. /TASS/. Russian President
Vladimir Putin banned the acquisition of foreign software
for critical information infrastructure

There is also a first prototype of Vladimir Medinsky
"patriotic Internet", Welcome to WINDOWS SOVIET☭
https://www.youtube.com/watch?v=yZ6c17SLB7E

[Mostowski Collapse]

Windows Soviet will soon run on Yota Phone,
the genius phone with two screens, because why not?

Yotaphone: Russia's Failed Smartphone
https://m.youtube.com/watch?v=JE2-n8Im8GA

[Julio Di Egidio]

On Tuesday, 5 April 2022 at 15:55:34 UTC+2, auto-Burse wrote:

> MOSCOW, March 30. /TASS/. Russian President
> Vladimir Putin banned the acquisition of foreign software
> for critical information infrastructure

And rightly so, and of hardware: it's all just full of backdoors, don't ya know? As it's also true that typical western content and "globalisation", from food to culture passing by literally everything, is plain poison and brainwashing and so it's been systematically since just after WW2, to accompany the most atrocious real frauds and crimes against humanity: so they'd at least better use their own... Indeed, I for one am gonna escape from this insane and deadly, not to mention indecent and retarded, shithole as soon as I can.

Fuck the UK, the US and the EU, from the act of fencing the land to the full scale global genocidal crimes, as if the crusades or the conquistadores hadn't done enough damage: concurrent to the systematic domestic cultivation of the shittiest, most ignorant and vilest people in the entire history of humanity: the true children of the Huns, where they pass not even grass grows anymore.

Enough said.

Julio

[Mostowski Collapse]

LoL, no more bella italy for culio?

[Julio Di Egidio]

On Tuesday, 5 April 2022 at 20:45:29 UTC+2, burs...@gmail.com wrote:

> LoL,

Lough at your stupid ass.

> no more bella italy for culio?

Ruined already, just as everywhere else: half of it sold out (guess who's been cashing in and who's been buying), and the rest is by now pretty much a poisoned dump, from the environment to the culture to everything else in between. And of course mine is voluntary exile -fuck you-, which is all we non-violent sane people at this point can do: vouch for you fucking morons to manage to kill yourself sooner than later, the only care meanwhile being to prevent you from dragging everybody and everything else down with you: which is the opposite of an easy feat of course.

Sure, you keep going, this isn't about you...

(EOD.)

Julio

[Mostowski Collapse]

I have the medicin for you, just a take a big sip,
and everything looks beautiful again.

The Soviet „patriotic internet“ computer comes of
course with a vodka bottle holder.

How Vodka ruined Russia
https://m.youtube.com/watch?v=vK7l55ZOVIc

[Mostowski Collapse]

But calling your own country a shithole as an
excuse to escape, whereby you are only terrified
by a possible nuclear war, is also a little unfair?

Book recommendation:

Nevil Shute - On the Beach (novel)
On the Beach is a post-apocalyptic novel published in 1957,
written by British author Nevil Shute after he emigrated to
Australia. The novel details the experiences of a mixed
group of people in Melbourne as they await the arrival
of deadly radiation spreading towards them from the
Northern Hemisphere, following a nuclear war the previous
year. As the radiation approaches, each person deals
with impending death differently.
https://en.wikipedia.org/wiki/On_the_Beach_%28novel%29

[Julio Di Egidio]

On Wednesday, 6 April 2022 at 17:20:56 UTC+2, burs...@gmail.com wrote:
> I have the medicin for you, just a take a big sip,
> and everything looks beautiful again.
>
> The Soviet „patriotic internet“ computer comes of
> course with a vodka bottle holder.
>
> How Vodka ruined Russia

How fucked up and full of shit you are you can't and won't guess...

*Plonk*

Julio

[Mostowski Collapse]

Now it makes all sense why Vladimir Putin is so terrified.
There is already a Nazi Yeti waiting for him in Tibet:

Secret Nazi Expeditions: S1E4 «The Quest for the Holy Grail»
(Super Channel 2022 CA) (ENG/SUB ENG)
http://vk.com/video638900908_456239453

[Mostowski Collapse]

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.

[Mostowski Collapse]

Its amazing that 100 years set theory, this goblet
has surely passed this person, not only Dan Christensen.

[Mostowski Collapse]

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]

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]

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]

Social science researchers call this the SIQQ effect,
social IQ degradation effect. So when mathematics
act as a pack of wolf, they all eject their brains.
A little bit related to the Zollman Effect:

Our conjecture is that the cycle will prove most
reliable. A doctor who gets an unlucky string of
misleading results will do the least damage there.
https://plato.stanford.edu/entries/formal-epistemology/#TheZolEff

So we had just proof of the Zollman Effect.
So José Carlos Santos had an unlucky string
of misleading results, but because he had a
plenum available, with loyal nutheads just like

Xander Henderson and Arturo Magidin everthing
went down the drain. LoL

[Mostowski Collapse]

But this is a much too benevolent interpretation,
possibly José Carlos Santos is just a pervert, that
saw somebody with 101 points and started a fight.

LoL