Theorem that a wide class of logical systems cannot be both consistent and complete

Shadows of the mind : a search for the missing science of consciousness / Roger Penrose.

Impossibility : the limits of science and the science of limits / John D. Barrow.

Galleries and Reading Room

Library

Shop

Café

Due to essential system maintenance, online requesting will be unavailable from 9pm until midnight on Tuesday 21 April. You can still search the catalogue as usual. We apologise for any inconvenience.

We're running paid user research studies to improve Wellcome Collection online

Gödel's theorem

Works from the collections

Shadows of the mind : a search for the missing science of consciousness / Roger Penrose.

Impossibility : the limits of science and the science of limits / John D. Barrow.