Definitions, Assumptions, Propositions and Proofs in Sraffa’s PCMC

K. Vela Velupillai

doi:10.1007/978-3-030-47206-1_13

Definitions, Assumptions, Propositions and Proofs in Sraffa’s PCMC

K. Vela Velupillai

Economics

Research output: Chapter in Book or Conference Publication/Proceeding › Chapter › peer-review

Abstract

An attempt is made to interpret Sraffa’s PCMC in terms of Constructive Type Theory of the Brouwer/Martin-Löf variety. To facilitate this interpretation, PCMC is considered a precise mathematical text and Sraffa’s subtitle is considered to be meaningful in this sense.

Original language	English
Title of host publication	Palgrave Studies in the History of Economic Thought
Publisher	Palgrave Macmillan
Pages	391-417
Number of pages	27
DOIs	https://doi.org/10.1007/978-3-030-47206-1_13
Publication status	Published - 2021

Publication series

Name	Palgrave Studies in the History of Economic Thought
ISSN (Print)	2662-6578
ISSN (Electronic)	2662-6586

Keywords

Computable
Constructive
Type theory and proofs

Access to Document

10.1007/978-3-030-47206-1_13

Cite this

@inbook{560ef85d4daa441f880399c35c7db252,

title = "Definitions, Assumptions, Propositions and Proofs in Sraffa{\textquoteright}s PCMC",

abstract = "An attempt is made to interpret Sraffa{\textquoteright}s PCMC in terms of Constructive Type Theory of the Brouwer/Martin-L{\"o}f variety. To facilitate this interpretation, PCMC is considered a precise mathematical text and Sraffa{\textquoteright}s subtitle is considered to be meaningful in this sense.",

keywords = "Computable, Constructive, Type theory and proofs",

author = "Velupillai, \{K. Vela\}",

note = "Publisher Copyright: {\textcopyright} 2021, The Author(s).",

year = "2021",

doi = "10.1007/978-3-030-47206-1\_13",

language = "English",

series = "Palgrave Studies in the History of Economic Thought",

publisher = "Palgrave Macmillan",

pages = "391--417",

booktitle = "Palgrave Studies in the History of Economic Thought",

}

TY - CHAP

T1 - Definitions, Assumptions, Propositions and Proofs in Sraffa’s PCMC

AU - Velupillai, K. Vela

PY - 2021

Y1 - 2021

N2 - An attempt is made to interpret Sraffa’s PCMC in terms of Constructive Type Theory of the Brouwer/Martin-Löf variety. To facilitate this interpretation, PCMC is considered a precise mathematical text and Sraffa’s subtitle is considered to be meaningful in this sense.

AB - An attempt is made to interpret Sraffa’s PCMC in terms of Constructive Type Theory of the Brouwer/Martin-Löf variety. To facilitate this interpretation, PCMC is considered a precise mathematical text and Sraffa’s subtitle is considered to be meaningful in this sense.

KW - Computable

KW - Constructive

KW - Type theory and proofs

UR - https://www.scopus.com/pages/publications/85142617344

U2 - 10.1007/978-3-030-47206-1_13

DO - 10.1007/978-3-030-47206-1_13

M3 - Chapter

AN - SCOPUS:85142617344

T3 - Palgrave Studies in the History of Economic Thought

SP - 391

EP - 417

BT - Palgrave Studies in the History of Economic Thought

PB - Palgrave Macmillan

ER -

Definitions, Assumptions, Propositions and Proofs in Sraffa’s PCMC

Abstract

Publication series

Keywords

Access to Document

Other files and links

Fingerprint

Cite this