Charles Hoskinson, CEO of Input Output Hong Kong, shares his philosophy on leadership principles, his plan to invest $20 million into a center for automated theorem proving, and the importance of giving back to one's community.