斯坦尼斯瓦夫·亚希科夫斯基(波兰语:Stanisław Jaśkowski,1906年4月22日-1965年11月16日),波兰逻辑学家,曾在证明论和语义学方面作出过重要贡献。
首页 >
斯坦尼斯瓦夫·亚希科夫斯基
✍ dations ◷ 2025-04-18 19:45:53 #1906年出生,1965年逝世,波兰人,逻辑学家
相关
- 西莫尼德斯西莫尼德斯(英语:Simonides of Ceos),(前556年-前468年)。古希腊科奥斯的抒情诗人之一,他是诗人巴库利德斯的叔父。作为诗人,他的创作遍及希腊:他曾在雅典希帕尔库斯的宫廷,在色萨利(公
- 1900年1900年美国人口普查(英语:1900 United States Census)是美国历史上第12次全国人口普查,确定了美国的常住人口为75,994,575人,相比1890年美国人口普查,同比增长为21.0%。1900年的人
- 解析几何解析几何(英语:Analytic geometry),又称为坐标几何(英语:Coordinate geometry)或卡氏几何(英语:Cartesian geometry),早先被叫作笛卡尔几何,是一种借助于解析式进行图形研究的几何学分支
- Benzodiazepine苯二氮䓬类药物(拉丁语:Benzodiazepines,BZDs、䓬/zhuó/),又译苯二氮平,是一种精神药物,其核心化学结构是一个苯环和一个䓬环。第一种此类药物是氯氮䓬(利眠宁),由Leo Sternbach在195
- 隔膜泵隔膜泵(Diaphragm pump或Membrane pump),又称为气动隔膜泵(pneumatic diaphragm pump)或气动双隔膜泵(Air Operated Double Diaphragm Pump)。往复泵的一种,用弹性薄膜,耐腐蚀橡胶或
- 金堉金堉(朝鲜语:김육/金堉 Gim Yug ?,1580年-1658年9月)韩国朝鲜王朝中期的文臣及实学者、政治家、经世家。他是大同法的施行者。字伯厚(백후)、号潜谷(잠곡)、晦静堂(회정당)、谥号文贞(
- 大头乌龟大头乌龟(学名:),又名大头草龟,为石龟属的爬行动物,是中国的特有物种。分布于江苏、湖北、广西等地,主要生活于丘陵、坡地附近的溪流或池塘内。该物种的模式产地在江苏南京。与草龟
- 黎凡特海坐标:34°N 34°E / 34°N 34°E / 34; 34黎凡特海是地中海东面的海域,北临土耳其,东接叙利亚、黎巴嫩、以色列和加沙地带,南毗埃及和利比亚,西邻利比亚海,面积320,000平方公里,最
- 柏拉图主义者盖乌斯柏拉图主义者盖乌斯 (2世纪),是希腊或罗马哲学家,也是中古柏拉图主义的代表。除了他知道是Albinus的老师外,其余事情知之甚少。据悉他出版了不少关于柏拉图的演讲,但现已丢失的九
- 数位文学数位文学是上个世纪末出现的一种文学文化,从80年代开始出现“电脑诗”等各种前卫书写,以及随后在90年代初“电子布告栏系统”(electronic bulletin boards, BBS)出现后,引发新一