If you think it's possible to create an artificial intelligence.
Because the biology is deterministic.
If you extrapolate with the ideas, relevants, of Mr Penrose, you shall see the necessity of calculation of the quantic mesure.
The reduction of waves is also interestings in a deterministic point of vue.
We arrive at the pure link consciousness/physics dynamic.
The formalism is about algorythms and this determinism is coded by humans.
Godel ????it's why we can't interpret without the universal rationality.
Cantor.....the infinity ????
NEVER WE COULD REPRODUCE THE UNIVERSAL CODES, INTRINSIC IN THE GRAVITY.
THIS FORMALIZATION IS DETERMINISTIC IN ITS PURE CODE BUT INDERMINISTIC FOR OUR PERCEPTION DUE TO OUR WALLS.
A HUMAN FORMALIZATION OR THE UNIVERSAL FORMALIZATION!!!!