Title: Constructibility and mathematical existence
First published: 1990
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.
Subjects: Constructive mathematics, Logic, Symbolic and mathematical, Mathematics, Philosophy, Symbolic and mathematical Logic, Mathematics, philosophy
LC classification: QA8.4 .C45 1990