Skip to main content
Search Button
United States Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


Showing 1 - 12 of 12 results for “thomas strahm”
Skip side bar filters

  • Turing’s Revolution

    The Impact of His Ideas about Computability

    Edited by Giovanni Sommaruga, Thomas Strahm ...
    Series series Mathematics and Statistics (R0)
    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 combines contributions by well-known scientists on the history and philosophy of computability theory as well as on generalised Turing computability. By looking at the roots and at the philosophical and technical influence ... Read more

    $116.99 USD

  • Advances in Proof Theory

    Edited by Thomas Studer, Reinhard Kahle, Thomas Strahm ...
    Series series Mathematics and Statistics (R0)
    The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof theory, explicit mathematics and type-theoretic formalisms, and abstract computations. The volume is dedicated to the 60th birthday of ... Read more

    $98.99 USD

People who read these also enjoyed

  • Mathematics and the Roots of Postmodern Thought

    by Vladimir Tasic ...
    This is a charming and insightful contribution to an understanding of the "Science Wars" between postmodernist humanism and science, driving toward a resolution of the mutual misunderstanding that has driven the controversy. It traces the root of postmodern theory to a debate on the foundations of mathematics early in the 20th century, then compares developments in mathematics to what took place ... Read more

    $43.99 USD

  • Hilbert’s Program

    An Essay on Mathematical Instrumentalism

    by M. Detlefsen ...
    Series series Philosophy and Religion (R0)
    Hilbert's Program was founded on a concern for the phenomenon of paradox in mathematics. To Hilbert, the paradoxes, which are at once both absurd and irresistible, revealed a deep philosophical truth: namely, that there is a discrepancy between the laws accord ing to which the mind of homo mathematicus works, and the laws governing objective mathematical fact. Mathematical epistemology is, ... Read more

    $89.99 USD

  • Visual Reasoning with Diagrams

    Edited by Amirouche Moktefi, Sun-Joo Shin ...
    Series series Mathematics and Statistics (R0)
    Logic, the discipline that explores valid reasoning, does not need to be limited to a specific form of representation but should include any form as long as it allows us to draw sound conclusions from given information. The use of diagrams has a long but unequal history in logic: The golden age of diagrammatic logic of the 19th century thanks to Euler and Venn diagrams was followed by the early ... Read more

    $89.99 USD

  • Probability Logics

    Probability-Based Formalization of Uncertain Reasoning

    by Zoran Ognjanović, Miodrag Rašković, Zoran Marković ...
    Series series Computer Science (R0)
    The aim of this book is to provide an introduction to probability logic-based formalization of uncertain reasoning. The authors' primary interest is mathematical techniques for infinitary probability logics used to obtain results about proof-theoretical and model-theoretical issues such as axiomatizations, completeness, compactness, and decidability, including solutions of some problems from the ... Read more

    $116.99 USD

  • The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland

    by Roman Murawski ...
    Translated by Maria Kantor ...
    Series series Mathematics and Statistics (R0)
    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 1920s and 1930s. It was a remarkable period in the history of Polish science, in particular in the history of Polish logic and mathematics. Therefore, it is justified to ask whether and to what extent the development of ... Read more

    $49.99 USD

  • New Essays on Frege

    Between Science and Literature

    Edited by Gisela Bengtsson, Simo Säätelä, Alois Pichler ...
    Series series Philosophy and Religion (R0)
    This volume collects nine essays that investigate the work of Gottlob Frege. The contributors address Frege’s work in relation to literature and fiction (Dichtung), the humanities (Geisteswissenschaften), and science (Wissenschaft). Overall, the essays consider internal connections between different aspects of Frege’s work while acknowledging the importance of its philosophical context.There are ... Read more

    $89.99 USD

  • Russell's Philosophy of Logical Analysis, 1897-1905

    by J. Galaugher ...
    Series series Philosophy and Religion (R0)
    This systematic and historical treatment of Russell's contributions to analytic philosophy, from his embrace of analysis in 1898 to his landmark theory of descriptions in 1905, draws important connections between his philosophically motivated conception of analysis and the technical apparatus he devised to facilitate analyses in mathematics ... Read more

    $49.99 USD

  • Rohit Parikh on Logic, Language and Society

    Edited by Can Başkent, Lawrence S. Moss, Ramaswamy Ramanujam ...
    Series series Philosophy and Religion (R0)
    This book discusses major milestones in Rohit Jivanlal Parikh’s scholarly work. Highlighting the transition in Parikh’s interest from formal languages to natural languages, and how he approached Wittgenstein’s philosophy of language, it traces the academic trajectory of a brilliant scholar whose work opened up various new avenues in research.This volume is part of Springer’s book series ... Read more

    $98.99 USD

  • Leśniewski's Systems of Logic and Foundations of Mathematics

    by Rafal Urbaniak ...
    Series series Mathematics and Statistics (R0)
    This meticulous critical assessment of the ground-breaking work of philosopher Stanislaw Leśniewski focuses exclusively on primary texts and explores the full range of output by one of the master logicians of the Lvov-Warsaw school. The author’s nuanced survey eschews secondary commentary, analyzing Leśniewski's core philosophical views and evaluating the formulations that were to have such a ... Read more

    $49.99 USD

  • Philosophy of Mathematics Today

    Edited by György Darvas, E. Agazzi ...
    Series series Mathematics and Statistics (R0)
    Mathematics is often considered as a body of knowledge that is essen tially independent of linguistic formulations, in the sense that, once the content of this knowledge has been grasped, there remains only the problem of professional ability, that of clearly formulating and correctly proving it. However, the question is not so simple, and P. Weingartner's paper (Language and Coding-Dependency of ... Read more

    $89.99 USD