Try to write *any* loop in Gödel's formal system http://homepage.mac.com/ardeshir/Godel-SimpleRefutation.html but any continuous process contains a loop.

Are there any dimensions inside BECs at all? I thought about some silly methaphysics once, just why everything exists at first place. Say somewhere in the beginning, was it probable that there were only 3 dimensions, more probable that there were limitless number of dimensions. And then was it probable that all the space was homogeneous, rather it was thick in some places and rare in others. But if there were limitless number of dimensions then I think a system, points connected to each other, models it the best, or what else there can be. And it's not probable that it stands still, so the structure has to change, well and all the rest comes from that. This was just for me a way to imagine it, not more important than that.