This is just a short post that aims to show that determinism and free will are totally compatible with one another.
I never understood what’s the deal with for Godel’s Second Incompleteness theorem in logic.
The consistency of a theory cannot be proved within the theory itself.
Duh! Did anyone thought that it could?
Finally got the final list of the three hard things in computer science:
- Naming artifacts
- Off by one errors. data processing
Penrose’s theory and all other Godel-related strong-AI refutations are stupid: “Human mind is different from a computer because humans are capable of detecting logically inconsistent theories and logical paradoxes and think outside the box in order to know that they are paradoxes.”
This is not true at all - our mind actually does nothing more than what a computer operating system would do if it sees a process that occupies a lot of memory and doesn’t produce a result - it would kill the process (or the thought that leads to paradox.) We aren’t able to escape an infinite cycle because we are more capable than computers - we are merely equipped with heuristics necessary to escape from a situation that does not benefit us in any way (sometimes).