Skip to content
About the University of Brighton

A picture paints a thousand symbols: logic, reasoning and spiders

26.10.2005

On 9 November 2005, Professor of Mathematics and Computation at the University of Brighton, John Howse, will outline a range of diagrams used in mathematics to show logical information. The event will be held at the Sallis Benney Theatre at 6:30pm.

The talk will concern the diagrammatic representation of logical information ranging from the familiar Venn Diagrams to more expressive notations such as Spider Diagrams. Venn diagrams are a powerful way to graphically organize information and spider diagrams are a visual language for expressing logical statements.

Professor Howse said: "These notations can be used to reason about mathematical systems and I will show that the diagrammatic notations can be considered formal mathematical notations in their own right."

The lecture will also outline applications of the notations and computer-based tools that enable the generation and manipulation of diagrams.


Contact
: Marketing and Communications, University of Brighton, 01273 643022

A picture paints a thousand symbols: logic, reasoning and spiders

A picture paints a thousand symbols: logic, reasoning and spiders