This is true, a universal oracle would probably lead to some chaos in the world's computer science departments. I wonder how many mathematicians would switch over to help formalize and solve their fields, and how many would stick to their pencils and paper :P