Yes, Ansible has been proven to be Turing Complete.
Here is the Presentation,
Here is the Abstract,
Here is the Article,
One of the writers is even on StackOverflow.
I started writing a simple proof myself showing that we have the equivalent of if and goto (Using Handler abuse), but then I found this.