CALM: A new conception of consistency

What is the basis for reason? And mathematics?

Moderators: AMod, iMod

Post Reply
Skepdick
Posts: 14364
Joined: Fri Jun 14, 2019 11:16 am

CALM: A new conception of consistency

Post by Skepdick »

The Aristotelian conception of inconsistency is dead. Long live consistency

CALM: Consistency as Logical Monotonicity.

When it comes to declarativity Time is essential, space is a detail.

If you are familiar with programming languages, proof theory, model theory, distributed systems and relational databases - you can jump right into the deep end with this video: I see what you mean

And if you want to tinker with it try the Bloom language
Post Reply