Wolfgang Rautenberg

Learn More
The field of mathematical logic—evolving around the notions of logical validity, provability, and computation—was created in the first half of the previous century by a cohort of brilliant mathematicians and philosophers others. The development of this discipline is arguably among the highest achievements of science in the twentieth century: it expanded(More)