目录
力迫
在数学学科集合论中，力迫是 保罗·寇恩（Paul J. Cohen）发明的一种技术，用来证明与策梅洛-弗兰克尔公理有关的一致性和独立性结果。它在1962年首次被用来证明连续统假设和选择公理对策梅洛-弗兰克尔集合论的独立性。实际上在寇恩正式引入力迫法前，它已经被广泛地应用于递归论中。寇恩的力迫法最初是建立在分歧分层（ramified hierarchy）上，难于理解。1960年代通过索罗维（Solovay）与斯科特（Scott）等人的努力力迫法被相当程度的重做和简化。 力迫法大致是一种扩张模型的方法。给定一个模型M以及模型内一个偏序(P,\leq)，通过构造通集（generic）G\subseteq P来实现模型的扩张。因为通集不在M内，所以这是一个真正的扩张。记为M。它有以下性质：.
查看 米纳汉·马吉多和力迫
基数 (数学)
在日常交流中，基數或量數是對應量詞的數，例如「一顆蘋果」中的「一」。與序數相對，序數是對應排列的數，例如「第一名」中的「一」及「二年級」中的「二」。 在數學上，基數或势，即集合中包含的元素的「个数」（參見势的比较），是日常交流中基數的概念在數學上的精確化（並使之不再受限於有限情形）。有限集合的基數，其意義與日常用語中的「基數」相同，例如\的基數是3。無限集合的基數，其意義在於比較兩個集的大小，例如整數集和有理數集的基數相同；整數集的基數比實數集的小。.
大基数
大基数指的是其存在性能够推出ZF系统协调性的基数。如不可达基数、Ramsay基数、紧致性基数和可测基数等，其中可测基数和Ramsay基数都比弱紧基数强，而若假定選擇公理，弱紧基数是不可达基数。.
查看 米纳汉·马吉多和大基数
希伯来大学
#重定向 耶路撒冷希伯來大學.
一致性 (邏輯)
邏輯上，一致性（consistency）、相容性、或自洽性，是指一個形式系統中不蘊涵矛盾。 所謂的矛盾有二種解讀方式：.
以色列
以色列（יִשְׂרָאֵל；），正式名称是以色列国（help；دَوْلَة إِسْرَائِيل），是位於西亚的主权国家，坐落於地中海东南岸及红海亚喀巴湾北岸，北靠黎巴嫩，东北邻叙利亚，东与约旦接壤，巴勒斯坦领土（巴勒斯坦国对其宣称主权，但局部为以色列所控制）的约旦河西岸地区和加沙地带各居东西，西南则为埃及。其领土范围不大，但地形和气候相当多样。以色列的金融及科技创新中心為特拉维夫，而耶路撒冷則为其法定首都（美國承認）、各政府机构所在地（国防部除外）及其轄下的第一大城市（特拉维夫都会圈人口最多）。以色列对耶路撒冷的主权在国际上有爭議。美国東岸时间2017年12月6日下午1時，特朗普正式在白宫外交厅宣布美国承认耶路撒冷为以色列首都。 1947年11月29日，聯合國大會建議在巴勒斯坦托管地推行分治方案。這一方案規定了新的阿拉伯和猶太國家的國界，並指定耶路撒冷及其周邊地區將為聯合國進行國際管理Harris, J.
查看 米纳汉·马吉多和以色列
佩塔提克瓦
佩塔提克瓦（希伯来语：）是以色列中央区的一座城市，2004年人口176,200，2014年人口225,400。佩塔提克瓦屬於特拉維夫都會區之內。.
冪
幂運算（Exponentiation），又稱指數運算，是一種數學運算，表示為 bn。其中，b 被稱為底數，而 n 被稱為指數，其結果為 b 自乘 n 次。同樣地，把 b^n 看作乘方的结果，稱為「 b 的 n 次幂」或「 b 的 n 次方」。 通常指數寫成上標，放在底數的右邊。當不能用上標時，例如在編程語言或電子郵件中，b^n通常寫成b^n或b**n，也可視為超運算，記為bn，亦可以用高德納箭號表示法，寫成b↑n，讀作“ b 的 n 次方”。 當指數為 1 時，通常不寫出來，因為運算出的值和底數的數值一樣；指數為 2 時，可以讀作“ b 的平方”；指數為 3 時，可以讀作“ b 的立方”。 bn 的意義亦可視為： 起始值 1（乘法的單位元）乘上底數（b）自乘指數（n）這麼多次。這樣定義了後，很易想到如何一般化指數 0 和負數的情況：除 0 外所有數的零次方都是 1 ；指數是負數時就等於重複除以底數（或底數的倒數自乘指數這麼多次），即： 以分數為指數的冪定義為b^.
查看 米纳汉·马吉多和冪
犹太人
犹太人（יְהוּדִים，），又称犹太民族，是广泛分布于世界各国的一个族群。根据犹太教律法《哈拉卡》的定义，一切皈依犹太教的人（宗教意义）以及由犹太母亲所生的人（種族意义）都属于犹太人。犹太人发源于西亚的以色列地或希伯来地。犹太人的民族、文化和宗教信仰之间具有很强的关联性，犹太教是维系全体犹太人之间认同感的传统宗教。犹太教不欢迎外族皈依，要皈依犹太教的外族人必须通过考验才可以，虽然如此历史上世界各地仍有小部分不同肤色的人群通过皈依犹太宗教而成为犹太族群的一部分，而犹太人也由此从阿拉伯半岛的一个遊牧民族，发展成为遍布全球的世界性族群之一。 根据有关犹太人组织的统计，2007年全球犹太人总数约在1,320万人左右，其中540万人定居在以色列，530万人居住在美国，其余则散居在世界各地。犹太人口总数仅占全球总人口的0.2%, based on 。根据其他组织的统计，美国国内的犹太人人数则达到650万人或美国人口的2%。上述数据也包含了自认为是犹太人但没有归属于任何犹太社团组织的人群，但事实上，全球犹太人的总人口数很难得到准确统计，因为犹太人的定义存在多种标准和界定方式，导致统计的准确性受到了影响。.
查看 米纳汉·马吉多和犹太人
集合论
集合論（Set theory）或稱集論，是研究集合（由一堆構成的整體）的數學理論，包含集合和元素（或稱為成員）、關係等最基本數學概念。在大多數現代數學的公式化中，都是在集合論的語言下談論各種。集合論、命題邏輯與謂詞邏輯共同構成了數學的公理化基礎，以未定義的「集合」與「集合成員」等術語來形式化地建構數學物件。 現代集合論的研究是在1870年代由俄国数学家康托爾及德國数学家理察·戴德金的樸素集合論開始。在樸素集合論中，集合是當做一堆物件構成的整體之類的自證概念，沒有有關集合的形式化定義。在發現樸素集合論會產生一些後，二十世紀初期提出了許多公理化集合論，其中最著名的是包括選擇公理的策梅洛-弗蘭克爾集合論，簡稱ZFC。公理化集合論不直接定義集合和集合成員，而是先規範可以描述其性質的一些公理。 集合論常被視為數學基礎之一，特別是 ZFC 集合論。除了其基礎的作用外，集合論也是數學理論中的一部份，當代的集合論研究有許多離散的主題，從實數線的結構到大基数的一致性等。.
查看 米纳汉·马吉多和集合论
耶路撒冷
耶路撒冷（help，拉丁化：Yerushaláyim；help，拉丁化：al-Quds，漢譯：古都斯或古德斯，意為「神聖的」；唐朝時期的景教徒曾根據敍利亞語「Ūrišlem」譯作烏梨師斂）为以色列和巴勒斯坦境内的一座城市，位於地中海和死海之间，是古代巴勒斯坦中部的全球宗教重镇，也是完整保留人类信仰文明演进史的一个历史城市。耶路撒冷同时是犹太教、基督教和伊斯兰教三大亚伯拉罕宗教（或称「三大天启宗教」）的聖地。自公元前10世纪，所罗门王建成第一圣殿起，耶路撒冷一直是犹太教信仰的中心和最神圣的城市自從公元前10世紀：.
查看 米纳汉·马吉多和耶路撒冷
耶路撒冷希伯来大学
#重定向 耶路撒冷希伯來大學.
数学
数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科，从某种角度看屬於形式科學的一種。數學透過抽象化和邏輯推理的使用，由計數、計算、量度和對物體形狀及運動的觀察而產生。數學家們拓展這些概念，為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。 基礎數學的知識與運用總是個人與團體生活中不可或缺的一環。對數學基本概念的完善，早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見，而在古希臘那裡有更為嚴謹的處理。從那時開始，數學的發展便持續不斷地小幅進展，至16世紀的文藝復興時期，因为新的科學發現和數學革新兩者的交互，致使數學的加速发展，直至今日。数学并成为許多國家及地區的教育範疇中的一部分。 今日，數學使用在不同的領域中，包括科學、工程、醫學和經濟學等。數學對這些領域的應用通常被稱為應用數學，有時亦會激起新的數學發現，並導致全新學科的發展，例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。數學家也研究純數學，就是數學本身的实质性內容，而不以任何實際應用為目標。雖然許多研究以純數學開始，但其过程中也發現許多應用之处。.
查看 米纳汉·马吉多和数学
数理逻辑
数理逻辑是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。 数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑（相对于哲学逻辑），又称元数学，后者的使用现已局限于证明论的某些方面。.
查看 米纳汉·马吉多和数理逻辑
另见
耶路撒冷希伯来大学教师
- 亚瑟·盖尔斯敦
- 卡尔·亨普尔
- 古斯塔沃·派来德尼克
- 埃隆·林登施特劳斯
- 多利安·哥德费尔德
- 大衛·卡日丹
- 朱利奥·拉卡
- 米纳汉·马吉多
- 约瑟夫·克劳斯纳
- 约瑟夫·海勒 (动物学家)
- 罗伯特·约翰·奥曼
- 舒衡哲
- 诺姆·尼散
- 阿摩司·特沃斯基
- 阿米哈伊·馬扎爾
- 雅各布·托曼
- 雅各布·貝肯斯坦
- 霍华德·锡达
- 马丁·布伯