One of the reasons why I doubt Satoshi is Hal is apparent from these forum posts: if my goal was to stay anonymous, I would not immediately associate my real identity with my anonymous one. Hal is one of the first people to reply to this Bitcoin forum post.