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.

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
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
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...
Damaged Goods - The Rise and Fall of Sir…
Oliver Shah Paperback  (1)
R308 R280 Discovery Miles 2 800
Physiology, Psychoacoustics and…
Pim van Dijk, Deniz Baskent, … Hardcover R1,577 Discovery Miles 15 770
Play and Learning in Adulthood…
Nicola Whitton Hardcover R3,887 Discovery Miles 38 870
Music for Children with Hearing Loss - A…
Lyn E. Schraer-Joiner Paperback R1,196 Discovery Miles 11 960
The Power of the Adolescent Brain…
Thomas Armstrong Paperback R815 R704 Discovery Miles 7 040
Your First Year Of Varsity - A Survival…
Shelagh Foster, Lehlohonolo Mofokeng Paperback R382 Discovery Miles 3 820
Safe Robot Navigation Among Moving and…
Andrey V. Savkin, Alexey S. Matveev, … Paperback R2,632 R2,479 Discovery Miles 24 790
Now What? - Education, Career and Life…
Edd Williams Paperback R512 Discovery Miles 5 120
Kirstenbosch - A Visitor's Guide
Colin Paterson-Jones, John Winter Paperback R160 R143 Discovery Miles 1 430
Ferroptosis: Mechanism and Diseases
Andres F. Florez, Hamed Alborzinia Paperback R3,581 Discovery Miles 35 810

 

Partners