0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
Status
Brand

Showing 1 - 7 of 7 matches in All Departments

Paul Lorenzen -- Mathematician and Logician (Hardcover, 1st ed. 2021): Gerhard Heinzmann, Gereon Wolters Paul Lorenzen -- Mathematician and Logician (Hardcover, 1st ed. 2021)
Gerhard Heinzmann, Gereon Wolters
R1,548 Discovery Miles 15 480 Ships in 10 - 15 working days

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. The papers also explore how practitioners can implement Lorenzen's systematical ideas in today's debates on proof-theoretic semantics, databank management, and stochastics. Coverage details key contributions of Lorenzen to constructive mathematics, Lorenzen's work on lattice-groups and divisibility theory, and modern set theory and Lorenzen's critique of actual infinity. The contributors also look at the main problem of Grundlagenforschung and Lorenzen's consistency proof and Hilbert's larger program. In addition, the papers offer a constructive examination of a Russell-style Ramified Type Theory and a way out of the circularity puzzle within the operative justification of logic and mathematics. Paul Lorenzen's name is associated with the Erlangen School of Methodical Constructivism, of which the approach in linguistic philosophy and philosophy of science determined philosophical discussions especially in Germany in the 1960s and 1970s. This volume features 10 papers from a meeting that took place at the University of Konstanz.

One Hundred Years of Intuitionism (1907-2007) - The Cerisy Conference (Hardcover, 2008 ed.): Mark van Atten, Pascal Boldini,... One Hundred Years of Intuitionism (1907-2007) - The Cerisy Conference (Hardcover, 2008 ed.)
Mark van Atten, Pascal Boldini, Michel Bourdeau, Gerhard Heinzmann
R3,128 Discovery Miles 31 280 Ships in 10 - 15 working days

Intuitionism is one of the main foundations for mathematics proposed in the twentieth century and its views on logic have also notably become important with the development of theoretical computer science. This book reviews and completes the historical account of intuitionism. It also presents recent philosophical work on intuitionism and gives examples of new technical advances and applications. It brings together 21 contributions from today's leading authors on intuitionism.

The Age of Alternative Logics - Assessing Philosophy of Logic and Mathematics Today (Hardcover, 2006 ed.): Johan Van Benthem,... The Age of Alternative Logics - Assessing Philosophy of Logic and Mathematics Today (Hardcover, 2006 ed.)
Johan Van Benthem, Gerhard Heinzmann, Manuel Rebuschi, Henk Visser
R4,650 Discovery Miles 46 500 Ships in 10 - 15 working days

In the last century developments in mathematics, philosophy, physics, computer science, economics and linguistics have proven important for the development of logic. There has been an influx of new ideas, concerns, and logical systems reflecting a great variety of reasoning tasks in the sciences. This volume reflects the multi-dimensional nature of the interplay between logic and science. It presents contributions from the world's leading scholars under the following headings: - Proof, Knowledge and Computation;- Truth Values beyond Bivalence;- Category-Theoretic Structures;- Independence, Evaluation Games, and Imperfect Information;- Dialogue and Pragmatics

The Age of Alternative Logics - Assessing Philosophy of Logic and Mathematics Today (Paperback, 1st ed. 2006. 2nd printing... The Age of Alternative Logics - Assessing Philosophy of Logic and Mathematics Today (Paperback, 1st ed. 2006. 2nd printing 2009)
Johan Van Benthem, Gerhard Heinzmann, Manuel Rebuschi, Henk Visser
R4,725 Discovery Miles 47 250 Ships in 10 - 15 working days

In the last century, developments in mathematics, philosophy, physics, computer science, economics and linguistics have proven important for the development of logic. There has been an influx of new ideas, concerns, and logical systems reflecting a great variety of reasoning tasks in the sciences. This book embodies the multi-dimensional interplay between logic and science, presenting contributions from the world's leading scholars on new trends and possible developments for research.

Paul Lorenzen -- Mathematician and Logician (Paperback): Gerhard Heinzmann, Gereon Wolters Paul Lorenzen -- Mathematician and Logician (Paperback)
Gerhard Heinzmann, Gereon Wolters
R1,265 Discovery Miles 12 650 Ships in 10 - 15 working days
Science's Voice of Reflection (Paperback): Gerhard Heinzmann, Benedikt Loewe Science's Voice of Reflection (Paperback)
Gerhard Heinzmann, Benedikt Loewe
R488 Discovery Miles 4 880 Ships in 10 - 15 working days
Logic, Methodology and Philosophy of Science. Logic and Science Facing the New Technologies (Paperback): Peter... Logic, Methodology and Philosophy of Science. Logic and Science Facing the New Technologies (Paperback)
Peter Schroeder-Heister, Gerhard Heinzmann, Wilfrid Hodges
R867 Discovery Miles 8 670 Ships in 10 - 15 working days
Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Cattle Of The Ages - Stories And…
Cyril Ramaphosa Hardcover  (4)
R1,850 R1,684 Discovery Miles 16 840
Soil Spectral Inference with R…
Alexandre M.J.-C. Wadoux, Brendan Malone, … Hardcover R4,585 Discovery Miles 45 850
Win! - Compelling Conversations With 20…
Jeremy Maggs Paperback R491 Discovery Miles 4 910
Stealth Liposomes
Danilo D. Lasic, Francis J. Martin Hardcover R12,899 Discovery Miles 128 990
Safari Nation - A Social History Of The…
Jacob Dlamini Paperback R330 R305 Discovery Miles 3 050
Your First Year Of Varsity - A Survival…
Shelagh Foster, Lehlohonolo Mofokeng Paperback R382 Discovery Miles 3 820
Precarious Power - Compliance And…
Susan Booysen Paperback  (4)
R380 R351 Discovery Miles 3 510
Diary of a Wimpy Kid: Big Shot (Book 16)
Jeff Kinney Paperback R195 R180 Discovery Miles 1 800
Democracy Works - Re-Wiring Politics To…
Greg Mills, Olusegun Obasanjo, … Paperback R320 R290 Discovery Miles 2 900
The Secret Lives of Numbers - Numerals…
Alfred S. Posamentier Paperback R620 R564 Discovery Miles 5 640

 

Partners