The Times obituary, which appeared on the same day, noted Turing was a mathematician and logician who had branched into "the design and use of automatic computing machines".
Julia Robinson, a mathematical logician, when asked by the personnel department at the University of California at Berkeley for a description of how she spent her days, wrote: "Monday tried to prove theorem, Tuesday tried to prove theorem, Wednesday tried to prove theorem, Thursday tried to prove theorem, Friday theorem false".
But Mr Barak, ever the logician, maintains that irreducible interest and not ephemeral emotion will determine the two sides' bottom lines.
It also meant that it met a test proposed by Hilary Putnam, a logician and colleague, for a philosophical classic: the smarter you get, the smarter it gets.
Suppose Carl is a logician.
By contrast, Cleanthes' successor Chrysippus of Soli (c. 280 207) is without doubt the second great logician in the history of logic.
Aristotle is the first great logician in the history of logic.
The passage of time is then just the successive happening of (simultaneity sets of) events.[3] It may be this picture of passage that the great logician Kurt Gödel had in mind when he wrote (1949, p. 558): "The existence of an objective lapse of time … means (or, at least, is equivalent to the fact) that reality consists of an infinity of layers of 'now' which come into existence successively".
John Buridan was another logician of the 14th century also holding a theory of the insolubles similar to Bradwardine's.
This refusal has led to the criticism that his approach lacks the precision that a logician would normally expect of a foundational system.
As Carnap understood the analytic/synthetic distinction, it was a distinction drawn by a logician to enable greater theoretical systematicity in the reconstructive understanding of a given symbol system, typically a fragment of a historically developed one.
