海量資源,盡在掌握
布勞維
荷蘭數(shù)學(xué)家。阿姆斯特丹大學(xué)哲學(xué)博士。長(zhǎng)期任母校教授。荷蘭科學(xué)院院士。對(duì)數(shù)學(xué)基礎(chǔ)有深入研究,是數(shù)理邏輯中直覺主義學(xué)派的代表人物。他否認(rèn)排中律的普遍有效性。著有《論數(shù)學(xué)基礎(chǔ)》、《論邏輯原理的不可靠性》等。