所獲獎項（部分）

1956年　獲首屆國家自然科學一等獎

1994年　獲首屆求是傑出科學家獎

1997年　獲國際自動推理最高獎Herbrand自動推理傑出成就獎

2000年　獲首屆國家最高科技獎

2006年　獲邵逸夫數學獎

記者 王玨 整理

讀文匯報PDF版面