FreeComputerBooks.com
Links to Free Computer, Mathematics, Technical Books all over the World


 Title: Paul Lorenzen  Mathematician and Logician
 Author(s) Gerhard Heinzmann, Gereon Wolters
 Publisher: Springer; 1st ed. 2021 edition; eBook (Creative Commons Licensed)
 License(s): Creative Commons License (CC)
 Hardcover/Paperback: 280 pages
 eBook: PDF
 Language: English
 ISBN10/ASIN: 3030658236
 ISBN13: 9783030658236
 Share This:
Book Description
This open access book examines the many contributions of Paul Lorenzen, an outstanding philosopher from the latter half of the 20th century. It features papers focused on integrating Lorenzen's original approach into the history of logic and mathematics.
About the Authors Gerhard Heinzmann is Professor of Philosophy of Mathematics and Logic in the Department of Philosophy at the University of Lorraine at Nancy (France).
 Mathematicians and History of Mathematics
 Popular, Recreational, and Miscellaneous Mathematics
 Geometry and Topology
 Algebra, Abstract Algebra, and Linear Algebra
 Calculus and Mathematical Analysis
 Number Theory

Men of Mathematics: Great Mathematicians from Zeno to Poincaré
This book provides a rich account of major mathematical milestones, from the geometry of the Greeks through Newton’s calculus, and on to the laws of probability, symbolic logic, and the fourth dimension.

The Story of Euclid (W. B. Frankland)
Euclid was a Greek mathematician, often referred to as the "Father of Geometry". His Elements is one of the most influential works in the history of mathematics, serving as the main textbook until the late 19th or early 20th century.

The Legacy of Felix Klein (HansGeorg Weigand, et al)
This open access book provides an overview of Felix Klein's ideas. It discusses the meaning, importance and the legacy of Klein's ideas today and in the future, within an international, global context.

A Beautiful Math: John Nash, Game Theory, and a Code of Nature
Today neuroscientists peer into game players brains, anthropologists play games with people from primitive cultures, biologists use games to explain the evolution of human language, and mathematicians exploit games to better understand social networks.

Making up Numbers: A History of Invention in Mathematics
The book explains how conceptual hurdles in the development of numbers and number systems were overcome in the course of history, from Babylon to Classical Greece, from the Middle Ages to the Renaissance, and so to the nineteenth and twentieth centuries.

How We Got from There to Here: A Story of Real Analysis
This book is an introductory real analysis textbook, presented through the lens of history. The definitions and techniques are motivated by the actual difficulties encountered by the intuitive approach and are presented in their historical context.

NonEuclidean Geometry: A Critical and Historical Study
This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible.

Mathematical Discovery (A.M. Bruckner, et al)
A course introducing the idea of mathematical discovery, especially to students who may not be particularly enthused about mathematics as yet, in which the students could actually participate in the discovery of mathematics.

Topological Groups: Yesterday, Today, Tomorrow (Sidney A. Morris)
In 1900, David Hilbert asked whether each locally euclidean Topological Group admits a Lie group structure. This book should give the reader an overview of topological group theory as it developed over the last 115 years, as well as current research.

Analytic Number Theory: A Tribute to Gauss and Dirichlet
The book begins with a definitive summary of the life and work of Dirichlet and continues with thirteen papers by leading experts on research topics of current interest in number theory that were directly influenced by Gauss and Dirichlet.

Euclid and His Twentieth Century Rivals (Nathaniel Miller)
Twentiethcentury developments in logic and mathematics have led many people to view Euclid's proofs as inherently informal, especially due to the use of diagrams in proofs. It introduces a diagrammatic computer proof system, based on this formal system.
:






















