弗里德堡–穆奇尼克定理（英語：Friedberg–Muchnik Theorem）是可計算性理論中關於不可解度的定理，声称存在一对互相不可计算的递归可枚举不可解度。 存在递归可枚举不可解度 A , B {\displaystyle A,B} 互不可计算。 波斯特定理 克莱尼–波斯特定理 波斯纳–罗宾逊定理...

，然而同样不可解的“元停机问题”（即所有具备停机问题的预言机的停机问题）却要难过停机问题，因为具备元停机问题的预言机可以解出停机问题，然而具备停机问题的预言机却不能解出元停机问题。 波斯特定理 克莱尼–波斯特定理 弗里德堡–穆奇尼克定理 波斯纳–罗宾逊定理 跳躍逆轉定理 可计算性理论[永久失效連結]...

{D}}\;\vert \;D\geq _{T}C\}} 叫做 C {\displaystyle C} 上的图灵锥。 波斯特定理 克莱尼–波斯特定理 弗里德堡–穆奇尼克定理 波斯纳–罗宾逊定理 跳躍逆轉定理 Robert I. Soare. Recursively Enumerable Sets and Degrees:...

}\geq _{T}B} 且 A , B {\displaystyle A,B} 互不可计算。 弗里德堡–穆奇尼克定理是克莱尼–波斯特定理的强化形式。 波斯特定理 克莱尼–波斯特定理 波斯纳–罗宾逊定理 跳躍逆轉定理 Robert I. Soare. Recursively Enumerable Sets...

展原始操作来允许随着处理的进行对给定的有限符号空间作必要的延伸"， （2）使用多于两个符号的字母表，"有多于一种的方式标记盒子"， （3）介入有限多的"物理对象充当指针，工人识别它们并从一个盒子移动到另一个"。 波斯特定理 克莱尼–波斯特定理 弗里德堡–穆奇尼克定理 波斯纳–罗宾逊定理 跳躍逆轉定理...

与 R.Szelepcsényi 证明了问题2的答案是肯定的。至今，问题1仍然没有被证明或证伪。 波斯特定理 克莱尼–波斯特定理 弗里德堡–穆奇尼克定理 波斯纳–罗宾逊定理 跳躍逆轉定理 John Myhill: Linearly Bounded Automata, WADD Technical Note...

言有时被称为标记语言，或更恰当地称为“容器语言”或“数据描述语言”。 克莱尼–波斯特定理 弗里德堡–穆奇尼克定理 波斯纳–罗宾逊定理 跳躍逆轉定理 算法信息论 乔姆斯基谱系 邱奇－图灵论题 可计算性理论 控制流程 判定器 莱斯定理 结构化程序理论 图灵焦油坑 A UTM cannot simulate...

{\displaystyle \omega } 属于或不属于 S {\displaystyle S} 分别进入接受或拒绝状态。 并不是所有的语言都是图灵可识别的，可以证明存在图灵不可识别语言。 波斯特定理 克莱尼–波斯特定理 弗里德堡–穆奇尼克定理 波斯纳–罗宾逊定理 跳躍逆轉定理 图灵机 枚举器 递归语言 递归可枚举集合...

A ′ ≡ T B {\displaystyle A^{\prime }\equiv _{T}B} 。 波斯特定理 克莱尼–波斯特定理 弗里德堡–穆奇尼克定理 波斯纳–罗宾逊定理 Rodney G. Downey, Steffen Lempp, and Richard A. Shore. Jumps...

马尔可夫算法 然而这些模型无一例外地都和图灵机的计算能力等价，因此邱奇，图灵和哥德尔 提出了著名的邱奇-图灵论题：一切直觉上能计算的函数都可用图灵机计算，反之亦然。 克莱尼–波斯特定理 弗里德堡–穆奇尼克定理 波斯纳–罗宾逊定理 跳躍逆轉定理 Turing, A., On Computable Numbers...

_{G}(B)=\Phi _{G}^{\prime }} ，故定理得证。这一证明方式叫做隈部（日语：隈部正博）–斯莱曼（英语：Theodore Slaman）力迫法。 波斯特定理 克莱尼–波斯特定理 弗里德堡–穆奇尼克定理 波斯纳–罗宾逊定理 跳躍逆轉定理 Robert I. Soare. Recursively...

