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

concept

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é

We're experiencing some technical problems in the library today. 

If you’re visiting us, you won’t be able to print or use our PCs or laptops. If you want to sign-up for a free library membership, we’ll give you a temporary card for today and complete your membership next time you visit.

You can access items from the collection as usual and our team is on hand to help. Thank you for your patience while we resolve these issues. 

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.