 |
Post AfLm1So3qWKaAdZujY by [email protected] |
 |
More posts by [email protected] |
|
Post #AfKAXXqEfd97dYVQfY by [email protected] |
|
0 likes, 0 repeats |
|
|
|
The Law of Excluded Middle says that for any statement P, "P or not P&quo… |
|
|
|
Post #AfKBV6TZXmKk8hIyYq by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez "We prove many more results, for instance we show that, al… |
|
|
|
Post #AfKSqb3El8x2Giozei by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@highergeometer - a nice new branch of research! |
|
|
|
Post #AfKjlAuaDV1OyGm45w by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez Where does that image come from? Does it show all the propositi… |
|
|
|
Post #AfKnLTckQDN9IHQwM4 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@OscarCunningham - The answer to your second question is "yes", thoug… |
|
|
|
Post #AfKqPyfzDCqucamngG by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez It's cool that they recall the result for commutativity of … |
|
|
|
Post #AfLeYg3CpGZDAazMFk by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@antoinechambertloir - there's a nice discussion of that going on here:http… |
|
|
|
Post #AfLhX4ZOzb10UxyUb2 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@highergeometer @johncarlosbaez can we do similar things with coheyting algebra… |
|
|
|
Post #AfLhX4cwmPqofxdK7c by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@hegeliantaco @highergeometer - you can ask Bumpus and Kocsis to tackle co-Heyt… |
|
|
|
Post #AfLm1So3qWKaAdZujY by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez My brain is not up to reading that paper at the moment, but tha… |
|
|
|
Post #AfLm1SsfZO18Ovjauu by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@sgf - if a Godel-powerful system is inconsistent, the density of undecidable s… |
|
|
|
Post #AfLmLtx4d7My9UXVBY by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez Wow. OK, there's a lot of things about this I don't und… |
|
|
|
Post #AfLmLu1KNIlwMgWtoe by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez Like, for example, if I think I am working in a Boolean logic, … |
|
|
|
Post #AfLmLu4WBRKAWa1Rmy by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@androcat - Sure, basic questions are fine!There are lots of statements P in Bo… |
|
|
|
Post #AfLmLu83yG9yhZgHJY by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez So, they're not true and not false, but they are either tru… |
|
|
|
Post #AfLmLuBbl4zmsZL6q8 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@androcat - if it's confusing you're thinking about it a bit wrong. I&… |
|
|
|
Post #AfNfisCR04AE0zePVA by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez Oh, I see.I think most people probably think "boolean"… |
|
|
|
Post #AfNfisGKlZHcD5TWa0 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@androcat - when I think "boolean algebra" I think something like thi… |
|
|
|
Post #AfP1jWoEPHJm750WAa by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez How many elements does a boolean grammar need to have before it… |
|
|
|
Post #AfP1jWsU9SikKGzung by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@androcat - I don't know what a "boolean grammar" is, or what you… |
|
|
|
Post #AfP1jWwjte7iXSzJQm by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez I understand logic OKish for a non-mathematician (I like to bel… |
|
|
|
Post #AfP1jX0HgSxWiSe8xM by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@androcat - a basic law of classical logic is that False implies everything. I… |