比如{ INC(r, z), JZDEC(r, ztrue, zfalse)} 图灵机 停机问题 波斯特定理 克莱尼–波斯特定理 弗里德堡–穆奇尼克定理 波斯纳–罗宾逊定理 跳躍逆轉定理 George Boolos, John P. Burgess, Richard Jeffrey（2002）, Computability...

尼尔斯·亨里克·达维德·玻尔（丹麥語：Niels Henrik David Bohr，1885年10月7日—1962年11月18日），一译尼尔斯·博尔，丹麦物理学家，1922年因“他對原子結構以及從原子發射出的輻射的研究”而榮获诺贝尔物理学奖。 玻尔發展出原子的玻尔模型。这一模型利用量子化的概念來合...

戈弗雷·哈羅德·哈代（英語：Godfrey Harold Hardy，1877年2月7日—1947年12月1日），英国數學家，出生于英格兰萨里郡，在剑桥大学三一学院毕业，其后在剑桥大学、牛津大学任教并成为英国皇家学会成员。他长期担任牛津大学和剑桥大学的数学教授职位，与另一位英国数学家利特尔伍德...

克方程），你有吗？”打发了他。 费曼本人对费曼图非常得意，曾把它画在自家的汽车上。盖尔曼则把“夸克”一词写在自己车上，和费曼对着干。 罗伯特·奥本海默曾在听完斯洛特尼克(Slotnick)的博士毕业论文讲解后，认为其计算结果肯定有错误，因为它违背了凯斯定理(Case's...

三次方程的一种解法 – 希皮奥内·德尔·费罗（1520年）；尼科洛·塔尔塔利亚（1535年） 太阳黑子 – 托马斯·哈里奥特（英格兰，1610年）；约翰内斯·法布里奇乌斯（英语：Johannes Fabricius）、大卫·法布里奇乌斯（弗里西亚，1611年）；伽利略（意大利，1612年）；克里斯托夫·赛因那（英语：Christoph...

克谢·阿布里科索夫及维塔利·金兹堡凭借早年与朗道共同建立的超导体和超流体理论也于2003年获得诺贝尔物理学奖。 1908年1月22日，列夫·朗道出生于俄国里海边上的石油城巴库（今亞塞拜然共和国首都）。“列夫”（Лев）这个名字在俄语里是“雄狮”的意思。他的父亲达维德·勒沃维奇·朗道（Давид...

Capellini）、焦苏埃·卡尔杜奇、乔瓦尼·帕斯科利（英语：Giovanni Pascoli）、奥古斯托·里吉、费代里戈·恩里克斯（英语：Federigo Enriques）、贾科莫·恰米奇安、奥古斯托·穆里（英语：Augusto Murri）。...

Moon）》 法蘭高·齊費里尼 《豺狼之日》 弗雷德·金尼曼 《海神號遇險記》 羅納·尼梅（英语：Ronald Neame） 《森林復活記（英语：Macbeth (1971 film)）》 羅曼·波蘭斯基 《偵探（英语：Sleuth (1972 film)）》 约瑟夫·曼凯维奇 《飛輪喋血（英语：Duel...

·華森、休·格蘭特、李察·波頓、凱特·貝金賽爾、羅莎蒙·派克、華萊士·尚恩、安娜·帕普威爾、陳靜、艾蜜莉·莫提梅、休·丹希、里茲·阿邁德、阿爾弗雷德·伊諾奇、達德利·摩爾（英语：Dudley Moore）、邁克爾·佩林、特里·瓊斯、唐納·克里斯普（第14屆奥斯卡最佳男配角奖得主）、艾莉絲·伊芙、湯姆...

(physics)）和各向同性）。1922年，苏联物理学家亚历山大·弗里德曼用广义相对论描述了流体，从而给出了这一模型的场方程。1927年，比利时物理学家乔治·勒梅特通过求解弗里德曼方程已经在理论上提出了同样的观点，这个解后来被称作弗里德曼－勒梅特－罗伯逊－沃尔克度规。1929年，美国物理学家愛德...

与其二重交换元（英语：bicommutant）所成集合的纯代数学定义等价。自1936年起，冯·诺依曼开始研究冯·诺依曼代数中的因子分类，期间还与弗朗西斯·穆瑞(Francis Joseph Murray)有过部分合作。1936年至1940年，他发表了6篇有代表性的论文，“位列20世纪分析学杰作名录”("rank...

弗拉基米尔·亚历山德罗维奇·科捷利尼科夫（俄語：Владимир Александрович Котельников，羅馬化：Vladimir Aleksandrovich Kotelnikov，1908年9月6日—2005年2月11日）是苏联无线电物理学家，雷達天文學家。苏联密码无线电通信技术的先...

謝爾蓋·里沃維奇·索伯列夫（俄语：Серге́й Льво́вич Со́болев，1908年10月6日—1989年1月3日），蘇聯數學家，主要研究領域是數學分析及偏微分方程。索伯列夫生於聖彼得堡，卒於莫斯科。 索伯列夫在許多數學領域中都有重大的基礎性貢獻。索伯列夫空間可以在一些增長性條件下定義...

伊萬·謝羅夫，84歲，俄羅斯情報官員，克格勃負責人（1954-1958）。 威廉·溫克爾曼，102歲，荷蘭奧運會田徑運動員（1908年）。 西爾維娜·布爾裡奇，74歲，阿根廷小說家，肺癌。 伯特·康納利，81歲，加拿大冰球運動員。 路德維希·弗朗茨，67歲，德國政治家。 馬里恩·賴斯·哈特，98歲，美國運動員。...

當法爾薩法運動的影響力傳至西方世界時，克雷莫納的翻譯家傑拉德開始翻譯亞里士多德的作品。來自穆爾貝克的威廉也將一些作品翻譯為拉丁文。當托馬斯·阿奎納撰寫他的神學思想時，他開始閱讀穆爾貝克的翻譯，接著對於亞里士多德思想的興趣和研究開始在西方世界復甦，亞里士多德學派於是得以在歐洲重现。 亞里士多德的廣泛作品在《亞里士多德文集》（Corpus...

克、馬克斯·馮·勞厄、魯道夫·拉登堡（英语：Rudolf Ladenburg）、維爾納·海森堡、瓦爾特·能斯特、沃爾夫岡·包立、和阿爾伯特·愛因斯坦等許多知名學者。 隨後維格納進入威廉皇帝物理化學和電化學研究所（現在的弗里茨·哈伯研究所（英语：Fritz Haber...

Buhr），59歲，法國電影和電視演員。 賈里德·弗倫奇（Jared French），82歲，美國畫家。 Einar Gjerstad，90歲，瑞典考古學家（隆德大學）。 博伊德·摩根（Boyd “Red” Morgan），72歲，美國NFL橄欖球運動員（華盛頓紅人隊）和演員（《了不起的透明人》）。 弗蘭克·佩斯（Frank...

里科·费米将这个被称为中微子的粒子引入他的β衰变理论。在泡利去世之前的兩年半，中微子首次在1956年，由Frederick Reines和克萊德考恩的实验证实。在接到這個消息後，他回覆了一封電報：“感謝您的消息，對於懂得等待的人一切終將變得瞭然。泡利。” 1940年，泡利证明了自旋統計定理...

德和約翰尼斯·斯塔克把愛因斯坦的成就稱為“猶太物理（英语：Jewish Physics）”，並發起政治運動把它們從德語詞彙排除出去。傳授愛因斯坦理論的學者都被列入黑名單，比如維爾納·海森堡。萊納德宣稱，愛因斯坦質能方程不是愛因斯坦的發明，而是德國學者弗里德里希·哈澤內爾（英语：Friedrich...

克斯定理推导得到了著名的安培环路定理，证明了磁场沿包围产生其电流的闭合路径的曲线积分等于其电流密度，这一定理成为了麦克斯韦方程组的基本方程之一。安培的工作揭示了电磁现象的内在联系，将电磁学研究真正数学化，成为物理学中又一大理论体系——电动力学的基础。 英国物理学家迈克尔·法拉第早年跟随化学家汉弗里...