問(wèn)答題

【簡(jiǎn)答題】什么是“希爾伯特綱領(lǐng)”

答案：為了消除悖論，奠定更加牢固的數(shù)學(xué)基礎(chǔ)，20世紀(jì)初，逐步形成了關(guān)于數(shù)學(xué)基礎(chǔ)研究的邏輯主義、直覺(jué)主義和形式主義三大流派。其中...

你可能感興趣的試題

問(wèn)答題

【簡(jiǎn)答題】給出羅素悖論的形式化描述，并簡(jiǎn)介其大意。

答案：羅素悖論的形式化描述，并簡(jiǎn)介其大意。
答：羅素悖論可以這樣形式化地定義：S={x∣xS}。為了使人們更好地理解...

問(wèn)答題

【簡(jiǎn)答題】簡(jiǎn)述人們對(duì)計(jì)算本質(zhì)的認(rèn)識(shí)歷史。

答案：在很早以前，人們就碰到了必須計(jì)算的問(wèn)題。遠(yuǎn)在舊石器時(shí)代，刻在骨制和石頭上的花紋就是對(duì)某種計(jì)算的記錄。然而，在20世紀(jì)30...