Constructivity and computability in historical and philosophical perspective

DOI10.1007/978-94-017-9217-2zbMATH Open1297.03004OpenAlexW881969044MaRDI QIDQ396741

Author name not available (Why is that?)

Publication date: 14 August 2014

Published in: Logic, Epistemology, and the Unity of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-017-9217-2

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) Collections of articles of miscellaneous specific interest (00B15) Complexity of computation (including implicit computational complexity) (03D15) History of mathematical logic and foundations (03-03) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Recursive functions and relations, subrecursive hierarchies (03D20) Metamathematics of constructive systems (03F50)

Related Items (1)

Weyl and Intuitionistic Infinitesimals

This page was built for publication: Constructivity and computability in historical and philosophical perspective

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q396741)