列夫·雅辛

生平1929年生于芬兰的一个南部城市万塔。在佛罗里达州立大学、斯坦福大学，赫尔辛基大学和芬兰学术院执教多年。去世前他是波士顿大学的哲学教授。在数理逻辑、哲学逻辑、数学哲学、认知、语言逻辑和科学哲学方面出版和发表了30多部著作和300多篇论文。辛提卡被认为是认知逻辑和博弈语义逻辑的创始人。在其早期职业生涯中，他提出了模态逻辑的语义本质上类似于索尔·阿伦·克里普克的关系语义（或译为Kripke语义或框架逻辑），并和艾弗特·威廉·贝斯（EvertWillemBeth）分别独立发现了现在广泛使用的语义tableau。去世前的近十年里，他主要致力于博弈逻辑和被认为是IF逻辑上面。他对亚里士多德、卡特、维特根斯坦、查尔斯·桑德斯·皮尔士等人的解说工作。辛提卡的主要工作是在对由布伦塔诺和皮尔士建立，由罗素和弗雷格推动，进而又卡纳普、奎因和辛提卡的老师乔治·亨利克·冯·赖特的贡献的逻辑的延伸。例如：199...

生平1929年，奥昆出生于苏联苏希尼奇。1953年，他毕业于莫斯科机械学院，他曾是阿尔卡季·米格达尔和伊萨克·波梅兰丘克的学生。奖项和荣誉布鲁诺·彭特克沃奖（德语：Bruno-Pontecorvo-Preis）(1996年)马泰乌奇奖章(1988年)朗道金质奖章(2002年)波梅兰丘克奖(2008年)参考资料

生平他是苏联航空模型，空中滑翔，航空运动的创立者，1924年制造出AVF-10，并在1927年制造出超轻型飞机AIR-1。这些是他第一批用于运动和训练的飞行器。他从1924年开始担任技术员工作，继而成为茹科夫斯基航空学院。1931年他成为一名航空工程师，在1932年成功的建立了他的第一个轻型飞机设计院，也就是雅科夫列夫设计局的前身，1935年成该设计局的首席飞行器设计师。1940年——1946年担任航空工业部副部长。他在1943年成为苏联科学院correspondent-member，1946年和1957年两次获得社会主义劳动英雄称号。1946年获得空军少将军衔。1976年成为苏联科学院院士。雅科夫列夫于1984年8月21日退休。荣誉雅科夫列夫在其设计生涯中获得了无数的荣誉：苏联最高苏维埃deputy列宁奖（1972）斯大林奖(1941,1942,1943,1946,1947,1948)苏...

外部链接官方网站迪美雅·芭辛丝姬的女子网球联合会官方资料（英文）迪美雅·芭辛丝姬的国际网球总会职业／青少年官方资料（英文）FedCup-Playerprofile-TimeaBACSINSZKY(SUI)

外部链接阿波罗和雅辛托斯的神话