王浩（1921-1995），德州市齐河县安头乡王举人村人，世界著名数学家、逻辑学家、计算机学家和哲学家。民国时期，先后就读于西南联大、清华大学。1946年，进入美国哈佛大学，获哈佛大学哲学博士学位，任哈佛大学教授。20世纪50年代初被选为美国科学院院士，后又被选为不列颠科学院外国院士。1983年，被国际人工智能联合会授予第一届“数学定理机械证明里程碑奖”，以表彰他在数学定理机械证明研究领域中所作的开创性贡献。
