CALM: A new conception of consistency
Posted: Wed Sep 04, 2019 3:18 pm
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
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