从纯逻辑到近似逻辑

Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96) Pub Date : 1996-01-19 DOI:10.1109/ISMVL.1996.508352

Ton Sales

{"title":"从纯逻辑到近似逻辑","authors":"Ton Sales","doi":"10.1109/ISMVL.1996.508352","DOIUrl":null,"url":null,"abstract":"Helena Rasiowa could be described as an atypical mathematician since, being a pure theoretician in the first part of her scientific life (1945-70), she changed course swiftly, around 1970, by applying her own abstract methods to practically-motivated theoretical problems arising in computer science (the analysis of computer programs) and artificial intelligence (the logic of approximations). The reasons behind such a shift of emphasis and the invariant motivations she kept along her whole life are explored in this homage-rendering contribution.","PeriodicalId":403347,"journal":{"name":"Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96)","volume":"50 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1996-01-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"From pure to approximate logic\",\"authors\":\"Ton Sales\",\"doi\":\"10.1109/ISMVL.1996.508352\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Helena Rasiowa could be described as an atypical mathematician since, being a pure theoretician in the first part of her scientific life (1945-70), she changed course swiftly, around 1970, by applying her own abstract methods to practically-motivated theoretical problems arising in computer science (the analysis of computer programs) and artificial intelligence (the logic of approximations). The reasons behind such a shift of emphasis and the invariant motivations she kept along her whole life are explored in this homage-rendering contribution.\",\"PeriodicalId\":403347,\"journal\":{\"name\":\"Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96)\",\"volume\":\"50 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1996-01-19\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISMVL.1996.508352\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISMVL.1996.508352","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

海伦娜·拉西奥瓦(Helena Rasiowa)可以被描述为一个非典型的数学家，因为在她的科学生涯的第一部分(1945-70)是一个纯粹的理论家，她在1970年左右迅速改变了方向，将自己的抽象方法应用于计算机科学(计算机程序分析)和人工智能(近似逻辑)中出现的实际动机的理论问题。在这篇表达敬意的文章中，我们探讨了这种重点转变背后的原因，以及她一生保持不变的动机。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

From pure to approximate logic

Helena Rasiowa could be described as an atypical mathematician since, being a pure theoretician in the first part of her scientific life (1945-70), she changed course swiftly, around 1970, by applying her own abstract methods to practically-motivated theoretical problems arising in computer science (the analysis of computer programs) and artificial intelligence (the logic of approximations). The reasons behind such a shift of emphasis and the invariant motivations she kept along her whole life are explored in this homage-rendering contribution.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96)

自引率

0.00%

发文量