Logic & Applications

Logic and applications of logic from @JohnDCook

[Logic & Applications @LogicPractice]

Big logic

https://t.co/PtcxiYt65P

[Logic & Applications @LogicPractice]

An order preserving map on a complete lattice has a fixed point.

[Logic & Applications @LogicPractice]

Continuum hypothesis -- whether there a set with cardinality greater than the integers and less than the reals -- is independent of ZFC.

[Logic & Applications @LogicPractice]

Seven normal forms in logic https://t.co/gbHf4G3TrA

[Logic & Applications @LogicPractice]

All human beings are different.
All apathetic people are indifferent.
Therefore, no apathetic people are human beings.

-- Solomon Golomb

[Logic & Applications @LogicPractice]

Kurt Godel
Created a hurdle
For the truths of a system:
You just can't list 'em!

-- Steven Cushing

[Logic & Applications @LogicPractice]

The equivalence A ≡ B in linear logic means the formula (A ⊸ B) & (B ⊸ A) is derivable.

[Logic & Applications @LogicPractice]

Software Foundations https://t.co/EPhqwEzAN8 #coq

[Logic & Applications @LogicPractice]

'You can sway a thousand men by appealing to their prejudices quicker than you can convince one man by logic.' -- Robert A. Heinlein

[Logic & Applications @LogicPractice]

How much can Boolean expressions be simplified? https://t.co/SJY2jYoFQm

[Logic & Applications @LogicPractice]

'Logic, like whiskey, loses its beneficial effect when taken in too large quantities.' -- Edward Plunkett

[Logic & Applications @LogicPractice]

Where did combinators come from? https://t.co/sR8meoN23j

[Logic & Applications @LogicPractice]

TLA: Temporal Logic of Actions https://t.co/BuebdTQ24I

[John D. Cook @JohnDCook]

New post: Privacy Policies and Modal Logic

https://t.co/6gIDydCzTb

[Logic & Applications @LogicPractice]

Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs

https://t.co/hvPQaoyej1

[Logic & Applications @LogicPractice]

The diamond symbol <> in modal logic can be interpreted as possibility, e.g. <>P means 'it is possible that P holds.'

[Topology Fact @TopologyFact]

A topological model for provability logic

https://t.co/ewWGKVgCUv

[Logic & Applications @LogicPractice]

Coq proof of Feit-Thompson theorem https://t.co/GlmmvNS44I

[Logic & Applications @LogicPractice]

In linear logic, the implication A -> B can be read 'consuming A produces B.' Sometimes written with the 'lollipop' symbol for linear implication.

[Topology Fact @TopologyFact]

Topological models of modal logic

https://t.co/Hg18SThDE4