Tag

#Decidability

3 articles

Explore (search, categories, archive)

Can a computer (or human) simulate itself?

A virtual machine is a common example of simulation. It can take the description of a (virtual) "computer" state and continue the execution from that point on. You can simulate a huge computer given a...

5 min read

Mathematical incompletness and life

A friend told me once that we are living in an Universe full of unprovable truths. He was referring to the Gödel's incompleteness theorems. Without being very formal, this says that there are many mat...

4 min read