Modal logic and topology
You can’t say much about modal logic in general. You have to be more specific to get anywhere. You have to choose some axioms. Ideally the axioms you need for your application corr...
Search fresh public links, source activity, and ready-to-use post angles for Essential Logic.
Fresh curated links around Essential Logic are collected here so marketers can spot useful updates and turn timely ideas into posts faster.
Recent items include:
Recent curated links from global sources. Generate one free draft from any story, then use SocialBu to schedule and refine your content calendar.
You can’t say much about modal logic in general. You have to be more specific to get anywhere. You have to choose some axioms. Ideally the axioms you need for your application corr...
There was a decade when the smartest bet in computing wasn’t object-oriented programming, and it wasn’t functional programming either. It was logic. A whole national government, se...
We’re probably way more used to hearing Logic1000 in a UKG or dance setting but she’s brought something different today.... The post Logic1000 – 2Love (feat. FAUZIA) appeared first...
GГ¶del’s incompleteness theorem illustrated the need to distinguish between what is true and what is provable. There are true statements that cannot be proven. Let в–Ўp denote the...
Understanding Codex hooks The post Put Your Own Logic Inside the Codex Agentic Loop appeared first on Towards Data Science.
If you’ve followed this blog for a while, you may know that I do a lot of work with data privacy and that I have an interest in modal logic. Recently these two worlds collided: I b...
Use SocialBu to discover ideas, generate post drafts, and schedule them across your social channels.