简介：波利亚（George Polya，1887-1985），美籍匈牙利数学家。生于布达佩斯，卒于美国。青年时期曾在布达佩斯、维也纳、巴黎等地攻读数学、物理和哲学，获博士学位。1914年在瑞士苏黎世工业大学任教，1938年任数理学院院长。1940年移居美国，历任布朗大学、斯坦福大学教授。1963年获美国数学会功勋奖。他是法国科学院、美国国家科学院和匈牙利科学院的院士。 曾著有《怎样解题》、《数学的发现》、《数学与猜想》等，它们被译成多种文字，广为流传。 1959年，波利亚以「数学作为学习合情推理的学科」为题，在美国《数学教师》（The Mathematics Teacher）杂志上发表论文，提出「合情推理」概念，认为在数学研究与数学教学中合情推理占有很重要的地位． 随后在《数学与合情推理》第二卷中，进一步阐述了合情推理及其模式．波利亚的合情推理是指借助于归纳、模拟、限定、推广、猜测、检验等思维活动来认识事物、发现真理的推理形式．其英文词是「plausible reasoning」，直译为「似乎可靠的推理」．例如，我们知道，如果命题A可推出命题B，且命题A是真的，则命题B必真． 反过来，如果命题B是真的，那么能否推出命题A为真呢？演绎推理不能回答这个问题．但波利亚认为，B真对增大A真的可能性会产生影响，他认为若A可推出B1，B2，…，且B1，B2，…都真，则A将大大提高了可靠性．由于他在合情推理中使用了「命题的可靠性」概念，因此，很想利用概率论方法来研究合情推理，但是他遇到了困难．虽然如此，仍不愧为对数学方法论的重要贡献，著名学者A．舍恩费尔德(Schoenfeld）认为，它将对人工智能起作用（1987年）．