×

Found 308 Documents (Results 1–100)

Conceptions of infinity and set in Lorenzen’s operationist system. (English) Zbl 1494.03011

Heinzmann, Gerhard (ed.) et al., Paul Lorenzen – mathematician and logician. Contributions presented at the workshop, Konstanz, Germany, March 8–9, 2018. Cham: Springer. Log. Epistemol. Unity Sci. 51, 23-46 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Intuitionistic/constructive accounts of the continuum today. (English) Zbl 1467.03032

Shapiro, Stewart (ed.) et al., The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press. 476-501 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Continuity, constructibility, and intuitivity. (English) Zbl 1494.01010

Posy, Carl (ed.) et al., Kant’s philosophy of mathematics. Volume 1: The critical philosophy and its roots. Cambridge: Cambridge University Press. 181-199 (2020).
MSC:  01A50 00A30
PDFBibTeX XMLCite
Full Text: DOI Link

L. E. J. Brouwer: Intuitionism. 2nd edition. (L. E. J. Brouwer: Intuitionismus.) (German) Zbl 1476.03001

Mathematik im Kontext. Berlin: Springer Spektrum (ISBN 978-3-662-61388-7/pbk; 978-3-662-61389-4/ebook). ix, 191 p. (2020).
PDFBibTeX XMLCite
Full Text: DOI

Functional interpretations. From the Dialectica interpretation to interpretations of classical and constructive set theory. (English) Zbl 1487.03001

Hackensack, NJ: World Scientific (ISBN 978-981-4551-39-7/hbk; 978-981-4551-41-0/ebook). viii, 237 p. (2020).
MSC:  03-02 03A05 03F65
PDFBibTeX XMLCite
Full Text: DOI

Toward the philosophy of mathematics. Logicism, intuitionism, finitism, and Gödel’s incompleteness theorems. Translated from the English by Deborah Kant and Thomas Bedürftig. (Zur Philosophie der Mathematik. Logizismus, Intuitionismus, Finitismus, Gödel’sche Unvollständigkeitssätze.) (German) Zbl 1475.03001

Berlin: Springer Spektrum (ISBN 978-3-662-56236-9/pbk; 978-3-662-56237-6/ebook). xi, 209 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Intuitionistic proof versus classical truth. The role of Brouwer’s creative subject in intuitionistic mathematics. (English) Zbl 1390.03004

Logic, Epistemology, and the Unity of Science 42. Cham: Springer (ISBN 978-3-319-74356-1/hbk; 978-3-319-74357-8/ebook). xiii, 170 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Classical and intuitionistic arithmetic with higher order comprehension coincide on inductive well-foundedness. (English) Zbl 1373.03126

Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-90-3). LIPIcs – Leibniz International Proceedings in Informatics 41, 343-358 (2015).
MSC:  03F35 03B20
PDFBibTeX XMLCite
Full Text: DOI

An intuitionistic analysis of size-change termination. (English) Zbl 1369.68156

Herbelin, Hugo (ed.) et al., 20th international conference on types for proofs and programs, TYPES’14, Paris, France, May 12–15, 2014. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-88-0). LIPIcs – Leibniz International Proceedings in Informatics 39, 288-307 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Henri Poincaré and Hermann Weyl on the foundations of mathematics. (English) Zbl 1334.01016

Rowe, David E. (ed.) et al., A delicate balance: global perspectives on innovation and tradition in the history of mathematics. A Festschrift in honor of Joseph W. Dauben. Cham: Birkhäuser/Springer (ISBN 978-3-319-12029-4/hbk; 978-3-319-36594-7/pbk; 978-3-319-12030-0/ebook). Trends in the History of Science, 125-149 (2015).
PDFBibTeX XMLCite
Full Text: DOI

David Hilbert and the foundations of geometry (1891–1905). (David Hilbert y los fundamentos de la geometría (1891–1905).) (Spanish) Zbl 1329.01005

