 |
Post AVv5Y8wVdCsEY2NT7o by [email protected] |
 |
More posts by [email protected] |
|
Post #AVuuo9iJQw804pAarw by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Boolean algebras are a standard way to formalize the concepts of 'and',… |
|
|
|
Post #AVuwCJCRuqlOOxLZrM by [email protected] |
|
0 likes, 0 repeats |
|
|
|
I just edited the nLab page on the category of boolean algebras:https://ncatlab… |
|
|
|
Post #AVuy1HOgTgCjX8wFKS by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez Interesting. The usual double powerset monad has as its algebra… |
|
|
|
Post #AVv29vraJDxDAcq0W0 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez It is interesting another way of looking at it is that you offs… |
|
|
|
Post #AVv4i2ndE6YyR9Nlqq by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@OscarCunningham - maybe there's a way to do the finitary case in a way tha… |
|
|
|
Post #AVv5GoXCFuTSKWH5Yu by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@dmm - Thanks for catching that. Luckily I did not yet cancel the edited Wiki… |
|
|
|
Post #AVv5Y8wVdCsEY2NT7o by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez How is NOT defined in a boolean ring? |
|
|
|
Post #AVv5evWrtvVwyQcR6m by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@holothuroid @johncarlosbaez Additive inverse |
|
|
|
Post #AVv5evbTcnCVCim7I8 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@maxsnew @holothuroid - negation is not the additive inverse in a boolean ring,… |
|
|
|
Post #AVv7P8y8Meh7vnyRY8 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez I suspect that there's a bijective correspondence between d… |
|
|
|
Post #AVv7fIqJQBoDBi1LTE by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez Nothing to do with booleans as a ring, but one source of confus… |
|
|
|
Post #AVv7fIuZANDBOu0k6K by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@mvsamuel - yes, it's good to remember there are lots of notations for thin… |
|
|
|
Post #AVv86bHQymrQBnitea by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@OscarCunningham -Thanks! That page describes two canonical normal forms, nei… |
|
|
|
Post #AVvcjUxzNtbIWi5ldw by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez @maxsnew @holothuroid @sstadnicki If you remember x = -x in a b… |
|
|
|
Post #AVvcjV2F850Gju5AH2 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@hallasurvivor - "truth minus x is not(x)". |
|
|
|
Post #AVvcyThSNNN6wSVBLs by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@holothuroid If "+" is XOR, presumably NOT is constructed from + 1? |
|
|
|
Post #AVvcyTm46F3fAkerXE by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@sgf @holothuroid - yes, we can define ¬x = 1+xthough @hallasurvivor prefers a… |
|
|
|
Post #AVvdHIy8Uv7nA8HTs0 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez @mvsamuel More generally also any commutative ring has a boolea… |
|
|
|
Post #AVvdHJ22GQFBME6awq by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@jasonc @mvsamuel - nice! And if we apply your trick to the ring of real-valu… |
|
|
|
Post #AVvf6vhkL51w1PnMum by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez You could edit your post to have the correct picture, to stop p… |
|
|
|
Post #AVvtJFXdoHQaNWpylc by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@highergeometer - I was going to, but I got distracted. Thanks, I'll do it … |
