: 分析學的算術化
: 建立在實數算數的無矛盾性上
: 建立在實數算數的無矛盾性上
早晨好.我很高興今天與諸位一起開始進入新的千年.我不能想出一個比談科學和數學趨勢更好的題目,因為在新千年中科學和技術可能比目前更為重要.我不是一個談論大趨勢的專家,在討論未來時感到相當緊張.但是最近我在美國聯邦政府的科學政策委員會裡工作,為政府服務的一個職責是你要對于不甚了解的非常大的題目進行說教.所以大家會原諒我在今天就我們正在討論的議題作某些猜測.如果我們同意這些大趨勢確實是我們今天看到的樣子,那麼我們也會同意至少在不遠的將來,這些趨勢的動量將把它們運
動到什麼地方.