Xu, Yiming; Norrish, Michael Dependently sorted theorem proving for mathematical foundations. (English) Zbl 07949126 Naumowicz, Adam (ed.) et al., 14th international conference on interactive theorem proving, ITP 2023, Białystok, Poland, July 31 – August 4, 2023. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 268, Article 33, 18 p. (2023). MSC: 68V15 × Cite Format Result Cite Review PDF Full Text: DOI
Rahmani, A.; Faroughi, S.; Sari, M. On wave dispersion of rotating viscoelastic nanobeam based on general nonlocal elasticity in thermal environment. (English) Zbl 1539.74175 AMM, Appl. Math. Mech., Engl. Ed. 44, No. 9, 1577-1596 (2023). MSC: 74J99 97M50 × Cite Format Result Cite Review PDF Full Text: DOI
Valleriani, Matteo (ed.); Ottone, Andrea (ed.) Publishing Sacrobosco’s De sphaera in early modern Europe. Modes of material and scientific exchange. (English, Latin) Zbl 1517.01003 Cham: Springer (ISBN 978-3-030-86599-3/hbk; 978-3-030-86602-0/pbk; 978-3-030-86600-6/ebook). xiv, 492 p., open access (2022). MSC: 01-06 01A35 01A90 70-03 70F15 00B15 × Cite Format Result Cite Review PDF Full Text: DOI
Boccuni, Francesca; Panza, Marco Frege’s theory of real numbers: A consistent rendering. (English) Zbl 1496.00020 Rev. Symb. Log. 15, No. 3, 624-667 (2022). Reviewer: Victor V. Pambuccian (Glendale) MSC: 00A30 03A05 03-03 03B30 03F35 × Cite Format Result Cite Review PDF Full Text: DOI arXiv HAL
Gisin, Nicolas Indeterminism in physics and intuitionistic mathematics. (English) Zbl 1528.03082 Synthese 199, No. 5-6, 13345-13371 (2021). MSC: 03A10 00A30 03F55 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Levi, Nissan; Avron, Arnon Analysis in a formal predicative set theory. (English) Zbl 1540.03094 Silva, Alexandra (ed.) et al., Logic, language, information, and computation. 27th international workshop, WoLLIC 2021, virtual event, October 5–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13038, 167-183 (2021). MSC: 03E30 68V30 × Cite Format Result Cite Review PDF Full Text: DOI
Drago, Antonino An intuitionist reasoning upon formal intuitionist logic: logical analysis of Kolmogorov’s 1932 paper. (English) Zbl 1490.03002 Log. Univers. 15, No. 4, 537-552 (2021). Reviewer: Roman Murawski (Poznań) MSC: 03-03 03B20 03A05 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Gerla, Giangiacomo Point-free continuum. (English) Zbl 1461.03010 Shapiro, Stewart (ed.) et al., The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press. 427-475 (2021). MSC: 03B30 51A35 52A01 00A30 03-03 51-03 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Schütte, Kurt; Schwichtenberg, Helmut Mathematical logic. (Mathematische Logik.) (German. English summary) Zbl 1481.03001 Kahle, Reinhard (ed.) et al., The legacy of Kurt Schütte. Cham: Springer. 71-91 (2020). Reviewer: Thomas Sonar (Braunschweig) MSC: 03-03 01A55 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Brown, Chad E.; Kaliszyk, Cezary; Pak, Karol Higher-order Tarski Grothendieck as a foundation for formal proof. (English) Zbl 07649958 Harrison, John (ed.) et al., 10th international conference on interactive theorem proving, ITP 2019, September 9–12, 2019, Portland, OR, USA. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 141, Article 9, 16 p. (2019). MSC: 68V20 × Cite Format Result Cite Review PDF Full Text: DOI
Church, Alonzo Burge, Tyler (ed.); Enderton, Herbert B. (ed.) The collected works of Alonzo Church. Edited by Tyler Burge and Herbert B. Enderton. (English) Zbl 1471.03003 Cambridge, MA: MIT Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-0-262-02564-5/hbk). xxxvi, 1189 p. (2019). Reviewer: Yaroslav Shramko (Kryvyi Rih) MSC: 03-03 03-06 03Bxx 01A75 × Cite Format Result Cite Review PDF
Gutfreund, Hanoch; Renn, Jürgen The road to relativity. The history and meaning of Einstein’s “The foundation of general relativity”, featuring the original manuscript of Einstein’s masterpiece. Reprint of the 2015 hardback edition. (English) Zbl 1373.83008 Princeton, NJ: Princeton University Press (ISBN 978-0-691-17581-2/pbk; 978-1-4008-6576-5/ebook). xviii, 237 p. (2017). Reviewer: Hans-Jürgen Schmidt (Potsdam) MSC: 83-03 01A75 01A60 00A79 83C05 83C10 × Cite Format Result Cite Review PDF Full Text: DOI
Barany, Michael J. Remunerative combinatorics: mathematicians and their sponsors in the mid-twentieth century. (English) Zbl 1544.01019 Larvor, Brendan (ed.), Mathematical cultures. The London meetings 2012–2014. Basel: Birkhäuser/Springer. Trends Hist. Sci., 329-346 (2016). MSC: 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Chailos, George The notion of infinity within the Zermelo system and its relation to the axiom of countable choice. (English) Zbl 1459.03082 Theor. Math. Appl. 6, No. 1, 39-66 (2016). MSC: 03E30 03E25 03A05 × Cite Format Result Cite Review PDF Full Text: arXiv
Barany, Michael J. Fellow travelers and traveling fellows. The intercontinental shaping of modern mathematics in mid-twentieth century Latin America. (English) Zbl 1365.01030 Hist. Stud. Nat. Sci. 46, No. 5, 669-709 (2016). MSC: 01A60 × Cite Format Result Cite Review PDF Full Text: DOI Link
Bhattacharya, Rabi N. Denker, Manfred (ed.); Waymire, Edward C. (ed.) Selected papers. Edited by Manfred Denker and Edward C. Waymire. (English) Zbl 1378.60010 Contemporary Mathematicians. Basel: Birkhäuser/Springer (ISBN 978-3-319-30188-4/hbk; 978-3-319-30190-7/ebook). xxi, 711 p. (2016). Reviewer: Weiping Li (Stillwater) MSC: 60-03 01A75 01A70 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Berline, Chantal; Grue, Klaus A synthetic axiomatization of map theory. (English) Zbl 1403.03019 Theor. Comput. Sci. 614, 1-62 (2016). MSC: 03B40 03E35 03E70 68Q55 × Cite Format Result Cite Review PDF Full Text: DOI
Figà Talamanca, Alessandro; Pepe, Luigi Carlo Pucci, mathematician and citizen. (English) Zbl 1404.01024 Lett. Mat., Int. Ed. 2, No. 4, 229-235 (2015). MSC: 01A60 01A70 × Cite Format Result Cite Review PDF Full Text: DOI
Parshall, Karen “A new era in the development of our science”: the American mathematical research community, 1920–1950. (English) Zbl 1334.01023 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, 275-308 (2015). Reviewer: Reinhard Siegmund-Schultze (Kristiansand) MSC: 01A60 01A70 01A80 × Cite Format Result Cite Review PDF Full Text: DOI
Bernard, Julien The Barcelona typescripts on Weyl’s problem of space. (Les tapuscrits Barcelonais sur le problème de l’espace de Weyl.) (French. English summary) Zbl 1361.01007 Rev. Hist. Math. 21, No. 1, 151-171 (2015). Reviewer: Scott A. Walter (Nantes) MSC: 01A60 01A74 83-03 11C20 15-03 × Cite Format Result Cite Review PDF Full Text: Link
Movshovitz-Hadar, Nitsa Pairing logical and pedagogical foundations for the theory of positive rational numbers – Henkin’s unfinished work. (English) Zbl 1347.03004 Manzano, María (ed.) et al., The life and work of Leon Henkin. Essays on his contributions. Cham: Birkhäuser/Springer (ISBN 978-3-319-09718-3/pbk; 978-3-319-09719-0/ebook). Studies in Universal Logic, 73-91 (2014). MSC: 03-03 01A60 00A35 × Cite Format Result Cite Review PDF Full Text: DOI
Venturi, Giorgio Foundation of mathematics between theory and practice. (English. French summary) Zbl 1318.03020 Philos. Sci., Paris 18, No. 1, 45-80 (2014). MSC: 03A05 00A30 × Cite Format Result Cite Review PDF
Pacheco, José M. Mobility and migration of Spanish mathematicians during the years around the Spanish Civil War and World War II. (English) Zbl 1302.01025 Sci. Context 27, No. 1, 109-141 (2014). Reviewer: Albert C. Lewis (Austin) MSC: 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Maietti, Maria Emilia; Sambin, Giovanni Why topology in the minimalist foundation must be pointfree. (English) Zbl 1341.03097 Log. Log. Philos. 22, No. 2, 167-199 (2013). MSC: 03G30 03B15 18C50 03B20 03F55 × Cite Format Result Cite Review PDF Full Text: DOI
Greenwood, Ted Superstar of the Sloan Minority Ph.D. program. (English) Zbl 1273.01059 Math. Biosci. Eng. 10, No. 5-6, 1539-1540 (2013). MSC: 01A74 × Cite Format Result Cite Review PDF Full Text: DOI
Kalanov, Temur Z. On rationalization of the foundations of differential calculus. (English) Zbl 1446.03030 Bull. Pure Appl. Sci. E, Math. Stat. 31, No. 1, 1-7 (2012). MSC: 03B30 26A03 26A06 00A30 × Cite Format Result Cite Review PDF
Longo, Giuseppe Theorems as constructive visions. (English) Zbl 1247.97002 Hanna, Gila (ed.) et al., Proof and proving in mathematics education. The 19th ICMI study. Berlin: Springer (ISBN 978-94-007-2128-9/hbk; 978-94-007-2129-6/ebook). New ICMI Study Series 15, 51-66 (2012). MSC: 97A30 97E50 97E40 × Cite Format Result Cite Review PDF Full Text: DOI
Palmgren, Erik Constructivist and structuralist foundations: Bishop’s and Lawvere’s theories of sets. (English) Zbl 1257.03095 Ann. Pure Appl. Logic 163, No. 10, 1384-1399 (2012). Reviewer: Marco Benini (Buccinasco) MSC: 03G30 03B15 18B05 18B25 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Arrigoni, Tatiana; Friedman, Sy-David Foundational implications of the inner model hypothesis. (English) Zbl 1270.03090 Ann. Pure Appl. Logic 163, No. 10, 1360-1366 (2012). MSC: 03E35 03E65 03E45 00A30 × Cite Format Result Cite Review PDF Full Text: DOI
Väänänen, Jouko Second order logic or set theory? (English) Zbl 1252.03024 Bull. Symb. Log. 18, No. 1, 91-121 (2012). MSC: 03B30 03A05 03B15 03C85 03E30 × Cite Format Result Cite Review PDF Full Text: DOI Euclid Link
Maddy, Penelope Set theory as a foundation. (English) Zbl 1317.03002 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, 85-96 (2011). MSC: 03-03 03A05 03E20 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Borga, Marco On some contributions by Alessandro Padoa and Mario Pieri to the foundations of geometry. (Italian. English summary) Zbl 1283.01012 Epistemologia 34, No. 1, 89-113 (2011). Reviewer: Davide Bondoni (Anfo) MSC: 01A55 01A60 51-03 × Cite Format Result Cite Review PDF
Linnebo, Øystein; Pettigrew, Richard Category theory as an autonomous foundation. (English) Zbl 1270.18001 Philos. Math. (3) 19, No. 3, 227-254 (2011). MSC: 18A15 00A30 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Sher, Gila Is logic in the mind or in the world? (English) Zbl 1235.03020 Synthese 181, No. 2, 353-365 (2011). MSC: 03A05 00A30 × Cite Format Result Cite Review PDF Full Text: DOI
Detlefsen, Mic Rigor, re-proof and Bolzano’s critical program. (English) Zbl 1225.03003 Bour, Pierre Edouard (ed.) et al., Construction. Festschrift for Gerhard Heinzmann on the occasion of his 60th birthday. London: College Publications (ISBN 978-1-84890-016-5/pbk). Tributes 14, 171-184 (2010). Reviewer: Davide Bondoni (Anfo) MSC: 03-03 01A55 03A05 × Cite Format Result Cite Review PDF
Tieszen, Richard Poincaré on intuition and arithmetic: une “saine psychologie”? (English) Zbl 1241.03004 Bour, Pierre Edouard (ed.) et al., Construction. Festschrift for Gerhard Heinzmann on the occasion of his 60th birthday. London: College Publications (ISBN 978-1-84890-016-5/pbk). Tributes 14, 97-106 (2010). Reviewer: Italo Simonelli (Westminster, MD) MSC: 03A05 00A30 01A55 01A60 03B30 03F55 × Cite Format Result Cite Review PDF
Coppola, Cristina; Gerla, Giangiacomo; Miranda, Annamaria Point-free foundation of geometry and multivalued logic. (English) Zbl 1194.03019 Notre Dame J. Formal Logic 51, No. 3, 383-405 (2010). Reviewer: Victor V. Pambuccian (Phoenix) MSC: 03B30 03B50 03B52 54E35 × Cite Format Result Cite Review PDF Full Text: DOI
Li, Wenlin A model of making the past service the present and independent innovation — Professor Wu Wen-tsun’s studies in history of mathematics. (Chinese. English summary) Zbl 1212.01004 J. Inn. Mong. Norm. Univ., Nat. Sci. 38, No. 5, 477-482, 490 (2009). MSC: 01A25 01A65 × Cite Format Result Cite Review PDF
Reck, Erich H. Dedekind, structural reasoning, and mathematical understanding. (English) Zbl 1198.00007 Van Kerkhove, Bart (ed.), New perspectives on mathematical practices. Essays in philosophy and history of mathematics. Papers from the 2nd perspectives on mathematical practices conference (PMP2007), Free University of Brussels, Brussels, March 26–28, 2007. Hackensack, NJ: World Scientific (ISBN 978-981-281-222-3/hbk; 978-981-281-223-0/ebook). 150-173 (2009). Reviewer: Angel Francisco Tenorio Villalon (Seville) MSC: 00A30 01A70 03A05 00B25 01-06 01A55 01A60 03-03 03-06 × Cite Format Result Cite Review PDF
Pedroso, Makmiller On three arguments against categorical structuralism. (English) Zbl 1195.03006 Synthese 170, No. 1, 21-31 (2009). Reviewer: Gregor Nickel (Siegen) MSC: 03A05 00A30 18A15 18B05 × Cite Format Result Cite Review PDF Full Text: DOI
Tohmé, Fernando Economic theory and the alternative set theory \(\mathrm{AFA}^-+ \mathrm{AD}+\mathrm{DC}\). (English) Zbl 1168.03040 Log. J. IGPL 17, No. 2, 179-203 (2009). MSC: 03E75 03E70 91B02 × Cite Format Result Cite Review PDF Full Text: DOI Link
Suisky, Dieter Euler as physicist. (English) Zbl 1160.01020 Berlin: Springer (ISBN 978-3-540-74863-2/hbk; 978-3-540-74865-6/ebook). xxiii, 338 p. (2009). Reviewer: Rüdiger Thiele (Halle) MSC: 01A50 83-03 81-03 × Cite Format Result Cite Review PDF Full Text: DOI
Grue, Klaus A gentle introduction to map theory. (English) Zbl 1227.03067 Robering, Klaus (ed.), New approaches to classes and concepts. Based on the workshop “Alternative set theories – Alternatives to set theory”, University of Southern Denmark, June 2, 2006. London: College Publications (ISBN 978-1-904987-85-7/pbk). Studies in Logic (London) 14, 87-110 (2008). MSC: 03E70 × Cite Format Result Cite Review PDF
International mathematical congress dedicated to the 300th anniversary of Leonhard Euler’s birthday, St. Petersburg, Russia, June–July, 2007. Materials. (English) Zbl 1161.01010 St. Petersburg: Leonhard Euler Foundation of Russian Mathematics Support. 71 p. (2007). Reviewer: Grozio Stanilov (Sofia) MSC: 01A50 01A70 00B25 × Cite Format Result Cite Review PDF
Ershov, Yu. L.; Kutateladze, S. S.; Taĭmanov, I. A. Fifty years of the Siberian Division of the Russian Academy of Sciences. (Russian, English) Zbl 1155.01343 Sib. Mat. Zh. 48, No. 3, 483-484 (2007); translation in Sib. Math. J. 48, No. 3, 385-386 (2007). MSC: 01A74 01A60 × Cite Format Result Cite Review PDF Full Text: EuDML EMIS
Sieg, Wilfried Relative consistency and accessible domains. (English) Zbl 1122.03302 Ferreirós, José (ed.) et al., The architecture of modern mathematics. Essays in history and philosophy. Oxford: Oxford University Press (ISBN 0-19-856793-6/hbk). 339-368 (2006). MSC: 03A05 03F25 03-03 01A55 01A60 × Cite Format Result Cite Review PDF
Wiedijk, Freek Is ZF a hack? Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics. (English) Zbl 1114.03007 J. Appl. Log. 4, No. 4, 622-645 (2006). MSC: 03B35 68T15 × Cite Format Result Cite Review PDF Full Text: DOI
Fasol-Boltzmann, Ilse Maria (ed.); Fasol, Gerhard Ludwig (ed.) [Brush, Stephen G.; Fasol, Karl Heinz] Ludwig Boltzmann (1844–1906). On the occasion of the 100th anniversary of his death. (Ludwig Boltzmann (1844–1906). Zum hundertsten Todestag.) (German) Zbl 1113.01023 Berlin: Springer (ISBN 3-211-33140-9/hbk). xii, 196 p. (2006). Reviewer: Roman Duda (Wrocław) MSC: 01A70 01-02 01A55 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Hrbacek, Karel Nonstandard objects in set theory. (English) Zbl 1121.03072 Cutland, Nigel J. (ed.) et al., Nonstandard methods and applications in mathematics. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 1-56881-291-4/hbk; 1-56881-292-2/pbk). Lecture Notes in Logic 25, 80-120 (2006). Reviewer: Kiyoshi Iseki (Osaka) MSC: 03E70 03H05 × Cite Format Result Cite Review PDF
Remmert, Volker R. The German Mathematical Society in the “Third Reich”: subject and party politics. (Die Deutsche Mathematiker-Vereinigung im \`\` Dritten Reich\'\': Fach- und Parteipolitik.) (German) Zbl 1087.01012 Mitt. Dtsch. Math.-Ver. 12, No. 4, 223-245 (2004). Reviewer: Reinhard Siegmund-Schultze (Kristiansand) MSC: 01A60 01A70 01A74 01A80 × Cite Format Result Cite Review PDF Full Text: DOI
Richards, Joan L. The geometrical tradition: mathematics, space, and reason in the nineteenth century. (English) Zbl 1076.01020 Nye, Mary Jo (ed.), The modern physical and mathematical sciences. Cambridge: Cambridge University Press (ISBN 0-521-57199-5/hbk). Camb. Hist. Sci. 5, 449-467 (2003). Reviewer: Karl-Heinz Schlote (Leipzig) MSC: 01A55 51-03 × Cite Format Result Cite Review PDF
Hashagen, Ulf Walther von Dyck (1856–1934). Mathematics, technology and the organization of science at the TH Munich. (Walther von Dyck (1856–1934). Mathematik, Technik und Wissenschaftsorganisation an der TH München.) (German) Zbl 1037.01005 Boethius. Texte und Abhandlungen zur Geschichte der Mathematik und der Naturwissenschaften 47. Stuttgart: Franz Steiner Verlag (ISBN 3-515-08359-6/hbk). xv, 802 S. (2003). Reviewer: Reinhard Siegmund-Schultze (Kristiansand) MSC: 01A55 01-02 01A70 01A60 × Cite Format Result Cite Review PDF
Grattan-Guinness, I. Algebras, projective geometry, mathematical logic, and constructing the world: intersections in the philosophy of mathematics of A. N. Whitehead. (English) Zbl 1046.00003 Hist. Math. 29, No. 4, 427-462 (2002); corrigendum ibid. 30, No. 1, 96 (2003). Reviewer: Michel Weber (Louvain-la-Neuve) MSC: 00A30 01A60 03-03 03A05 01A70 × Cite Format Result Cite Review PDF Full Text: DOI
Corry, Leo David Hilbert and his empiricist philosophy of geometry. (Spanish) Zbl 1058.01007 Bol. Asoc. Mat. Venez. 9, No. 1, 27-43 (2002). Reviewer: Franz Lemmermeyer (Bilkent) MSC: 01A60 00A30 51-03 × Cite Format Result Cite Review PDF Full Text: EuDML
Shell-Gellasch, Amy Mina Rees and the funding of the mathematical sciences. (English) Zbl 1030.01033 Am. Math. Mon. 109, No. 10, 873-889 (2002). Reviewer: Werner H.Schmidt (Greifswald) MSC: 01A70 01A80 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Carson, Cathryn Heisenberg and the framework of science policy. (English) Zbl 1006.01012 Fortschr. Phys. 50, No. 5-7, 432-436 (2002). Reviewer: Reinhard Siegmund-Schultze (Kristiansand) MSC: 01A70 00A79 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Xu, Yibao Chinese-U. S. mathematical relations, 1859-1949. (English) Zbl 1004.01003 Parshall, Karen Hunger (ed.) et al., Mathematics unbound: The evolution of an international mathematical research community, 1800-1945. Based on a three-day international symposium, Charlottesville, VA, USA, May 27-29, 1999. Providence, RI: American Mathematical Society (AMS). Hist. Math., Providence. 23, 287-309 (2002). Reviewer: Reinhard Siegmund-Schultze (Kristiansand) MSC: 01A25 01A60 01A73 × Cite Format Result Cite Review PDF
Knorr, Wilbur R. The impact of modern mathematics on ancient mathematics. (English) Zbl 1029.01001 Rev. Hist. Math. 7, No. 1, 121-135 (2001). MSC: 01A05 00A35 01A85 × Cite Format Result Cite Review PDF
Lombard, Melinda; Vesley, Richard A common axiom set for classical and intuitionistic plane geometry. (English) Zbl 0922.03082 Ann. Pure Appl. Logic 95, No. 1-3, 229-255 (1998). Reviewer: Victor V.Pambuccian (Phoenix) MSC: 03F55 51M05 03F50 03B30 03F60 × Cite Format Result Cite Review PDF Full Text: DOI
Jackson, Allyn The demise of the Young Scholars Program. (English) Zbl 0932.01082 Notices Am. Math. Soc. 45, No. 3, 381-387 (1998). Reviewer: Ülo Lumiste (Tartu) MSC: 01A80 00A35 × Cite Format Result Cite Review PDF Full Text: Link
Knobloch, Eberhard Mathematics at the Berlin Technische Hochschule/Technische Universität. (English) Zbl 0901.01030 Begehr, H. G. W. (ed.) et al., Mathematics in Berlin. Basel: Birkhäuser. 161-167 (1998). Reviewer: R.Siegmund-Schultze (Berlin) MSC: 01A73 01A65 01A60 × Cite Format Result Cite Review PDF
Mancosu, Paolo (ed.) From Brouwer to Hilbert. The debate on the foundations of mathematics in the 1920s. (English) Zbl 0941.01003 New York, NY: Oxford University Press. x, 337 p. (1998). Reviewer: M.Toepell (München) MSC: 01A05 01A60 01A72 01A75 01-02 × Cite Format Result Cite Review PDF
Pourciau, Bruce The preliminary mathematical lemmas of Newton’s Principia. (English) Zbl 0899.01007 Arch. Hist. Exact Sci. 52, No. 3, 279-295 (1998). Reviewer: W.Kaunzner (Regensburg) MSC: 01A45 26A06 × Cite Format Result Cite Review PDF Full Text: DOI
Arend, Gerhard The mechanics of Niccolò Tartaglia in the context of the contemporary cognition and science theory. (Die Mechanik des Niccolò Tartaglia im Kontext der zeitgenössischen Erkenntnis- und Wissenschaftstheorie.) (German) Zbl 0897.01007 Algorismus. 24. München: Institut für Geschichte der Naturwissenschaften. x, 596 S. (1998). Reviewer: W.Kaunzner (Regensburg) MSC: 01A40 01A45 01-02 × Cite Format Result Cite Review PDF
Makkai, M. Towards a categorical foundation of mathematics. (English) Zbl 0896.03051 Makowsky, Johann A. (ed.) et al., Logic colloquium ’95. Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Haifa, Israel, August 9–18, 1995. Berlin: Springer. Lect. Notes Log. 11, 153-190 (1998). Reviewer: P.T.Johnstone (Cambridge) MSC: 03G30 18A15 03B15 03A05 18D05 × Cite Format Result Cite Review PDF
Mustoe, Leslie R.; Barry, Michael D. J. Mathematics in engineering and science. (English) Zbl 0909.00002 Chichester: John Wiley & Sons. xii, 756 p. (1998). Reviewer: M.Höft (Dearborn) MSC: 00A05 00A71 × Cite Format Result Cite Review PDF
Majer, Ulrich Husserl and Hilbert on completeness. A neglected chapter in early twentieth century foundations of mathematics. (English) Zbl 0936.01017 Synthese 110, No. 1, 37-56 (1997). Reviewer: J.J.Burckhardt (Zürich) MSC: 01A60 03-03 00A30 × Cite Format Result Cite Review PDF Full Text: DOI
Joven, Fernando The infinitesimals as useful fictions for Leibniz: The controversy in the Paris Academy of Sciences. (Spanish. English summary) Zbl 0926.01002 Theoria, Segunda Epoca 12, No. 29, 257-279 (1997). Reviewer: U.D’Ambrosio (São Paulo) MSC: 01A50 01A45 × Cite Format Result Cite Review PDF
Zhang, Dongmo; Shi, Qingsheng; Jiang, Ninggen; Zhu, Wujia Natural number system in MS. (Chinese. English summary) Zbl 0908.03046 J. Nanjing Univ. Aeronaut. Astronaut. 29, No. 2, 179-184 (1997). MSC: 03E72 03B52 03F30 03B20 × Cite Format Result Cite Review PDF
Sazonov, Vladimir Yu. On bounded set theory. (English) Zbl 0903.03031 Dalla Chiara, Maria Luisa (ed.) et al., Logic and scientific methods. Volume one of the proceedings of the tenth international congress of logic, methodology and philosophy of science, Florence, Italy, August 19–25, 1995. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 259, 85-103 (1997). Reviewer: M.Tetruašvili (Tbilisi) MSC: 03E70 03D15 03F99 03D70 × Cite Format Result Cite Review PDF
Kanovei, Vladimir; Reeken, Michael Mathematics in a nonstandard world. I. (English) Zbl 0887.03044 Math. Jap. 45, No. 2, 369-408 (1997). Reviewer: K.Iséki (Osaka) MSC: 03H99 03E70 × Cite Format Result Cite Review PDF
Stelzner, Werner Gottlob Frege: Jena and the birth of modern logic. (Gottlob Frege: Jena und die Geburt der modernen Logik.) (German) Zbl 0908.01013 Jena: Verein zur Regionalförderung von Forschung, Innovation und Technologie für die Strukturentwicklung. 95 S. (1996). Reviewer: V.Peckhaus (Erlangen) MSC: 01A70 01A73 01A60 00A30 01A55 03-03 × Cite Format Result Cite Review PDF
da Costa, Newton C. A.; Doria, Francisco A. On Jaśkowski’s discussive logics. (English) Zbl 0818.03012 Stud. Log. 54, No. 1, 33-60 (1995). Reviewer: R.Wallace Garden (Thames) MSC: 03B53 03B45 03B80 03B30 × Cite Format Result Cite Review PDF Full Text: DOI
Singh, D.; Singh, S. K. A survey of nonstandard set theory. (English) Zbl 0802.03035 Mod. Log. 4, No. 3, 237-255 (1994). MSC: 03E70 26E35 03H05 03-02 × Cite Format Result Cite Review PDF
Alcantéra, Jean-Pascal The Leibnizian geometrical characteristic: work of differentiation and fundamental relations. (La caractéristique géométrique leibnizienne: Travail du discernement et relations fondamentales.) (French) Zbl 0812.01007 Rev. Hist. Sci. 46, No. 4, 407-437 (1993). Reviewer: C.J.Scriba (Hamburg) MSC: 01A45 51-03 54-03 × Cite Format Result Cite Review PDF
Farmer, William M. A simple type theory with partial functions and subtypes. (English) Zbl 0837.03003 Ann. Pure Appl. Logic 64, No. 3, 211-240 (1993). MSC: 03B15 03B35 × Cite Format Result Cite Review PDF Full Text: DOI
Dummett, Michael Introductory remarks. (English) Zbl 0878.03004 Czermak, Johannes (ed.), Philosophy of mathematics. Proceedings of the 15th international Wittgenstein-Symposium, August 16-23, 1992, Kirchberg am Wechsel, Austria. Part I. Wien: Hölder-Pichler-Tempsky. Schriftenreihe der Wittgenstein-Gesellschaft. 20/I, 69-76 (1993). Reviewer: V.Peckhaus (Erlangen) MSC: 03A05 03-03 01A55 00A30 × Cite Format Result Cite Review PDF
Fernando, T. A primitive recursive set theory and AFA: On the logical complexity of the largest bisimulation. (English) Zbl 0783.03031 Börger, Egon (ed.) et al., Computer science logic. 5th workshop, CSL ’91, Berne, Switzerland, October 7-11, 1991. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 626, 96-110 (1992). Reviewer: N.Curteanu (Iaşi) MSC: 03F30 68Q10 68Q55 03C65 × Cite Format Result Cite Review PDF
Mac Lane, Saunders Is Mathias an ontologist? (English) Zbl 0786.03001 Set theory of the continuum, Pap. Math. Sci. Res. Inst. Workshop, Berkeley/CA (USA) 1989, Math. Sci. Res. Inst. Publ. 26, 119-122 (1992). Reviewer: S.Gottwald (Leipzig) MSC: 03A05 00A30 03E99 × Cite Format Result Cite Review PDF
Mathias, Adrian R. D. What is Mac Lane missing? (English) Zbl 0786.03002 Set theory of the continuum, Pap. Math. Sci. Res. Inst. Workshop, Berkeley/CA (USA) 1989, Math. Sci. Res. Inst. Publ. 26, 113-118 (1992). Reviewer: S.Gottwald (Leipzig) MSC: 03A05 03E99 00A30 × Cite Format Result Cite Review PDF
Cheung, Y. K. Selected papers of Y. K. Cheung. (English) Zbl 0890.01022 Beijing: Science Press. xi, 669 p. (1991). Reviewer: P.K.Majumdar (Pargansas) MSC: 01A75 01A60 × Cite Format Result Cite Review PDF
Grabiner, Judith V. The calculus as algebra. J.-L. Lagrange, 1736–1813. (English) Zbl 0719.01009 Harvard Dissertations in the History of Science. New York etc.: Garland Publishing, Inc. 247 p. $ 55.00 (1990). Reviewer: D.Ştefănescu (Bucureşti) MSC: 01A50 26-03 01A55 × Cite Format Result Cite Review PDF
Ullrich, P. Wie man beim Weierstraßschen Aufbau der Funktionentheorie das Cauchysche Integral vermeidet. (German) Zbl 0707.30002 Jahresber. Dtsch. Math.-Ver. 92, No. 3, 89-110 (1990). Reviewer: D.Gaier MSC: 30-03 30B10 30-01 01A55 01A72 × Cite Format Result Cite Review PDF
Sieg, Wilfried Relative consistency and accessible domains. (English) Zbl 0757.03004 Synthese 84, No. 2, 259-297 (1990). MSC: 03A05 03F25 01A55 03-03 × Cite Format Result Cite Review PDF
Price, G. Baley The mathematical scene, 1940-1965. (English) Zbl 0665.01017 A century of mathematics in America, Pt. I, Hist. Math. 1, 379-404 (1989). Reviewer: K.Strubecker MSC: 01A80 01A60 × Cite Format Result Cite Review PDF
Cohen, Leon W. Recollections of a mathematical innocent in Washington. (English) Zbl 0664.01019 A century of mathematics in America, Pt. II, Hist. Math. 2, 449-453 (1989). Reviewer: A.S.Saidan MSC: 01A80 01A60 × Cite Format Result Cite Review PDF
Zahn, Peter Supplements to “A predicative approach to nonstandard mathematics”. (English) Zbl 0654.03055 Z. Math. Logik Grundlagen Math. 35, No. 3, 269-271 (1989). Reviewer: P.Zahn MSC: 03H05 03F99 × Cite Format Result Cite Review PDF Full Text: DOI
Aczel, Peter [Barwise, Jon] Non-well-founded sets. Foreword by Jon Barwise. (English) Zbl 0668.04001 CSLI Lecture Notes, 14. Stanford, CA: Center for the Study of Language and Information. xx, 137 p. (1988). Reviewer: P.Komjáth MSC: 03-02 03E99 01A60 × Cite Format Result Cite Review PDF
Sazonov, V. Yu. Bounded set theory, polynomial computability and \(\Delta\)-programming. (Russian) Zbl 0675.03038 Vychisl. Sist. 122, 110-132 (1987). Reviewer: V.Yu.Sazonov MSC: 03F99 03D15 03B70 03E70 × Cite Format Result Cite Review PDF
Birkhoff, Garrett; Bennett, Mary Katherine Hilbert’s “Grundlagen der Geometrie”. (English) Zbl 0664.51001 Rend. Circ. Mat. Palermo, II. Ser. 36, No. 3, 343-389 (1987). Reviewer: H.Schaal MSC: 51-02 51-03 01A55 01A60 01A72 51M05 51M10 × Cite Format Result Cite Review PDF Full Text: DOI
Turchin, Valentin F. A construction interpretation of the full set theory. (English) Zbl 0634.03009 J. Symb. Log. 52, 172-201 (1987). Reviewer: P.L.Ferrari MSC: 03B30 03E35 03F25 03C90 × Cite Format Result Cite Review PDF Full Text: DOI
Mac Lane, Saunders Mathematics, form and function. (English) Zbl 0666.00019 New York etc.: Springer-Verlag. XI, 476 p. DM 128.00 (1986). Reviewer: A.Bothner MSC: 00A30 00-01 00A05 00A06 03A05 × Cite Format Result Cite Review PDF
Chela, Raimundo Mathematics and logic. (Matemática y lógica). (Spanish) Zbl 0655.03001 Caracas, Venezuela: Fondo Editorial Acta Científica Venezolana. 58 p. (1986). Reviewer: A.R.Raggio MSC: 03-01 × Cite Format Result Cite Review PDF
Lorenzen, Paul Die Theoriefähigkeit des Kontinuums. (German) Zbl 0632.03049 Jahrb. Überblicke Math. 1986, Math. Surv. 19, 147-153 (1986). Reviewer: B.van Rootselaar MSC: 03F65 51N99 51-02 03B30 × Cite Format Result Cite Review PDF
Howard, William The use of ordinals in the constructive foundations of mathematics. (English) Zbl 0623.03052 Logic, methodology and philosophy of science VII, Proc. 7th Int. Congr., Salzburg 1983, Stud. Logic Found. Math. 114, 83-94 (1986). Reviewer: H.Pfeiffer MSC: 03F15 03F50 03F35 03F10 03F05 × Cite Format Result Cite Review PDF
Nelson, Edward Predicative arithmetic. (English) Zbl 0617.03002 Mathematical Notes, 32. Princeton, New Jersey: Princeton University Press. VIII, 189 p. $ 21.00 (1986). Reviewer: W.A.J.Luxemburg MSC: 03-02 03H15 03D70 × Cite Format Result Cite Review PDF
Daston, Lorraine J. The physicalist tradition in early nineteenth century French geometry. (English) Zbl 0601.01016 Stud. Hist. Philos. Sci. 17, 269-295 (1986). Reviewer: P.K.Majumdar MSC: 01A55 00A30 × Cite Format Result Cite Review PDF Full Text: DOI
Sambin, Giovanni Towards the roots of logic. (Italian) Zbl 0595.03001 Atti degli incontri di logica matematica, Vol. 2, Siena/Italia 1983/84, 377-386 (1985). Reviewer: A.Ursini MSC: 03A05 00A30 × Cite Format Result Cite Review PDF
Thiel, Christian Folgen der Emigration deutscher und österreichischer Wissenschaftstheoretiker und Logiker zwischen 1933 und 1945. (Conseqences of the emigration of German and Austrian philosophers of science and logicians from 1933 to 1945). (German) Zbl 0589.01017 Ber. Wissenschaftsgesch. 7, 227-256 (1984). Reviewer: T.Chu MSC: 01A80 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Fraser, Craig J. L. Lagrange’s early contributions to the principles and methods of mechanics. (English) Zbl 0526.01017 Arch. Hist. Exact Sci. 28, 197-241 (1983). MSC: 01A50 70-03 × Cite Format Result Cite Review PDF Full Text: DOI Backlinks: MO