Kurt Gödel (1906–1978) shook the mathematical world in 1931 by a result that has become an icon of 20th century science: The search for rigour in proving mathematical theorems had …

Gerhard Gentzen is best known for his development of the proof systems of natural deduction and sequent calculus, central in many areas of logic and computer science today. …

Ju, S. (Ed), Löwe, B. (Ed), Müller, T. (Ed), Xie, Y. (Ed) (2016)

This book gathers the proceedings of the conference "Cultures of Mathematics and Logic," held in Guangzhou, China. The event was the third in a series of interdisciplinary, …

This book provides an overview of the confluence of ideas in Turing’s era and work and examines the impact of his work on mathematical logic and theoretical computer science. It …

Available Formats:HardcovereBookSoftcoverSoftcover

This biography sheds light on all facets of the life and the achievements of Ernst Zermelo (1871-1953). Zermelo is best-known for the statement of the axiom of choice and his …

Manzano, M. (Ed), Sain, I. (Ed), Alonso, E. (Ed) (2014)

This is a comprehensive book on the life and works of Leon Henkin (1921–2006), an extraordinary scientist and excellent teacher whose writings became influential right from the …

The aim of this book is to present and analyze philosophical conceptions concerning mathematics and logic as formulated by Polish logicians, mathematicians and philosophers in the …

This book offers an excursion through the developmental area of research mathematics. It presents some 40 papers, published between the 1870s and the 1970s, on proofs of the …

This book contains the papers developing out the presentations given at the International Conference organized by the Torino Academy of Sciences and the Department of Mathematics …

Ernst Zermelo (1871-1953) is best-known for the statement of the axiom of choice and his axiomatization of set theory. However, he also worked in applied mathematics and …

The significance of foundational debate in mathematics that took place in the 1920s seems to have been recognized only in circles of mathematicians and philosophers. A period in …

The geometric calculus, in general, consists in a system of operations on geometric entities, and their consequences, analogous to those that algebra has on the num bers. It …

Indiscrete Thoughts gives a glimpse into a world that has seldom been described that of science and technology as seen through the eyes of a mathematician. The era covered by this …

as anywhere today, it is becoming more d- ficult to tell the truth. To be sure, our store of accurate facts is more plentiful now than it has ever been, and the minutest details …

This volume offers insights into the development of mathematical logic over the last century. Arising from a special session of the history of logic at an American Mathematical …

As long as algebra and geometry The unreasonable effectiveness of proceeded along separate paths, mathematics in science . . . Eugene Wigner their advance was slow and their …

It has been argued that Jaakko Hintikka's work is likely to revolutionize our ideas about logical theory and about the foundations of mathematics. Likewise, his work on such areas …