As a result of logicians identifying propositions with judgments, Whitehead tells us that «false propositions have fared badly, thrown into the dustheap, neglected. (religion-online.org)
The question Turing was addressing — inspired by logician Kurt Gödel's legendary «undecidability» theorem (that there are statements in any mathematical system that can not be proved)-- was whether an algorithm composed of a finite number of instructions can compute any function to any desired precision. (discovermagazine.com)
What may have embarrassed the wise men were the implications they were driven as logicians to draw from their recognition of the divinity of the child. (religion-online.org)