Cuadernos de Lógica, Epistemología y Lenguaje 8. London: College Publications (ISBN 978-1-84890-175-9/pbk). xiii, 320. (2015).
PDFBibTeX XMLCite

Constructivism and metamathematics. (English) Zbl 1318.03022

Koslow, Arnold (ed.) et al., The road to universal logic. Festschrift for 50th birthday of Jean-Yves Béziau. Volume I. Cham: Birkhäuser/Springer (ISBN 978-3-319-10192-7/pbk; 978-3-319-10193-4/ebook). Studies in Universal Logic, 513-520 (2015).
MSC:  03A05 03F50
PDFBibTeX XMLCite
Full Text: DOI

Assertions, hypotheses, conjectures, expectations: rough-sets semantics and proof theory. (English) Zbl 1342.03028

Pereira, Luiz Carlos (ed.) et al., Advances in natural deduction. A celebration of Dag Prawitz’s work. Selected papers based on the presentations at the conference “Natural deduction”, Rio de Janeiro, Brazil, 2001. Dordrecht: Springer (ISBN 978-94-007-7547-3/hbk; 978-94-007-7548-0/ebook). Trends in Logic – Studia Logica Library 39, 193-241 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Gödel and intuitionism. (English) Zbl 1336.03003

Dubucs, Jacques (ed.) et al., Constructivity and computability in historical and philosophical perspective. Dordrecht: Springer (ISBN 978-94-017-9216-5/hbk; 978-94-017-9217-2/ebook). Logic, Epistemology, and the Unity of Science 34, 169-214 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Ramsey theorem as an intuitionistic property of well founded relations. (English) Zbl 1417.03299

Dowek, Gilles (ed.), Rewriting and typed lambda calculi. Joint international conference, RTA-TLCA 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14–17, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8560, 93-107 (2014).
MSC:  03F55 05D10
PDFBibTeX XMLCite
Full Text: DOI

Foundations of mathematics from the perspective of computer verification. (English) Zbl 1322.03006

Paule, Peter (ed.), Mathematics, computer science and logic – a never ending story. The Bruno Buchberger Festschrift. Based on a conference on the occasion of Bruno Buchberger’s 60th birthday, Hagenberg, Austria, October 22, 2002. Cham: Springer (ISBN 978-3-319-00965-0/hbk; 978-3-319-00966-7/ebook). 1-49 (2013).
MSC:  03A05 03B15 03B30 03B35 68Q42 68T15
PDFBibTeX XMLCite
Full Text: DOI

Continuous truth. II: Reflections. (English) Zbl 1394.03084

Libkin, Leonid (ed.) et al., Logic, language, information, and computation. 20th international workshop, WoLLIC 2013, Darmstadt, Germany, August 20–23, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39991-6/pbk). Lecture Notes in Computer Science 8071, 153-167 (2013).
MSC:  03G30
PDFBibTeX XMLCite
Full Text: DOI

L. E. J. Brouwer. Topologist, intuitionist, philosopher. How mathematics is rooted in life. Updated revision of the two volume biography ‘Mystic, geometer, and intuitionist. The life of L. E. J. Brouwer’ published 1999 and 2005. (English) Zbl 1255.01024

Berlin: Springer (ISBN 978-1-4471-4615-5/hbk; 978-1-4471-4616-2/ebook). xii, 875 p. (2013).
PDFBibTeX XMLCite
Full Text: DOI

Truth and proof in intuitionism. (English) Zbl 1312.03039

Dybjer, Peter (ed.) et al., Epistemology versus ontology. Essays on the philosophy and foundations of mathematics in honour of Per Martin-Löf. Based on the conference, “Philosophy and foundations of mathematics: Epistemological and ontological aspects”, Uppsala, Sweden, May 5–8, 2009. Dordrecht: Springer (ISBN 978-94-007-4434-9/hbk; 978-94-007-4435-6/ebook). Logic, Epistemology, and the Unity of Science 27, 45-67 (2012).
MSC:  03F55 00A30 03A05
PDFBibTeX XMLCite
Full Text: DOI

