Skip to main content

Carrito de compra

¡Obtienes el tratamiento VIP!

Artículos no disponibles para compra.
Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.
artículosartículo
artículosartículo

Recomendado para ti

Loading...
  • Das mengentheoretische Unabhängigkeitsphänomen

    Eine Welt jenseits der mathematischen Beweiskraft

    de Deborah Kant ...
    Series series Life Science and Basic Disciplines (German Language)
    Dieses Buch erklärt kurz und prägnant die Forschung zum faszinierenden mengentheoretischen Unabhängigkeitsphänomen: Zahlreiche mengentheoretische Sätze sind gemäß den Standardaxiomen weder beweisbar noch widerlegbar. Um das zu zeigen, baut man zwei verschiedene mengentheoretische Modelle, meist mit Hilfe der bahnbrechenden Beweistechnik Forcing. Am Beispiel des berühmtesten unabhängigen Satzes – ... Leer más

    $9.99 USD

  • Zur Philosophie der Mathematik

    Logizismus, Intuitionismus, Finitismus, Gödel'sche Unvollständigkeitssätze

    Series series Life Science and Basic Disciplines (German Language)
    Dieses Buch blickt in eine bedeutende Epoche der Philosophie der Mathematik zurück, deren Strömungen die heutige Gestalt der Mathematik prägten.In der Wende vom 19. zum 20. Jahrhundert befand sich die Mathematik in einem fundamentalen Umbruch, der die Mathematiker dieser Zeit herausforderte. Sie mussten Stellung beziehen. Die Grundsätze und Wege der philosophischen Richtungen, die dieses Buch ... Leer más

    $28.99 USD

  • Reflections on the Foundations of Mathematics

    Univalent Foundations, Set Theory and General Thoughts

    Series series Philosophy and Religion (R0)
    This edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations. It shares the work of significant scholars across the disciplines of mathematics, philosophy and computer science. Readers will discover systematic thought on criteria for a suitable foundation in mathematics and philosophical reflections ... Leer más

    $143.99 USD

La gente que leyó estos también disfrutó

  • On the Existence of Digital Objects

    de Yuk Hui ...
    Series series Electronic Mediations
    Digital objects, in their simplest form, are data. They are also a new kind of industrial object that pervades every aspect of our life today—as online videos, images, text files, e-mails, blog posts, Facebook events.Yet, despite their ubiquity, the nature of digital objects remains unclear.On the Existence of Digital Objects conducts a philosophical examination of digital objects and their ... Leer más

    $15.99 USD

  • Philosophy of Mathematics

    Series series Princeton Foundations of Contemporary Philosophy
    A sophisticated, original introduction to the philosophy of mathematics from one of its leading contemporary scholarsMathematics is one of humanity's most successful yet puzzling endeavors. It is a model of precision and objectivity, but appears distinct from the empirical sciences because it seems to deliver nonexperiential knowledge of a nonphysical reality of numbers, sets, and functions. How ... Leer más

    $28.09 USD

  • The Evolution of Logic

    de W. D. Hart ...
    Series series The Evolution of Modern Philosophy
    Examines the relations between logic and philosophy over the last 150 years. Logic underwent a major renaissance beginning in the nineteenth century. Cantor almost tamed the infinite, and Frege aimed to undercut Kant by reducing mathematics to logic. These achievements were threatened by the paradoxes, like Russell's. This ferment generated excellent philosophy (and mathematics) by excellent ... Leer más

    $33.99 USD

  • Philosophy of Mathematics

    An Introduction to a World of Proofs and Pictures

    Series series Philosophical Issues in Science
    Philosophy of Mathematics is an excellent introductory text. This student friendly book discusses the great philosophers and the importance of mathematics to their thought. It includes the following topics:* the mathematical image* platonism* picture-proofs* applied mathematics* Hilbert and Godel* knots and nations* definitions* picture-proofs and Wittgenstein* computation, proof and conjecture ... Leer más

    $73.99 USD

  • Interpreting Gödel

    Critical Essays

    Edición de Juliette Kennedy ...
    The logician Kurt Gödel (1906–1978) published a paper in 1931 formulating what have come to be known as his 'incompleteness theorems', which prove, among other things, that within any formal system with resources sufficient to code arithmetic, questions exist which are neither provable nor disprovable on the basis of the axioms which define the system. These are among the most celebrated results ... Leer más

    $30.99 USD

  • Probability with Martingales

    Probability theory is nowadays applied in a huge variety of fields including physics, engineering, biology, economics and the social sciences. This book is a modern, lively and rigorous account which has Doob's theory of martingales in discrete time as its main theme. It proves important results such as Kolmogorov's Strong Law of Large Numbers and the Three-Series Theorem by martingale techniques, ... Leer más

    $47.99 USD

  • Problems And Solutions In Real Analysis (Second Edition)

    Series Libro 14 - Series On Number Theory And Its Applications
    This second edition introduces an additional set of new mathematical problems with their detailed solutions in real analysis. It also provides numerous improved solutions to the existing problems from the previous edition, and includes very useful tips and skills for the readers to master successfully. There are three more chapters that expand further on the topics of Bernoulli numbers, ... Leer más

    $34.99 USD

  • Advances in Proof-Theoretic Semantics

    Series series Mathematics and Statistics (R0)
    This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, ... Leer más

    Gratis

  • On the Logic and Learning of Language

    de Sean A. Fulop ...
    This book presents the author's research on automatic learning procedures for categorial grammars of natural languages. The research program spans a number of intertwined disciplines, including syntax, semantics, learnability theory, logic, and computer science. The theoretical framework employed is an extension of categorial grammar that has come to be called multimodal or type-logical grammar. ... Leer más

    $8.99 USD