Couverture de Intuitionistic Type Theory
Titre du livre:

Intuitionistic Type Theory

Alphascript Publishing (06-11-2010 )

Books loader

Omni badge éligible au bon d'achat
ISBN-13:

978-613-0-75086-2

ISBN-10:
6130750862
EAN:
9786130750862
Langue du livre:
Anglais
texte du rabat:
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online.Intuitionistic type theory, or constructive type theory, or Martin-Löf type theory or just Type Theory is a logical system and a set theory based on the principles of mathematical constructivism. Intuitionistic type theory was introduced by Per Martin-Löf, a Swedish mathematician and philosopher, in 1972. Martin-Löf has modified his proposal a few times; his early, impredicative formulations were inconsistent as demonstrated by Girard's paradox, and later formulations were predicative. He also proposed extensional and then intensional variants of intuitionistic type theory. Intuitionistic type theory is based on a certain analogy or isomorphism between propositions and types: a proposition is identified with the type of its proofs. This identification is usually called the Curry–Howard isomorphism, which was originally formulated for intuitionistic logic and simply typed lambda calculus. Type Theory extends this identification to predicate logic by introducing dependent types, that is types which contain values. Type Theory internalizes the interpretation of intuitionistic logic proposed by Brouwer, Heyting and Kolmogorov, the so called BHK interpretation.
Maison d'édition:
Alphascript Publishing
Site Web:
https://www.alphascript-publishing.com/
Edité par:
Frederic P. Miller, Agnes F. Vandome, John McBrewster
Numéro de pages:
116
Publié le:
06-11-2010
Stock:
Disponible
Catégorie:
Mathématiques
Prix:
39.00 €
Mots-clés:
theory, constructivism, Mathematician, Proposition, Calculus, Extensionality, Logic

Books loader

Lettre d'information

Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::unionpay Paypal Virement bancaire

  0 produits dans le panier
Modifier le contenu du panier
Loading frontend
LOADING