I don't believe Hal was Satoshi (there's no evidence to suggest it), but Bitcoin never would have succeeded without Hal. He deserves as much credit as Satoshi.