引發(fā)數(shù)學(xué)界大震蕩的羅素悖論

張立英

圖/機(jī)機(jī)先生

作為對羅素悖論的回應(yīng)，集合論研究領(lǐng)域升級換代，從樸素集合論升級到了更嚴(yán)謹(jǐn)、更基礎(chǔ)的公理集合論。而羅素除了給出類型論來回應(yīng)自己發(fā)現(xiàn)的悖論，還因此和懷特海合作寫出了被后世譽(yù)為“20世紀(jì)的邏輯圣經(jīng)”的《數(shù)學(xué)原理》。