3 ms·
Sort of except that it also tracks truth propagation - one person disagreeing would inform others that portion of the graph is contested. So the graph has behav
by tunesmith 3y ago
Sort of except that it also tracks truth propagation - one person disagreeing would inform others that portion of the graph is contested. So the graph has behavior. And, the links have logical meaning, beyond just "is related to" - it respects boolean logic.
You can see some of the explanation at http://concludia.org/instructions http://concludia.org/instructions .
- couchand 3y ago> it respects boolean logic. Intuitionist or classical?
- tunesmith 3y agoIntuitionist. Truth is provability; the propagation model is basically digital logic. If you mark a premise to a conclusion false, the conclusion is then marked "false" but it really just means "it is false that it is proven"; vitiated. Might still be true, just needs further work.
- quickthrower2 3y agoYou would need a highly disciplined and motivated set of people in the team. I have been on courses where teams do this on pen/paper and it is a real skill and it is all you do for days. Forget anything else like programming, finishing work, etc.
- xpe 3y agoI'd be stoked if you wrote more about this experience and shared it somewhere.