×

zbMATH — the first resource for mathematics

Found 106 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Bolzano, Bernard
Mathematical writings 1804–1810. Edited by Steve Russ and Edgar Morscher. (Mathematische Schriften 1804–1810.) (German) Zbl 1455.01038
Bernard Bolzano-Gesamtausgabe. Reihe I: Schriften 1. Stuttgart-Bad Cannstatt: Frommann-Holzboog Verlag (ISBN 978-3-7728-2290-2/hbk). 187 p. (2020).
Reviewer: Volker Peckhaus (Paderborn)
MSC:  01A75 00A30 01A55 03A05
PDF BibTeX XML Cite
\textit{B. Bolzano}, Mathematische Schriften 1804--1810. Stuttgart-Bad Cannstatt: Frommann-Holzboog Verlag (2020; Zbl 1455.01038)
Macbeth, Danielle
Proof in mathematics and in logic. (English) Zbl 1418.03021
Arazim, Pavel (ed.) et al., The Logica yearbook 2017. Proceedings of the 31st annual international symposium Logica, Hejnice Monastery, Czech Republic, June 19–23, 2017. London: College Publications. 197-208 (2018).
MSC:  03A05 00A30
PDF BibTeX XML Cite
\textit{D. Macbeth}, in: The Logica yearbook 2017. Proceedings of the 31st annual international symposium Logica, Hejnice Monastery, Czech Republic, June 19--23, 2017. London: College Publications. 197--208 (2018; Zbl 1418.03021)
Wille, Matthias
Gottlob Frege. Begriffsschrift, a formula language of pure thought modelled on that of arithmetic. (Gottlob Frege. Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens.) (German) Zbl 1403.01004
Klassische Texte der Wissenschaft. Berlin: Springer Spektrum (ISBN 978-3-662-45010-9/hbk; 978-3-662-45011-6/ebook). x, 344 p. (2018).
Reviewer: Volker Peckhaus (Paderborn)
MSC:  01-02 01A75 01A55 00A30 03-03 03A05 03A10
PDF BibTeX XML Cite
\textit{M. Wille}, Gottlob Frege. Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Berlin: Springer Spektrum (2018; Zbl 1403.01004)
Full Text: DOI
Hoffmann, Dirk W.
Gödel’s incompleteness theorems. A guided tour through Kurt Gödel’s historical proof. 2nd revised edition. (Die Gödel’schen Unvollständigkeitssätze. Eine geführte Reise durch Kurt Gödels historischen Beweis.) (German) Zbl 1368.03003
Heidelberg: Springer Spektrum (ISBN 978-3-662-54299-6/pbk; 978-3-662-54300-9/ebook). xi, 356 p. (2017).
MSC:  03-03 03-01 03F03 03F40 01A60 00A30
PDF BibTeX XML Cite
\textit{D. W. Hoffmann}, Die Gödel'schen Unvollständigkeitssätze. Eine geführte Reise durch Kurt Gödels historischen Beweis. 2nd revised edition. Heidelberg: Springer Spektrum (2017; Zbl 1368.03003)
Full Text: DOI
Morscher, Edgar
Bernard Bolzano’s theory of ground and consequence. An axiomatic reconstruction. (Bernard Bolzanos Lehre von Grund und Folge. Eine axiomatische Rekonstruktion.) (German) Zbl 1372.01004
Beiträge zur Bolzano-Forschung 27. Sankt Augustin: Academia Verlag (ISBN 978-3-89665-698-8/pbk). 173 p. (2016).
Reviewer: Volker Peckhaus (Paderborn)
MSC:  01-02 01A55 01A70 03-03 00A30 03A05
PDF BibTeX XML Cite
\textit{E. Morscher}, Bernard Bolzanos Lehre von Grund und Folge. Eine axiomatische Rekonstruktion. Sankt Augustin: Academia Verlag (2016; Zbl 1372.01004)
Löwe, Benedikt
Mathematics and the new technologies. I: Philosophical relevance of a changing culture of mathematics. (English) Zbl 1368.00022
Schroeder-Heister, Peter (ed.) et al., Logic, methodology and philosophy of science. Logic and science facing the new technologies. Proceedings of the 14th international congress, Nancy, France, July 19–26, 2011. London: College Publications (ISBN 978-1-84890-169-8/pbk). 399-407 (2014).
Reviewer: Roman Murawski (Poznań)
MSC:  00A30
PDF BibTeX XML Cite
\textit{B. Löwe}, in: Logic, methodology and philosophy of science. Logic and science facing the new technologies. Proceedings of the 14th international congress, Nancy, France, July 19--26, 2011. London: College Publications. 399--407 (2014; Zbl 1368.00022)
Alama, Jesse; Kahle, Reinhard
Checking proofs. (English) Zbl 1330.00021
Aberdein, Andrew (ed.) et al., The argument of mathematics. Dordrecht: Springer (ISBN 978-94-007-6533-7/hbk; 978-94-007-6534-4/ebook). Logic, Epistemology, and the Unity of Science 30, 147-170 (2013).
Reviewer: Manfred Kerber (Birmingham)
MSC:  00A30 00A35 03-03 01A60 01A61 03B35 68T15
PDF BibTeX XML Cite
\textit{J. Alama} and \textit{R. Kahle}, Log. Epistemol. Unity Sci. 30, 147--170 (2013; Zbl 1330.00021)
Full Text: DOI
Feferman, Solomon (ed.); Parsons, Charles (ed.); Simpson, Stephen G. (ed.)
Kurt Gödel. Essays for his centennial. Reprint of the 2010 hardback edition. (English) Zbl 1278.03019
Lecture Notes in Logic 33. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (ISBN 978-1-107-68346-4/pbk; 978-0-511-74094-7/ebook). x, 373 p. (2013).
MSC:  03-06 00A30 00B30 01A60 01A70 03-03 03A05 03Exx 03Fxx
PDF BibTeX XML Cite
\textit{S. Feferman} (ed.) et al., Kurt Gödel. Essays for his centennial. Reprint of the 2010 hardback edition. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (2013; Zbl 1278.03019)
Hoffmann, Dirk W.
Gödel’s incompleteness theorems. A guided tour through Kurt Gödel’s historical proof. (Die Gödel’schen Unvollständigkeitssätze. Eine geführte Reise durch Kurt Gödels historischen Beweis.) (German) Zbl 1261.03004
Heidelberg: Springer Spektrum (ISBN 978-3-8274-2999-5/pbk; 978-3-8274-3000-7/ebook). 368 p. (2013).
Reviewer: Reinhard Kahle (Lisboa)
MSC:  03-03 03-01 03F03 03F40 01A60 00A30
PDF BibTeX XML Cite
\textit{D. W. Hoffmann}, Die Gödel'schen Unvollständigkeitssätze. Eine geführte Reise durch Kurt Gödels historischen Beweis. Heidelberg: Springer Spektrum (2013; Zbl 1261.03004)
Full Text: DOI
Tapp, Christian
On the limit of the finite. The Hilbert programme in the context of formalism and finitism. (An den Grenzen des Endlichen. Das Hilbertprogramm im Kontext von Formalismus und Finitismus.) (German) Zbl 1267.03005
Mathematik im Kontext. Heidelberg: Springer Spektrum (ISBN 978-3-642-29653-6/pbk; 978-3-642-29654-3/ebook). xiii, 376 p. (2013).
Reviewer: Elliott Mendelson (Flushing)
MSC:  03-03 00A30 01A60 03-02 03A05 03F03 03F40
PDF BibTeX XML Cite
\textit{C. Tapp}, An den Grenzen des Endlichen. Das Hilbertprogramm im Kontext von Formalismus und Finitismus. Heidelberg: Springer Spektrum (2013; Zbl 1267.03005)
Full Text: DOI
Appel, Andrew W. (ed.)
Alan Turing’s Systems of logic. The Princeton thesis. Edited and introduced by Andrew W. Appel. (English) Zbl 1273.01061
Princeton, NJ: Princeton University Press (ISBN 978-0-691-15574-6/hbk). xv, 142 p. (2012).
MSC:  01A75 03-03 03A05 00A30 01A60 03F03 03F15
PDF BibTeX XML Cite
\textit{A. W. Appel} (ed.), Alan Turing's \textit{Systems of logic}. The Princeton thesis. Edited and introduced by Andrew W. Appel. Princeton, NJ: Princeton University Press (2012; Zbl 1273.01061)
Mancosu, Paolo
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).
Reviewer: Chris Pincock (Columbia)
MSC:  03A05 00A30 01A60 03-02 03-03
PDF BibTeX XML Cite
\textit{P. Mancosu}, The adventure of reason. Interplay between philosophy of mathematics and mathematical logic, 1900--1940. Oxford: Oxford University Press (2010; Zbl 1237.03005)
Feferman, Solomon (ed.); Parsons, Charles (ed.); Simpson, Stephen G. (ed.)
Kurt Gödel. Essays for his centennial. (English) Zbl 1196.03006
Lecture Notes in Logic 33. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (ISBN 978-0-521-11514-8/hbk). x, 373 p. (2010).
MSC:  03-06 00A30 00B30 01A60 01A70 03-03 03A05 03Exx 03Fxx
PDF BibTeX XML Cite
\textit{S. Feferman} (ed.) et al., Kurt Gödel. Essays for his centennial. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (2010; Zbl 1196.03006)
Hanna, Gila (ed.); Jahnke, Hans Niels (ed.); Pulte, Helmut (ed.)
Explanation and proof in mathematics. Philosophical and educational perspectives. Based on the conference, Essen, Germany, November 2006. (English) Zbl 1196.00025
Berlin: Springer (ISBN 978-1-4419-0575-8/hbk; 978-1-4419-0576-5/ebook). viii, 294 p. (2010).
Reviewer: Claudi Alsina (Barcelona)
MSC:  00A35 00A30 00B25 03-06 97-06 00B15
PDF BibTeX XML Cite
\textit{G. Hanna} (ed.) et al., Explanation and proof in mathematics. Philosophical and educational perspectives. Based on the conference, Essen, Germany, November 2006. Berlin: Springer (2010; Zbl 1196.00025)
Full Text: DOI
Sieg, Wilfried
Beyond Hilbert’s reach? (English) Zbl 1163.03009
Lindström, Sten (ed.) et al., Logicism, intuitionism, and formalism. What has become of them? Originated from the conference and the symposium on constructive mathematics, Uppsala, Sweden, August 2004. Dordrecht: Springer (ISBN 978-1-4020-8925-1/hbk; 978-1-4020-8926-8/e-book). Synthese Library 341, 449-483 (2009).
Reviewer: Victor V. Pambuccian (Phoenix)
MSC:  03A05 00A30 03-03 01A60 03F03
PDF BibTeX XML Cite
\textit{W. Sieg}, Synth. Libr. 341, 449--483 (2009; Zbl 1163.03009)
Full Text: DOI
Murawski, Roman; Woleński, Jan
Andrzej Mostowski on the foundations and philosophy of mathematics. (English) Zbl 1179.03002
Ehrenfeucht, A. (ed.) et al., Andrzej Mostowski and foundational studies. Amsterdam: IOS Press (ISBN 978-1-58603-782-6/hbk). 324-337 (2008).
Reviewer: Gregor Nickel (Siegen)
MSC:  03-03 01A60 03A05 00A30
PDF BibTeX XML Cite
\textit{R. Murawski} and \textit{J. Woleński}, in: Andrzej Mostowski and foundational studies. Amsterdam: IOS Press. 324--337 (2008; Zbl 1179.03002)
Sagüillo, José M.
Corcoran the philosopher. (English) Zbl 1165.03302
Martínez, Concha (ed.) et al., Current topics in logic and analytic philosophy/Temas actuales de lógica y filosofía analítica. Papers from the colloquium on logic and analytic philosophy, Santiago de Compostela, Spain, 2001–2005. Santiago de Compostela: Universidade de Santiago de Compostela (ISBN 978-84-9750-811-7/pbk). Cursos e Congresos da Universidade de Santiago de Compostela 167, 247-269 (2007).
MSC:  03-03 01A60 01A70 03A05
PDF BibTeX XML Cite
\textit{J. M. Sagüillo}, in: Current topics in logic and analytic philosophy/Temas actuales de lógica y filosofía analítica. Papers from the colloquium on logic and analytic philosophy, Santiago de Compostela, Spain, 2001--2005. Santiago de Compostela: Universidade de Santiago de Compostela. 247--269 (2007; Zbl 1165.03302)
Aberdein, Andrew
The informal logic of mathematical proof. (English) Zbl 1170.01003
Van Kerkhove, Bart (ed.) et al., Perspectives on mathematical practices. Bringing together philosophy of mathematics, sociology of mathematics, and mathematics education. Berlin: Springer (ISBN 978-1-4020-5033-6/hbk). Logic, Epistemology, and the Unity of Science 5, 135-151 (2007).
Reviewer: Jim Mackenzie (Sydney)
MSC:  01A05 00A30
PDF BibTeX XML Cite
\textit{A. Aberdein}, Log. Epistemol. Unity Sci. 5, 135--151 (2007; Zbl 1170.01003)
Full Text: arXiv
Azzouni, Jody
Proof and ontology in Euclidean mathematics. (English) Zbl 1071.00004
Kjeldsen, Tinne Hoff (ed.) et al., New trends in the history and philosophy of mathematics. Papers from the conference, University of Roskilde, Roskilde, Denmark, August 6–8, 1998. Odense: University Press of Southern Denmark (ISBN 87-7838-606-3/pbk). University of Southern Denmark Studies in Philosophy 19, 117-133 (2004).
Reviewer: Volker Peckhaus (Paderborn)
MSC:  00A30
PDF BibTeX XML Cite
\textit{J. Azzouni}, in: New trends in the history and philosophy of mathematics. Papers from the conference, University of Roskilde, Roskilde, Denmark, August 6--8, 1998. Odense: University Press of Southern Denmark. 117--133 (2004; Zbl 1071.00004)
McCarty, David Charles
David Hilbert and Paul du Bois-Reymond: limits and ideals. (English) Zbl 1072.03002
Link, Godehard (ed.), One hundred years of Russell’s paradox. Mathematics, logic, philosophy. Based on the Munich centenary conference, Munich, Germany, June 2001 . Berlin: de Gruyter (ISBN 3-11-017438-3/hbk). de Gruyter Series in Logic and Its Applications 6, 517-532 (2004).
Reviewer: Gregor Nickel (Tübingen)
MSC:  03-03 01A55 01A60 03A05 01A70 00A30
PDF BibTeX XML Cite
\textit{D. C. McCarty}, De Gruyter Ser. Log. Appl. 6, 517--532 (2004; Zbl 1072.03002)
Link, Godehard
Introduction. Bertrand Russell – the invention of mathematical philosophy. (English) Zbl 1076.03001
Link, Godehard (ed.), One hundred years of Russell’s paradox. Mathematics, logic, philosophy. Based on the Munich centenary conference, Munich, Germany, June 2001. Berlin: de Gruyter (ISBN 3-11-017438-3/hbk). de Gruyter Series in Logic and Its Applications 6, 1-28 (2004).
Reviewer: Gregor Nickel (Tübingen)
MSC:  03-03 03A05 01A60 00A30
PDF BibTeX XML Cite
\textit{G. Link}, De Gruyter Ser. Log. Appl. 6, 1--28 (2004; Zbl 1076.03001)
Boniface, Jacqueline
Hilbert and the notion of existence in mathematics. (Hilbert et la notion d’existence en mathématiques.) (French) Zbl 1099.00004
Mathesis. Paris: Librairie Philosophique J. Vrin; Paris: Université de Paris 1 (Diss. 1999) (ISBN 2-7116-1606-1/pbk). 303 p. (2004).
Reviewer: Reinhard Siegmund-Schultze (Kristiansand)
MSC:  00A30 01A55 01A60 03-03 03A05
PDF BibTeX XML Cite
\textit{J. Boniface}, Hilbert et la notion d'existence en mathématiques. Paris: Librairie Philosophique J. Vrin; Paris: Université de Paris 1 (Diss. 1999) (2004; Zbl 1099.00004)
Dragalin, A. G.
Constructive proof theory and nonstandard analysis. Edited by G. E. Mints. (Конструктивная теория доказательств и нестандартный анализ.) (Russian) Zbl 1102.03003
Moskva: Ehditorial URSS (ISBN 5-354-00387-3). 543 p. (2003).
Reviewer: MR2118475 (2006b:03080)
MSC:  03-06 03F55 03H05 00A30 01A75 03B35 03C90 03F05
PDF BibTeX XML Cite
\textit{A. G. Dragalin}, Конструктивная теория доказательств и нестандартный анализ (Russian). Moskva: Ehditorial URSS (2003; Zbl 1102.03003)
Gabbay, D. M. (ed.); Guenthner, F. (ed.)
Handbook of philosophical logic. Vol. 9. 2nd ed. (English) Zbl 1055.03001
Handbook of Philosophical Logic 9. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-0699-3/hbk). xiii, 368 p. (2002).
Reviewer: Siegfried J. Gottwald (Leipzig)
MSC:  03-00 03A05 03F03 03B60 03B22 03B70 68T99
PDF BibTeX XML Cite
\textit{D. M. Gabbay} (ed.) and \textit{F. Guenthner} (ed.), Handbook of philosophical logic. Vol. 9. 2nd ed. Dordrecht: Kluwer Academic Publishers (2002; Zbl 1055.03001)
Stöltzner, Michael
What Lakatos could teach the mathematical physicist. (English) Zbl 1007.00007
Kampis, George (ed.) et al., Appraising Lakatos. Mathematics, methodology, and the man. Dordrecht: Kluwer Academic Publishers. Vienna Circ. Inst. Libr. 1, 157-187 (2002).
Reviewer: Volker Peckhaus (Erlangen)
MSC:  00A30 00A79
PDF BibTeX XML Cite
\textit{M. Stöltzner}, in: Appraising Lakatos. Mathematics, methodology, and the man. Dordrecht: Kluwer Academic Publishers. 157--187 (2002; Zbl 1007.00007)
Epstein, Richard L.; Carnielli, Walter A.
Computability. Computable functions, logic, and the foundations of mathematics. With “Computability and undecidability—a timeline. The story of the development of computable functions and the undecidability of arithmetic to 1970” by Richard L. Epstein. 2nd ed. (English) Zbl 0951.03001
Belmont, CA: Wadsworth/Thomson Learning. 299 p., 38 p. (2000).
Reviewer: B.Boričić (Beograd)
MSC:  03-01 03Dxx 00A30 00A35 03Fxx 03A05
PDF BibTeX XML Cite
\textit{R. L. Epstein} and \textit{W. A. Carnielli}, Computability. Computable functions, logic, and the foundations of mathematics. With ``Computability and undecidability---a timeline. The story of the development of computable functions and the undecidability of arithmetic to 1970'' by Richard L. Epstein. 2nd ed. Belmont, CA: Wadsworth/Thomson Learning (2000; Zbl 0951.03001)
Heintz, Bettina
The inner world of mathematics. (Die Innenwelt der Mathematik. Zur Kultur und Praxis einer beweisenden Disziplin.) (German) Zbl 0949.01033
Ästhetik und Naturwissenschaften. Bildende Wissenschaften - Zivilisierung der Kulturen. Wien: Springer. 318 S. DM 69.00; öS 485.00; sFr. 63.00 (2000).
Reviewer: V.Peckhaus (Erlangen)
MSC:  01A80 00A30
PDF BibTeX XML Cite
\textit{B. Heintz}, Die Innenwelt der Mathematik. Zur Kultur und Praxis einer beweisenden Disziplin. Wien: Springer (2000; Zbl 0949.01033)
da Silva, Jairo José
On the notion of proof. (English) Zbl 1041.03504
Haeusler, Edward Hermann (ed.) et al., PRATICA. Proofs, types and categories. Selected papers from PRATICA’95, PRATICA’96 and PRATICA’98. Rio de Janeiro: Pontifícia Universidade Católica do Rio de Janeiro (ISBN 85-900900-1-9/pbk). 213-219 (1999).
MSC:  03A05 00A30
PDF BibTeX XML Cite
\textit{J. J. da Silva}, in: PRATICA. Proofs, types and categories. Selected papers from PRATICA'95, PRATICA'96 and PRATICA'98. Rio de Janeiro: Pontifícia Universidade Católica do Rio de Janeiro. 213--219 (1999; Zbl 1041.03504)
Chateaubriand Filho, Oswaldo
Proof and logical deduction. (English) Zbl 1041.03502
Haeusler, Edward Hermann (ed.) et al., PRATICA. Proofs, types and categories. Selected papers from PRATICA’95, PRATICA’96 and PRATICA’98. Rio de Janeiro: Pontifícia Universidade Católica do Rio de Janeiro (ISBN 85-900900-1-9/pbk). 79-98 (1999).
MSC:  03A05 00A30
PDF BibTeX XML Cite
\textit{O. Chateaubriand Filho}, in: PRATICA. Proofs, types and categories. Selected papers from PRATICA'95, PRATICA'96 and PRATICA'98. Rio de Janeiro: Pontifícia Universidade Católica do Rio de Janeiro. 79--98 (1999; Zbl 1041.03502)
Manin, Yu. I.
Truth, rigour, and common sense. (English) Zbl 0927.03011
Dales, H. G. (ed.) et al., Truth in mathematics. Lectures of a conference, Mussomeli, Sicily, Italy, September 13–20, 1995. Oxford: Clarendon Press. Oxford Science Publications. 147-159 (1998).
MSC:  03A05 00A30
PDF BibTeX XML Cite
\textit{Yu. I. Manin}, in: Truth in mathematics. Lectures of a conference, Mussomeli, Sicily, Italy, September 13--20, 1995. Oxford: Clarendon Press. 147--159 (1998; Zbl 0927.03011)
Reichel, Hans-Christian
How can or should the recent developments in mathematics influence the philosophy of mathematics? (English) Zbl 0899.00010
Driessen, Alfred (ed.) et al., Mathematical undecidability, quantum nonlocality and the question of the existence of God. Dordrecht: Kluwer Academic Publishers. 3-14 (1997).
Reviewer: G.Priest (Brisbane)
MSC:  00A30 03A05
PDF BibTeX XML Cite
\textit{H.-C. Reichel}, in: Mathematical undecidability, quantum nonlocality and the question of the existence of God. Dordrecht: Kluwer Academic Publishers. 3--14 (1997; Zbl 0899.00010)
Detlefsen, Michael
Philosophy of mathematics in the twentieth century. (English) Zbl 0978.03002
Shanker, Stuart G. (ed.), Routledge history of philosophy. Vol. IX: Philosophy of science, logic and mathematics in the twentieth century. London: Routledge. 50-123 (1996).
Reviewer: Roman Murawski (Poznań)
MSC:  03-03 00A30 03A05 01A60
PDF BibTeX XML Cite
\textit{M. Detlefsen}, in: Routledge history of philosophy. Vol. IX: Philosophy of science, logic and mathematics in the twentieth century. London: Routledge. 50--123 (1996; Zbl 0978.03002)
Lakatos, Imre
Proofs and refutations. Essay on the logic of mathematical discovery. Edited by John Worrall and Elie Zahar. Transl. from the English by Nicolas Balacheff and J. M. Laborde. (Preuves et réfutations. Essai sur la logique de la découverte mathématique.) (French) Zbl 1072.00006
Actualités Scientifiques et Industrielles 1412. Paris: Hermann, Éditeurs des Sciences et des Arts (ISBN 2-7056-1412-5). xxiv, 218 p. (1984).
MSC:  00A30 03A05 03F99 00-02 03-02
PDF BibTeX XML Cite
\textit{I. Lakatos}, Preuves et réfutations. Essai sur la logique de la découverte mathématique. Paris: Hermann, Éditeurs des Sciences et des Arts (1984; Zbl 1072.00006)

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
all top 3
Biographic Reference
all top 3
Software