|
|
|
|
|
|
by tunesmith
1021 days ago
|
|
|
Intuitionist. 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. |
|
|