The Logic of Choice
A consensus which is govern by the decentralized force of each individual's choice, is the mechanism to overcome a states of contradictions, and thus can be trusted as the foundation of a mathematically consistent and complete logic. (as opposed to the axiomatic based mathematics)
hey, I am back to try and get deeper into the thing I said before about putting the mathematical axiomatic base on the block chain in order to resolve a logical contradiction
by doing this we can add a new dimension to math itself,
a dimension to evaluate the axiomatic setup externally while running by it.
I think it is a solution that mathematics was missing for a long time. LOL
actualy it might exist somehow in some other consensus mechanism , but if it is so than Turing complete can express everything be consistent and decidable
So lets talk about consistency in a mechanism that is rooted in consensus.
looking at the definition of consistency of logic (Wikipedia)
In classical deductive logic, a consistent theory is one that does not contain a contradiction. The lack of contradiction can be defined in either semantic or syntactic terms.
So by putting the blockchain consensus at the driver sit I can ensure you that mechanically
I resolved the problem of consistency in any mathematical theory
since I created the option of a parallel world (a fork).
and in each of the worlds exist a theory with no contradiction.
In the blockchain, by consenting to the consensus, a contradiction is resolved too. So we have a whole set of "360 degrees" of resolution, from a fork for each individual truth through consenting to one another's truth and all the way to a consensus in which all participants agree on one truth .
however there is one more characteristic which I have to add in order to make that solution a workable frame work
and that it some sort of unification parameter
since my system will very soon get too crazy to follow and manage if every potential contradiction will result in a fork (and thus a parallel world)
in order to make the blockchain consensus mechanism viable for a theory we need to create the incentive to actualy reach consensus and not fork.
just like done in bitcoin
isn't that hysterically funny? we practically buy the truth. with our money (well create the truth.... but feel like buying it since we believe that truths are true by nature forces) or at least can render true by a logical process
or in other words
a consensus is created based on a decentralized force that is incentevised to unify (centralize)
thus we can create a single consistent theory for the use of our machines that in return will allow us to decentralized all other functions of our life.
not a bad trade off
(After all who care if 1+1=3 and not 2 . It doesn't matter to our life as long as everything else will run by it.)
Let me repeat that last statement again since the alchemy (magic) is in there:
A consensus which is govern by the decentralized force of each individual's choice, is the mechanism to overcome a states of contradictions, and thus can be trusted as the foundation of a mathematically consistent and complete logic.for our computer to run by, in order to produce a solid and trusted decentralized platform to run smart contract.
* This is the second part of : The Blockchain Role In Forming The Foundation of Mathematics And The Logical Structure of Truth As A Consensus