Update

logic.md

@@ -20,7 +20,7 @@ Where did this "base code" in brain come from? It probably [evolved](evolution.m
 
 We don't know if our logic is always correct or not, we only know it's useful to us, but we DO know (from the incompleteness theorems) that our logic is limited and will be unusable to prove certain specific problems. And this immediately begs the question: is our logic the only possible one? Could there be an organism that would have evolved a different kind of logic, perhaps one that could prove the problems we cannot prove with our logic? All points to the answer that yes, this is possible, but then of course this new logic will have its own set of undecidable problems, ones that OUR logic may be able to decide. But wait -- if we met with the aliens with this kind of different logic, couldn't we collaborate on deciding ALL problems? Couldn't they solve our undecidable problem for us in return solving theirs? No, we couldn't understand each other's logic and we couldn't trust their solutions, it might well be that we meet aliens with faulty logic and the solutions they provide to us would be wrong -- remember, we couldn't verify correctness of solutions to our undecidable problems with our logic. This also make sense if we imagine us and the aliens forming a new metaorganism that uses a new kind of logic, or ALGORITHM, by merging our logic and the aliens' -- in the end a combination of algorithms is again a single algorithm and therefore must also suffer the curse of undecidablity etc. So to summarize:
 
-- Out logic most likely came from evolution.
+- Our logic most likely came from evolution.
 - We don't know if our logic is correct.
 - We know it is useful and so we assume it's at least mostly correct.
 - We know our logic is limited (won't be able to answer some questions).