From foundations to philosophy of mathematics. An historical account of their development in the XX century and beyond. (English) Zbl 1275.03008

Newcastle upon Tyne: Cambridge Scholars Publishing (ISBN 978-1-4438-3459-9/hbk). ix, 227 p. (2012).
PDFBibTeX XMLCite

Proofs and constructions. (English) Zbl 1317.03038

Sommaruga, Giovanni (ed.), 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. Berlin: Springer (ISBN 978-94-007-0430-5/hbk; 978-94-007-0431-2/ebook). The Western Ontario Series in Philosophy of Science 76, 209-225 (2011).
MSC:  03F50 03F55
PDFBibTeX XMLCite
Full Text: DOI

Rewriting points. (English) Zbl 1235.01012

Bhatia, Rajendra (ed.) et al., Proceedings of the international congress of mathematicians (ICM 2010), Hyderabad, India, August 19–27, 2010. Vol. IV: Invited lectures. Hackensack, NJ: World Scientific; New Delhi: Hindustan Book Agency (ISBN 978-981-4324-34-2/hbk; 978-81-85931-08-3/hbk; 978-981-4324-31-1/set; 978-981-4324-35-9/ebook). 3258-3291 (2011).
PDFBibTeX XMLCite
Full Text: Link

The selected correspondence of L. E. J. Brouwer. (English) Zbl 1225.01097

Sources and Studies in the History of Mathematics and Physical Sciences. London: Springer (ISBN 978-0-85729-527-9/hbk; 978-1-4471-2691-1/pbk; 978-0-85729-537-8/ebook). vii, 529 p. (2011).
PDFBibTeX XMLCite
Full Text: DOI

Philosophy of mathematics in the 20th century. Main trends and doctrines. (English) Zbl 1217.00006

Murawski, Roman, Essays in the philosophy and history of logic and mathematics. Foreword by Jan Woleński. Amsterdam: Rodopi (ISBN 978-90-420-3090-9/hbk). Poznań Studies in the Philosophy of the Sciences and the Humanities 98, 59-73 (2010).
PDFBibTeX XMLCite

The adventure of reason. Interplay between philosophy of mathematics and mathematical logic, 1900–1940. (English) Zbl 1237.03005

Oxford: Oxford University Press (ISBN 978-0-19-954653-4/hbk). x, 618 p. (2010).
PDFBibTeX XMLCite

Does mathematics need a foundation? A commentary on Part III of Wittgenstein’s “Remarks on the foundations of mathematics”. (Braucht die Mathematik eine Grundlegung? Ein Kommentar des Teils III von Wittgensteins “Bemerkungen über die Grundlagen der Mathematik”.) (German) Zbl 1223.03003

Frankfurt am Main: Vittorio Klostermann (ISBN 978-3-465-03667-8/hbk). xiv, 602 p. (2010).
PDFBibTeX XMLCite

The revolution of 1907 – Brouwer’s dissertation. (English) Zbl 1198.01023

Ran, André (ed.) et al., European congress of mathematics. Proceedings of the 5th ECM congress, Amsterdam, Netherlands, July 14–18, 2008. Zürich: European Mathematical Society (EMS) (ISBN 978-3-03719-077-7/hbk). 213-230 (2010).
MSC:  01A60 03-03
PDFBibTeX XMLCite

Dummett’s anti-realist defense of mathematical intuitionism. (English) Zbl 1341.03008

Lagakos, Stephen (ed.) et al., Recent advances in applied mathematics. Proceedings of the American conference on applied mathematics (AMERICAN-MATH ’10), Harvard University, Cambridge, MA, USA, January 27–29, 2010. Athens: WSEAS Press (ISBN 978-960-474-150-2). Mathematics and Computers in Science and Engineering, 378-381 (2009).
MSC:  03A05 00A30
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software