Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
This is my first hook to the n-lab, I am pretty sure that isomorphism is an overly strong condition, and that any is a too weak restriction.
Please see the wikipedia article on the principle of bivalence. https://en.wikipedia.org/wiki/Principle_of_bivalence
I am unsure as how to proceeed.
vukovinski
Hi vukovinski,
welcome to the nLab. Before diving into editing entries, maybe best to first participate a bit in discussion here, so that we get to know each other.
The sentence you just added to the entry Boolean category seems to require a bit of work still. For the moment I have rolled back the entry and am copying your sentence to here. It was:
Many-valued logics can be reduced to Boolean logic, ie. any coherent category is isomorphic to the Principle of Bivalence.
I trust that some logic expert here recognizes what you were trying to say and will lend a hand with putting it properly.
I’m sorry, but I cannot make any sense out of either the sentence you added to the page or your subsequent comment.
Nor I.
Hm, might this be auto-generated text?
Certainly I don’t see how
any coherent category is isomorphic to the Principle of Bivalence
can be considered a coherent piece of category theory.
At that point I was still benevolent and thought some poor soul might have tried to say something like that a coherent category is equivalent to one that satisfies the “principle of bivalence”, hence a Boolean category.
But then we got #3 and this sounds like it’s auto-generated text trained on nLab keywords. And we should cut this all out here.
Perhaps someone is checking to see if they can use mLab-style generation of pages as a Sokalian hoax.
Yeah, that might also explain the term “Spirited Systems Redesigner” at vukovinski. Looks like some kids are getting a bit carried away with their cunningness.
If this in the other thread is true, Filip Vukovinsky just scored on a co-Turing test, and I have to apologize for suspecting unnamed script kids for playing lame jokes on us. Apparently no cunningness involved here.
In any case, best to let this rest unless we hear back anything intelligible.
1 to 11 of 11