Godel's Incompleteness Theorems

Melvyn Bragg and guests discuss the evolution of lungs and of the first breaths, which can be traced back 400 million years to when animal life spread from rock pools and swamps onto land, as some fish found an evolutionary advantage in getting their oxygen from air rather than w ...  Show more

Melvyn Bragg and guests discuss the decisive role of one of the great 20th Century physicists in solving the question of nuclear fission. It is said that Meitner (1878-1968) made this breakthrough over Christmas 1938 while she was sitting on a log in Sweden during a snowy walk wi ...  Show more

Paul Erdős (1913 – 1996) is one of the most celebrated mathematicians of the 20th century. During his long career, he made a number of impressive advances in our understanding of maths and developed whole new fields in the subject. He was born into a Jewish family in Hungary just ...  Show more

This ten part history of mathematics from Newton to the present day, reveals the personalities behind the calculations: the passions and rivalries of mathematicians struggling to get their ideas heard. Professor Marcus du Sautoy shows how these masters of abstraction find a role ...  Show more

The nature of proof and mathematics as a creative enterprise. Not all that is true can be proved as such, the high hopes of David Hilbert for placing the entirety of mathematics on a "firm foundation", the mathematical world-shattering results of Kurt Gödel which frustrated that ...  Show more

Mathematics as a subject is distinctive in its symbolic abstraction and its potential for logical and computational rigor. But mathematicians tend to impute other qualities to our subject that set it apart, such as impartiality, universality, and elegance. Far from incidental, th ...  Show more