Search | Gresham College

Proof by Computer and Proof by Human

The idea of a proof as a simple, easily-checked method...

In 1734 Bishop Berkeley published a witty and effective attack...

Lord Kelvin (1824-1907) was Professor of Natural Philosophy at the...

Peter Guthrie Tait (1831 - 1901) was significantly less famous...

James Clerk Maxwell (1831-1879) was one of the most important...

We are familiar with the formula for solving a quadratic...

For 100 years up to the end of the 19th...

Long multiplication, long division and logarithms are, for many, dim-remembered...

Sir Roger Penrose gives the annual Sir Thomas Gresham lecture on The Journey from Black-Hole Singularities to a Cyclic Cosmology.

Joint lectures with the British Society for the History of...