Formal machine like world is the goal of various ideologies.
Though much of the debate surrounding these ideologies is on whether such a world would be desirable or not, we should note from the outset that formalizing the functioning of the world is impossible as the world is not a formal place.
godel etc.