• 数学中,·代数或W*-代数是希尔伯特空间上有界算子的*-代数,在弱算子拓扑中封闭,并包含恒等算子,是一类特殊的C*-代数·代数由约翰··提出,源于对单算子、群表示论、遍历理论和量子力学的研究。·双连续定理表明,解析定义等同于作为对称性代数的纯代数定义。 ·代数的两个基本例子:...
    34 KB (6,317 words) - 12:10, 13 March 2025
  • immortality")。·当时已完成了涉及算子理论的著名论文,并将其成果用作证明·平均遍历定理的工具。 ·在“·代数”中提出了“算子环”的概念。·代数是一种定义于希尔伯特空间的有界算子的星代数(英语:*-algebra),近似于弱算子拓扑,且包含有恒等算子。以他命名的·二重交换元定理(von...
    38 KB (4,423 words) - 06:21, 20 May 2025
  • 阿兰·科纳(法語:Alain Connes,法語發音:[alɛ̃ kɔn],1947年4月1日—),又譯阿蘭·孔涅,法国数学家,生於法國瓦爾省德拉吉尼昂,专长·代数。他在非交换几何学上的工作对理论和数学物理有重要影响。他是1982年的菲尔兹奖获得者。 阿蘭·科納曾就讀於梯也爾中學,自1966年至1970年...
    5 KB (461 words) - 18:25, 9 October 2024
  • 在数学和理论物理学中,斯通-定理是指位置和动量算子间的正则对易关系的唯一性的众多不同表述中的一种。它冠名于马歇尔·斯通和约翰··。 在量子力学中,物理可观测量在数学上由希尔伯特空间上的线性算子来表示。 对于在实轴 R {\displaystyle \mathbb {R} }...
    8 KB (1,346 words) - 07:14, 22 February 2025
  • 埃利奥特·利布 (category 丹尼·海涅数学物理奖获得者)
    -罗宾孙边界在量子信息领域中有重要意义。这一边界也被用于证明利布-舒尔兹-马蒂斯定理。他还有以他名字命名的Temperley-Lieb代数。他和鲁斯卡证明了熵的次可加性。 妻子是语言学家克里斯蒂安·菲尔鲍姆。 Lieb, Elliott H.; Loss, Michael. Analysis...
    7 KB (633 words) - 05:11, 20 October 2022
  • 因此,有局部紧、非紧、非交换的群G的情形。有趣的例子如很多李群和P进数域上的代数群。这些例子在数学物理和当代数论(尤其是自守表示)中有广泛应用。 约翰··的基础成果是众所周知的,他指出,若G的代数属于I型,则作为G的幺正表示的 L 2 ( G ) {\displaystyle...
    4 KB (509 words) - 05:31, 1 May 2024
  • 一般认为C*-代数主要是应用在量子力学中可观察量的模型代数中。这方面的研究始于1933年左右维尔纳·海森堡创立的矩阵力学以及帕斯库尔·约当研究的更接近数学的形式。之后·在他的一系列关于算子环的论文中尝试建立更广泛的架构。这些论文可看做是一类特殊的C*-代数,现在称为代数。 1943年前后,...
    25 KB (4,770 words) - 15:54, 10 April 2024
  • ·、阿廷、特等人相识。1931年夏在阿尔卑斯山爬山时,不幸遇险身亡,年仅23岁。 埃尔布朗的主要贡献在数理逻辑和类域论,发明了递归函数。他建立的埃尔布朗定理是量化理论的一个基本命题,已成为机器证明的基础。在近世代数方面,他发表了十几篇有关类域论的论文,丰富了代数数域的阿贝尔扩张理论。...
    2 KB (154 words) - 10:35, 24 September 2024
  • 。重定义空集为·序数 [ 0 ] {\displaystyle [0]} 。则 { [ 0 ] } {\displaystyle \{[0]\}} ,是仅含有空集為元素的集合,属于 S 2 X {\displaystyle \mathbf {S} _{2}X} ;定义为·序数 [ 1...
    11 KB (1,981 words) - 01:43, 28 July 2024
  • 序数 (redirect from ·序数)
    與其定义序数为良序集合的等价类,我们可以尝试定义它为(规范的)代表这个类的某个特定良序集合。因此我们希望把序数构造为特殊的良序集合,使得所有良序集合都同构于一个且只是一个序数。 ·提议了巧妙的定义,现在被作为了标准:定义每个序数为特殊的良序集合,也就是在它之前的所有序数的集合。形式的说:...
    24 KB (4,541 words) - 11:58, 24 November 2023
  • 数学主题 数学家列表 計算員 数学笑话 《一个数学家的辩白》 《数学大师:从芝到庞加莱》 《数学巨匠:从欧拉到·》 Category:数学题材电影 数学 汤双. 佩雷尔与庞加莱猜想. 读书. 2010年7月, (7): 67–72. ISSN 0257-0270. CNKI DSZZ201007013...
    7 KB (1,011 words) - 11:07, 24 March 2023
  • 代数与希尔伯特空间上的表示一同决定了一个测度空间,而这两种构造(代数加测度空间的表示)是互逆的。 ·随后提出,非交换代数应像交换代数一样有几何意义。他与Francis Murray共同提出了代数的分类。直积分构造说明了如何将任何代数分解为更简单的代数...
    49 KB (8,330 words) - 13:01, 7 April 2024
  • 西格尔在其1947年的论文中表明,对于可由希尔伯特空间上的算子代数描述的任何物理系统,考虑 C*-代数的不可约表示就足够了。在量子理论中,这意味着C*-代数是由可观测量生成的。正如西格尔所指出的,约翰··早先已经证明过这一点,但仅限于非相对论性的薛定谔-海森堡理论的特殊情况。 斯坦斯普林扩张定理...
    15 KB (2,519 words) - 21:14, 7 September 2024
  • 公理化量子场论(英语:Wightman axioms)、代数量子场论(英语:local quantum physics)以及构造量子场论(英语:constructive quantum field theory) C*-代数表示 量子力学的广义统计模型 此外,还依据他对于波函数坍缩的描述提出了一种量子测...
    43 KB (6,748 words) - 17:39, 8 March 2025
  • 與研究核能推動的穿梭機。在純數學上,遍歷理論、數論、集合論和代數拓撲都有他的足跡。 他生於奥匈帝国东部城市伦贝格(今乌克兰利沃夫)。其導師是斯特凡·巴拿赫。1938年他到了美國,先後在哈佛大學和威斯康辛大學麥迪遜分校工作。约翰··邀請了他来參與在新墨西哥進行的「神秘計劃」。他提出使用蒙特卡羅方法計算核變的連鎖反應。他和C...
    4 KB (282 words) - 10:25, 4 May 2025
  • (逻辑学)。 不含选择公理时简写为ZF。 外延公理 空集公理 配对公理 并集公理 无穷公理 替代公理 幂集公理 正则性公理 分类公理 参见 策梅洛集合论。 -博内斯-哥德尔集合论是设计生成同策梅罗-弗兰克尔集合论与选择公理一起同样结果的集合论公理系统,但只有有限数目的公理而不使用公理模式。 大小限制公理...
    3 KB (429 words) - 21:57, 18 March 2023
  • 1940年,香农成为普林斯顿高等研究院的研究员。在那里香农有很多机会与当时有影响力的科学家和数学家交流,比如阿尔伯特·爱因斯坦、赫尔·外尔和约翰··,现代信息论的思想逐渐在他脑海中成型。 二战期间,香农加入贝尔实验室,研究火力控制系统和密码学,相关课题直属国防研究委员会领导。...
    21 KB (2,278 words) - 04:12, 15 May 2025
  • Industrial and Applied Mathematics)授予他·奖。1969年当选为英国皇家学会院士,1987年被追授美国数学会的Chauvenet奖。 1970年,他获得了图灵奖,其颁奖词是:“因其在数值计算领域的研究,他在线性代数计算与向后误差分析法方面的工作,获得广泛赞誉,促进了高速数字计算机的应用。”...
    6 KB (690 words) - 07:11, 1 May 2024
  • 乘优化等。数值线性代数的核心问题是开发在有限精度计算机上应用真实数据时不会引入误差的算法,这通常通过迭代法来实现,而非直接方法。 数值线性代数是由约翰··、艾伦·图灵、詹姆斯·哈迪·威尔金森、阿爾斯通·斯科特·豪斯霍爾德、喬治·福賽思(英语:George Forsythe)、海因茨·魯蒂紹爾(英语:Heinz...
    15 KB (2,430 words) - 15:47, 25 February 2025
  • 只有生/死两种状态,而Generations可以支持那些拥有多状态(最高可达256个状态)的规则。 JvN:由约翰··最早提出的元胞自动机算法(20世纪40年代),支持本人提出的JvN29规则(一个包含29种状态的元胞自动机)及其变种。 RuleLoader:允许用户自定义规则的算法,用户可通过外部...
    6 KB (572 words) - 06:06, 6 February 2021
  • Laboratory),參加了ALGOL語言的設計。1977年10月17日在西雅图举行的ACM年会上獲得計算機界最高獎圖靈獎,會中他發表了“程序设计能从形式中解脱出来吗?函数式风格及其程序的代数”(Can Programming be Liberated from the von Neumann Style? A Functional...
    5 KB (526 words) - 07:47, 7 July 2024
  • 在数学和数理逻辑中,逻辑代数(有时也称开关代数、布尔代数)是代数的一个分支,其变量的值仅为真和假两种真值(通常记作 1 和 0)。初等代數中变量的值是数字,而且主要的运算是加法、乘法和乘方(以及它們的逆运算),而逻辑代数的主要运算符有合取与,记为∧;析取或,记为∨;否定非,记为¬。因此,它是描述逻辑...
    13 KB (1,807 words) - 15:42, 5 April 2024
  • 布尔值模型 (category 布尔代数)
    M 之上。 一个公式的真值有时被称为它的可能性。它不能理解为一般意义上概率,它们不是实数而是完全布尔代数的 B 的元素。 给定一个完全布尔代数 B,有一个指示为 VB 的布尔值模型,它是·全集 V 的布尔取值的类似者。(严格的说,VB 是真类,所以我们需要适当的重新解释对于模型意味着什么)。非形式的说,我们认为...
    8 KB (1,245 words) - 22:52, 7 May 2023
  • 相對於一般的架構(指令存放在共同記憶體,尋址模式與執行順序由 CPU 的程式計數器控制) ,脈動陣列的各別節點是由資料的到來所觸發,而且使用一致的方式處理資料。每個節點中的實際資料處理,可以是硬體寫死的,也可以由微指令控制。 相對於架構是由程式計數器來驅動指令流...
    4 KB (500 words) - 21:26, 29 January 2025
  • 9世纪末,创造“缔约过失责任”理论的著名民法学家鲁道夫··耶林在此任教。 更让哥廷根成为世人瞩目的科学中心的是其自然科学,尤其是数学。被称为“最重要的数学家”的高斯就于18世纪任教于此并开创了“哥廷根学派”。此后,黎、狄利克雷和雅可比在代数、几何、数论和分析领域做出了贡献。到19世纪,著名数学家...
    32 KB (4,911 words) - 11:19, 15 March 2025
  • Game Theory, Nuclear Deterrence, and Much More [天才的拓荒者:·传]. 哲人石丛书. 范秀华 (翻译), 朱朝晖 (翻译), 刘丽 (责任编辑) 1. 中国上海冠生园路393号: 上海科技教育出版社. 2008 [1992]. ISBN 978-7-5428-4773-7...
    30 KB (3,937 words) - 04:04, 28 March 2025
  • 整体同步并行(Bulk Synchronous Parallel)抽象机器,是用来设计并行算法的计算模型,由哈佛大学莱斯利·瓦利安特提出,他希望像·体系结构那样,架起计算机程序语言和体系结构间的桥梁,故又称其为桥接模型(Bridging Model)。 BSP是哈佛大学计算机科学家Leslie...
    14 KB (2,262 words) - 02:47, 14 March 2024
  • Sussex College, Cambridge)的学院研究员和数学讲师。 1986年离开剑桥后,他在普林斯顿大学获得了约翰··数学教席。 康威的职业生涯与数学科普作家、《科学美国人》杂志专栏作家馬丁·加德納的职业生涯交织在一起。当加德纳在1970年10月的《数学游戏》专...
    13 KB (1,973 words) - 06:05, 8 October 2024
  • 在1973年,同调代数中的怀特海问题被证明是集合论中的不确定命题。 1977年,Paris和Harrington证明了组合论中的一个命题,拉姆赛理论的某个版本,在皮阿公理给出的算术公理系统中是不确定的,但可以在集合论的一个更大体系中证明为真。 在计算机科学中用到的Kruskal的树问题,也是在皮亚公理中不确定而在集合论中可证明的。...
    21 KB (3,451 words) - 03:48, 19 March 2025
  • Pines) 1987 罗伯特·霍夫施塔特 1988 克劳斯··克利青 1989 卡洛·鲁比亚 & 肯尼斯·威尔逊 1990 ·拉姆齐 1991 赫伯特·豪普特 1992 沃尔夫冈·保罗 1996 埃德温·萨尔皮特 1998 戴维·多奇 2002 海因里希·霍拉(英语:Heinrich Hora)...
    14 KB (489 words) - 10:34, 9 October 2024
  • set),例如只包括空集合的集合是一個非空的純集合。在當代的集合論中,常常嚴格限制只考慮純集合的·全集,許多公理集合論的系統也是為了純集合的公理化。這様的限制有許多技術上的優點,因為基本上所有的數學概念都可以用純集合來表示,上述的限制不影響相關的應用。·全集中的集合可以以累積層次(cumulative...
    22 KB (3,659 words) - 16:39, 5 February 2025