The foundational debate. Complexity and constructivity in mathematics and physics. Proceedings of the conference on the foundational debate: constructivity and complexity in logic, mathematics and physics, Vienna, Austria, September 1994
zbMATH Open0948.00029MaRDI QIDQ1581779FDOQ1581779
Authors:
Publication date: 9 October 2000
Published in: Vienna Circle Institute Yearbook (Search for Journal in Brave)
Recommendations
- Foundational theories of classical and constructive mathematics. Based on the annual meeting of the Swiss Society for Logic and Philosophy of Science (SSLPS) on ``Foundational theories of mathematics, Freiburg, Switzerland, October 11--12, 2006
- Logic and foundations of mathematics. Selected contributed papers of the 10th international congress of logic, methodology and philosophy of science, Florence, August 19--25, 1995
- Special issue: Complexity and logic. Selected papers from the international workshop Collegium Logicum 1998: complexity, Vienna, Austria, October 9--10, 1998.
- scientific article; zbMATH DE number 1870426
- scientific article; zbMATH DE number 3961571
- Logical foundations of mathematics and computational complexity. A gentle introduction
- scientific article; zbMATH DE number 4045704
- scientific article; zbMATH DE number 3069866
- scientific article; zbMATH DE number 917173
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to history and biography (01-06) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proceedings, conferences, collections, etc. pertaining to quantum theory (81-06)
This page was built for publication: The foundational debate. Complexity and constructivity in mathematics and physics. Proceedings of the conference on the foundational debate: constructivity and complexity in logic, mathematics and physics, Vienna, Austria, September 1994
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1581779)
