As of May 31, 2023, we have updated our Code of Conduct.

Hot answers tagged

4 votes

Sequent calculus and vs comma: $a \land b \implies ...$ vs $a, b \implies ...$

What prevents me from treating the bottom part as if it was "$-\varphi \land \Gamma \implies \Delta$"? Nothing prevents you! In fact, this is exactly the right idea. You can think of the ...
Caleb Stanford's user avatar
2 votes

Why do simple Logical Gates have an Irrational amount of Bits?

An amount of information does not need to be an integer, just like the weight of an object does not need to be an integer number of grams. One might see as a source of confusion to give the same name ...
Yves Daoust's user avatar
  • 8,797

Only top scored, non community-wiki answers of a minimum length are eligible