[math-fun] Matthew Cook and his proof about Rule 110

Harold writes: << ... Cook's web page at CalTech has been "disappeared" (replaced by a "FORBIDDEN" notice, that is)...

...

Can anyone explain how a mathematical theorem can be protected intellectual property? If there's one thing I thought I knew about intellectual property law, it was that *ideas* per se could not be protected. I've never heard of another situation where a theorem was considered proprietary. --Dan