Archive for November 2007

Formal Systems, Common Logic and LBase

Folks might enjoy the Soloman Feferman lecture Goedel, Nagel, Minds and Machines. After recounting an exchange between Godel and Nagel circa 1956, Feferman describes the implications of the minds vs. machines dichotomy ensuing from the exchange.

Information Sharing and Tomorrow’s Knowledge Workers

Both public and private sectors are currently evaluating various information sharing capabilities based on Model Driven Architecture and the Semantic Web. The supply of knowledge workers for Model Driven Architecture is relatively high. Currently, the private sector reasonably satisfies demand for these capabilities. But knowledge workers for the Semantic Web are currently in short supply.