![Can Mathematics Be Proved Consistent?]( "Can Mathematics Be Proved Consistent?")
Book
von Plato, J. (2020)
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 …
Available Formats:
Hardcover
eBook
![Saved from the Cellar]( "Saved from the Cellar")
Book
von Plato, J. (2017)
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. …
Available Formats:
Hardcover
eBook
Softcover
![Cultures of Mathematics and Logic]( "Cultures of Mathematics and Logic")
Book
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, …
Available Formats:
Hardcover
eBook
Softcover
![Turing’s Revolution]( "Turing’s Revolution")
Book
Sommaruga, G. (Ed), Strahm, T. (Ed) (2015)
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:
Hardcover
eBook
Softcover
Softcover
![Ernst Zermelo]( "Ernst Zermelo")
Book
Ebbinghaus, H. D., Peckhaus, V. (2015)
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 …
Available Formats:
Hardcover
eBook
Softcover
![The Life and Work of Leon Henkin]( "The Life and Work of Leon Henkin")
Book
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 …
Available Formats:
Softcover
eBook
![The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland]( "The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland")
Book
Murawski, R. (2014)
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 …
Available Formats:
eBook
Hardcover
![Proofs of the Cantor-Bernstein Theorem]( "Proofs of the Cantor-Bernstein Theorem")
Book
Hinkis, A. (2013)
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 …
Available Formats:
Softcover
Hardcover
eBook
![Giuseppe Peano between Mathematics and Logic]( "Giuseppe Peano between Mathematics and Logic")
Book
Skof, F. (Ed) (2011)
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 …
Available Formats:
Softcover
eBook
![Ernst Zermelo]( "Ernst Zermelo")
Book
Ebbinghaus, H. (2007)
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 …
Available Formats:
Softcover
eBook
![Gnomes in the Fog]( "Gnomes in the Fog")
Book
Hesseling, D. E. (2003)
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 …
Available Formats:
eBook
Softcover
Hardcover
![Geometric Calculus]( "Geometric Calculus")
Book
Peano, G. (2000)
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 …
Available Formats:
Softcover
Hardcover
eBook
![Indiscrete Thoughts]( "Indiscrete Thoughts")
Book
Palombi, F. (Ed), Rota, G. (1997)
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 …
Available Formats:
Softcover
eBook
![Discrete Thoughts]( "Discrete Thoughts")
Book
Kac, M., Rota, G., Schwartz, J. T. (1992)
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 …
Available Formats:
Softcover
Softcover
eBook
![Perspectives on the History of Mathematical Logic]( "Perspectives on the History of Mathematical Logic")
Book
Drucker, T. (Ed) (1991)
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 …
Available Formats:
Softcover
eBook
![Discrete Thoughts]( "Discrete Thoughts")
Book
KAC, (), ROTA, (), SCHWARTZ, () (1986)
No description available
Available Formats:
eBook
![Complementarity in Mathematics]( "Complementarity in Mathematics")
Book
Kuyk, W. (1977)
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 …
Available Formats:
Softcover
Hardcover
eBook
![Jaakko Hintikka Selected Papers]( "Jaakko Hintikka Selected Papers")
Series
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 …
Read more
Show less
