Determinism and free will are compatible
This is just a short post that aims to show that determinism and free will are totally compatible with one another.
cs articles
all articles
cs shorts
On Godel's Second Incompleteness Theorem
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?
Hard things in computer science
Finally got the final list of the three hard things in computer science:
- Naming artifacts
-
- Concurrent
- Off by one errors. data processing
On Godel-related strong AI refutations
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).