I was thinking that if in the future, where quantum computers will maybe be developed, the GÃ¶del's Incompleteness Theorem will be changed, since the algorithmic function in quantum computer science will be much more complex and powerful. Please post some thoughts on this.