{"title":"Some remarks on logical design and programming checks","authors":"H. Goldstine","doi":"10.1145/1434878.1434900","DOIUrl":null,"url":null,"abstract":"I should like to discuss two topics which are of some interest. One, is it possible to construct out of elements which are known to be imperfect a logical automaton which will have a given degree of reliability? Two, given a machine, what can one do by way of programming checks to insure accuracy of the final results?","PeriodicalId":384732,"journal":{"name":"AIEE-IRE '53 (Eastern)","volume":"9 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1953-12-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"AIEE-IRE '53 (Eastern)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/1434878.1434900","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 3
Abstract
I should like to discuss two topics which are of some interest. One, is it possible to construct out of elements which are known to be imperfect a logical automaton which will have a given degree of reliability? Two, given a machine, what can one do by way of programming checks to insure accuracy of the final results?