希尔伯特计划的陈述这个计划的主要目标，是为全部的数学提供一个安全的理论基础。具体地，这个基础应该包括：所有数学的形式化。意思是，所有数学应该用一种统一的严格形式化的语言，并且按照一套严格的规则来使用。完备性。我们必须证明以下命题：在形式化之后，数学里所有的真命题都可以被证明（根据上述规则）。相容性。我们必须证明：运用这一套形式化和它的规则，不可能推导出矛盾。保守性。我们需要证明：如果某个关于“实际物”的结论用到了“假想物”（如不可数集合）来证明，那么不用“假想物”的话我们依然可以证明同样的结论。确定性。应该有一个算法，来确定每一个形式化的命题是真命题还是假命题。参见希尔伯特第二问题哥德尔不完备定理

生平俱乐部泽·罗伯托早在1997年加盟西班牙超级俱乐部皇家马德里，但未获重用。之后曾返回巴西效力当地强队法林明高。1998年他远赴德国加盟勒沃库森，一直是球队核心。可惜勒沃库森实力不及豪门球队，1999-00年赛季勒沃库森本在德甲联赛一直领先，岂料最后一场落败失分，结果屈居在拜仁慕尼黑之后，获得亚军。2002年勒沃库森也一如以往，不但赢得了联战平杯赛亚军，连闯进了欧冠杯决赛，结果负于皇家马德里，也是屈居亚军，时称“三亚王”。2002年他加盟了德甲豪门拜仁慕尼黑，在期间他赢得了多届德甲冠军。不过他并不太适应拜仁战术风格，像他主要擅长左翼位置，但拜仁却多安排他打中场中路，这安排被泽·罗伯托多番不满。2006年6月30日泽·罗伯托与拜仁的合约到期，泽·罗伯托亦宣布不再续约。离开拜仁后他原本获沙特阿拉伯俱乐部邀请，但最后却返回巴西效力山度士。到了2006-07季结束后，他又回归拜仁慕尼黑。2009...

生平简历希尔伯特出生于柏林。之后于哈雷-维滕贝格大学学习数学和地理，他于1795年被任命为教授。1811年，他被任命为莱比锡大学物理学教授，并保持该职务直到其去世。他逝世于莱比锡。

球员生涯1976年，罗哈斯在智利球队航空（英语：DeportesAviación）开始足球生涯。1983年，他加盟智利豪门科洛科洛，并帮助球队获得1983和1986赛季智利足球甲级联赛冠军。1987年，由于在1987年美洲杯足球赛的精彩表现，罗哈斯转会到巴西球队圣保罗，直到1989年被国际足联禁赛。1990年世界杯预选赛事件1989年9月3日，罗哈斯在1990年世界杯预选赛南美区最后一轮比赛中担任智利国家队的守门员，在马拉卡纳体育场挑战巴西队。巴西队凭借49分钟卡雷卡的进球取得领先，如果比分保持到终场，智利将被巴西淘汰，无缘1990年世界杯。第67分钟，一名叫罗森内里（英语：RoseneryMellodoNascimento）的女球迷从看台扔下一个烟火，刚好落在罗哈斯的身旁。罗哈斯立即倒地并抱着头在球场翻滚，他故意用藏在手套中的刀片割伤自己，企图让比赛结果无效，甚至导致巴西队...

参见古典音乐作曲家列表