Constructibility and mathematical existence
By: Charles S. Chihara.
Publisher: Clarendon Press; Oxford University Press
Published: 1990
Place of publication: Oxford; New York
Language: eng
Number of pages: 282
Subjects: Mathematics -- Philosophy.; Constructive mathematics.; Logic, Symbolic and mathematical.
Description: "Chihara here develops a mathematical system in which there are no existence assertions but only assertions of the constructibility of certain sorts of things. He utilizes this system in the analysis of the nature of mathematics, and discusses many recent works in the philosophy of mathematics from the viewpoint of the constructibility theory developed. This innovative analysis will appeal to mathematicians and philosophers of logic, mathematics, and science"--Publisher's description.
Notes: Includes bibliographical references (p. [273]-278) and index.