历史上有孙膑这个人吗

孙膑（？----前316年），其本名孙伯灵（山东孙氏族谱可查），是中国战国时期军事家，汉族，山东鄄城人。生于战国时期的齐国阿鄄之间（今山东省的阳谷县阿城镇，鄄城县北一带）。传为著名军事理论家孙武后人，著述有《孙膑兵法》，指挥著名战役有“马陵之战”等。
　　孙膑是孙武后代，曾与庞涓为同窗师从鬼谷子学习兵法 孙膑。后庞涓为魏惠王将军，因嫉贤妒能，恐孙膑取代他的位置，骗孙膑到魏使用奸计，孙膑被处以髌刑。齐欣赏其兵法韬略后被齐国使者偷偷救回齐国，被田忌善而客待。后通过田忌赛马被引荐与齐威王任为军师。马陵之战，身居辎车，计杀庞涓，打败魏军。著作有《孙膑兵法》，部分失传。1972年山东省临沂银雀山汉墓中挖掘出土有《孙膑兵法》残简，现藏于临沂金雀山汉墓竹简博物馆，其书有一万一千余字。

先纠正下，《孙子兵法》是孙武写的
孙膑（？----前316年），其本名孙伯灵（山东孙氏族谱可查），是中国战国时期军事家，汉族，山东鄄城人。生于战国时期的齐国阿鄄之间（今山东省的阳谷县阿城镇，鄄城县北一带）。传为著名军事理论家孙武后人，著述有《孙膑兵法》，指挥著名战役有“马陵之战”等。
　孙膑是孙武后代，曾与庞涓为同窗师从鬼谷子学习兵法 孙膑。后庞涓为魏惠王将军，因嫉贤妒能，恐孙膑取代他的位置，骗孙膑到魏使用奸计，孙膑被处以髌刑。齐欣赏其兵法韬略后被齐国使者偷偷救回齐国，被田忌善而客待。后通过田忌赛马被引荐与齐威王任为军师。马陵之战，身居辎车，计杀庞涓，打败魏军。著作有《孙膑兵法》，部分失传。1972年山东省临沂银雀山汉墓中挖掘出土有《孙膑兵法》残简，现藏于临沂金雀山汉墓竹简博物馆，其书有一万一千余字。肯定有这么一个人的！

当然有，近几十年在临沂出土的《孙膑兵法》残简，就是有力证据！

有，孙子兵法