[SIGCIS-Members] Babbage's Language of Thought

[Al Kossow]

On 12/11/14 2:34 AM, Brian Randell wrote:

>> I believe that the answer lies in the techniques Babbage developed to reason about complex systems. The Leverhulme Trust have recently made a major award to myself and my collaborator Prof Elizabeth Scott which we will use to document, formalise and implement simulators for Babbage's Notation. The team also includes Plan 28’s Dr Doron Swade, who is the foremost authority on Babbage, and Dr Piers Plummer who has an extensive background in chip design, computer architecture, mechanical CAD and programming language compiler design. The work will be based in Royal Holloway's Centre for Software Language Engineering.
> <snip>
>
> Full article at http://blog.plan28.org/2014/11/babbages-language-of-thought.html
>

How will this differ from Bromley's work?