Inicio > Humanidades > Filosofía > Ética y filosofía moral > History and Philosophy of Constructive Type Theory
History and Philosophy of Constructive Type Theory

History and Philosophy of Constructive Type Theory

Giovanni Sommaruga

207,27 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
2010
Materia
Ética y filosofía moral
ISBN:
9789048154036
207,27 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)
Sobre IBD

A comprehensive survey of Martin-Löf’s constructive type theory, considerable parts of which have only been presented by Martin-Löf in lecture form or as part of conference talks. Sommaruga surveys the prehistory of type theory and its highly complex development through eight different stages from 1970 to 1995. He also provides a systematic presentation of the latest version of the theory, as offered by Martin-Löf at Leiden University in Fall 1993. This presentation gives a fuller and updated account of the system. Earlier, brief presentations took no account of the issues related to the type-theoretical approach to logic and the foundations of mathematics, while here they are accorded an entire part of the book. Readership: Comprehensive accounts of the history and philosophy of constructive type theory and a considerable amount of related material. Readers need a solid background in standard logic and a first, basic acquaintance with type theory.

Artículos relacionados

  • Ka Ab Ba Building The Lighted Temple
    Dr Terri R. Nelson / Dr Terri RNelson
    The book KaAbBa Building The Lighted Temple/Metaphysical Keys to the Tree of Life draws a circle that is inclusive of the Afrikan origin of the Ancient Kemetic/Egyptian wisdom. It reveals the undeniable root and link of Ancient Africa to all the religious systems that would develop worldwide. This book is explosive in its power to convey the meaning of KaAbBa, the Medu Neter  (...
    Disponible

    37,41 €

  • Technoethics and the Evolving Knowledge Society
    Rocci Luppicini
    Recently, there has been a major push to rediscover the ethical dimension of technology across the sciences, social sciences, and humanities. Technoethics and the Evolving Knowledge Society: Ethical Issues in Technological Design, Research, Development, and Innovation examines human processes and practices connected to technology embedded within social, political, and moral sph...
  • Kant
    Immanuel Kant
    Kant’s Groundwork of the Metaphysics of Morals is one of the most important works in modern moral philosophy. It belongs beside Plato, Aristotle, Machiavelli, and Hobbes. Here Kant sets out to articulate and defend the Categorical Imperative - the fundamental principle that underlies moral reasoning - and to lay the foundation for a comprehensive account of justice and human vi...
  • On the Duty of Civil Disobedience
    HENRY DAVID THOREAU
    Civil Disobedience argues that citizens should not permit their governments to overrule their consciences, and that they have a duty to avoid allowing their acquiescence to enable the government to make them the agents of injustice. Thoreau was motivated in part by his disgust with slavery and the Mexican-American War, but the sentiments he expresses here are just as pertinent ...
  • Beyond Good and Evil
    Friedrich Nietzsche
    Nietzsche, though primarily a philosopher, wrote widely on art, philology, history, religion, tragedy, culture, and science.  In 1886, at the height of his powers, he published Beyond Good and Evil.  Here he examines much of the best of human thought--dogmatic philosophy, Judeo-Christian morality, science and democracy – and finds it lacking.  Rejecting “slave-morality” he pres...
  • Beyond Good and Evil
    Friedrich Nietzsche
    Nietzsche, though primarily a philosopher, wrote widely on art, philology, history, religion, tragedy, culture, and science.  In 1886, at the height of his powers, he published Beyond Good and Evil.  Here he examines much of the best of human thought--dogmatic philosophy, Judeo-Christian morality, science and democracy – and finds it lacking.  Rejecting “slave-morality” he pres...
    Disponible

    9,99 €

Otros libros del autor

  • Foundational Theories of Classical and Constructive Mathematics
    Giovanni Sommaruga
    The book 'Foundational Theories of Classical and Constructive Mathematics' is a book on the classical topic of foundations of mathematics. Its originality resides mainly in its treating at the same time foundations of classical and foundations of constructive mathematics. This confrontation of two kinds of foundations contributes to answering questions such as: Are foundations/...
    Disponible

    133,74 €

  • Foundational Theories of Classical and Constructive Mathematics
    Giovanni Sommaruga
    The book 'Foundational Theories of Classical and Constructive Mathematics' is a book on the classical topic of foundations of mathematics. Its originality resides mainly in its treating at the same time foundations of classical and foundations of constructive mathematics. This confrontation of two kinds of foundations contributes to answering questions such as: Are foundations/...
  • Formal Theories of Information
    Giovanni Sommaruga
    ...
    Disponible

    66,34 €