Re: What databases have taught me
Date: Wed, 28 Jun 2006 01:31:14 GMT
> erk wrote:
>>Dan wrote: >>
> To assert otherwise is to assert that
>>languages and systems have no impact on the way we think, and I think >>that's silly.
> Again, I fail to see the validity of the logic. How does the assertion
> or claim that some languages or constructs are not better than others
> necessarily lead to the conclusion that languages and systems have no
> impact on the way we think? We are missing a lot of logical
> connectives and premises here in order to make this connection. I'm
> talking about form here.
> Regardless, what is the objective function for determining "better"?
> and does your statements then mean that users of some languages and
> constructs are "better" thinkers? Was Dijkstra an RM user? Wirth?
Dijkstra and Wirth used predicate calculus. Dijkstra credits Hoare with introducing him to it. (I am extrapolating to Wirth given that his work so often touched on Hoare's and Dijkstra's.)
Aristotle did not use predicate calculus. However, he broke ground on a little think called symbolic logic. It took a couple millenia and a lot of nurturing but the darn thing grew up into predicate calculus.
I agree they are all examples of exceptional minds, and I note they all saw the value of a good formalism. Received on Wed Jun 28 2006 - 03:31:14 CEST