历史上有王阳明这个人吗？

有，王阳明就是王守仁，明代人，具体参见百度百科http://baike.baidu.com/view/26649.htm