World Hi-Vision Channel

相关

• 哥德尔完备性定理哥德尔完备性定理是数理逻辑中重要的定理，在1929年由库尔特·哥德尔首先证明。它的最熟知的形式声称在一阶谓词演算中所有逻辑上有效的公式都是可以证明的。上述词语“可证明
• 熊有伦熊有伦（1939年4月20日－），中国机械工程专家。生于湖北枣阳。1962年毕业于西安交通大学机械工程系，1966年西安交通大学制造自动化专业研究生毕业。华中理工大学教授。1995年当选为
• 啸岩站啸岩站（朝鲜语：소암역；嘯巖驛）曾为朝鲜铁路咸北线上的一个车站，位于咸镜北道稳城郡，在1944年废止。
• 村上源氏村上源氏是一个日本的氏族，家族起源于村上天皇的后代，尤以具平亲王子孙为最盛。村上源氏是源氏二十一流之一，各个源氏之间，以村上源氏最高贵。久我氏（日语：久我氏）、北畠氏等公卿家
• 上田正昭上田正昭（日语：上田 正昭、1927年4月26日－2016年3月13日），日本历史学家、小幡神社宫司、歌人。出身兵库县城崎郡城崎町（现 丰冈市）出身，京都大学名誉教授、大阪女子大学名誉教授、西
• 关凯文关凯文（英语：Kevin Kwan），本名关本安，美国作家。生于新加坡，曾外祖父胡先愿是当地历史悠久的华侨银行创办董事，祖父关伯谦（Arthur P. C. Kwan）是眼科医生。其高祖关元昌则是中国牙医
• 冯烶冯烶（？－？），字景贞，浙江慈谿县人，明朝政治人物。浙江省乙酉乡试举人。万历二十年，登进士第三甲第一百四十九名，仕至江西参政。曾祖父冯钢；祖父冯光浙；父亲冯何。
• 球员交易球员交易是职业运动的一种运作行为，算是一种以物易物的运作，指两队或多队因为各自所需而将提出来作为筹码的球员进行交换的行为，常见于职业棒球、职业篮球、职业足球、职业冰
• 格奥尔基·加哈里亚格奥尔基·加哈里亚（格鲁吉亚语：გიორგი გახარია，1975年3月19日－），格鲁吉亚政治人物，前格鲁吉亚副总理、格鲁吉亚内政部长（英语：Ministry of Internal Affairs of Georgi
• 崇陵传信录《崇陵传信录》为恽毓鼎（1862－1917）所作。恽毓鼎曾任光绪帝起居注官十九年。书中自言感怀皇帝天挺英明欲奋发有所为，但生平遭际困厄，终损天年，后人又多有误解。因于宣统三年（1911），将