Search results

...ed and an informal meaning of the word from the following quotation from [[Boolos]] (boldface added): ...inite" mean "countable using integers perhaps extending to infinity." Thus Boolos and Jeffrey are saying that an algorithm ''implies'' instructions for a pro

...ainst the criticism of [[Willard Van Orman Quine]] and others) by [[George Boolos]] and [[Stewart Shapiro]].