LOGIC: This Nobel Prize winning British lord tried to show that all mathematics is a type of logic