托尼·布鲁克斯查尔斯·安东尼·斯坦迪什·布鲁克斯(英语:Charles Anthony Standish Brooks,1932年2月25日-2022年5月3日)是一名英国的赛车手。他参加过39场一级方程式世界锦标赛大奖赛,取得过6次胜利,10次登上领奖台,生涯积分共75分。布鲁克斯也是自1923年以来第一个驾驶英国赛车赢得大奖赛的英国车手。
力迫在数学学科集合论中,力迫是保罗·寇恩(Paul J. Cohen)发明的一种技术,用来证明与策梅洛-弗兰克尔公理有关的一致性和独立性结果。它在1962年首次被用来证明连续统假设和选择公理对策梅洛-弗兰克尔集合论的独立性。实际上在寇恩正式引入力迫法前,它已经被广泛地应用于递归论中。寇恩的力迫法最初是建立在分歧分层(ramified hierarchy)上,难于理解。1960年代通过梭罗维(英语:Robert M. Solovay)(Solovay)与斯科特(Scott)等人的努力力迫法被相当程度的重做和简化