reading_list.bib
@article{lang:rem-hist-phil-math,
author = {Robert L. Long},
title = {Remarks on the History and Philosophy of Mathematics},
journal = {The American Mathematical Monthly},
volume = {93},
number = {8},
pages = {609-619},
year = {1986},
publisher = {Taylor & Francis},
doi = {10.1080/00029890.1986.11971900},
url = {
https://doi.org/10.1080/00029890.1986.11971900
},
abstract = {A very good stylish introduction to the pressing issues in the philosophy of mathematics, the article puts forward the view that proofs are primarily forms of mathematical discourse. It also gives a compelling critique of distinction between pure and applied mathematics by challenging the supremacy of "the tool view of mathematics" in our conceptualisation of role of mathematics. It feels to me that there is a clear influence of Heidegerrian realism and Foucucault's theory of discourse upon this article.}
}
@article{lm:cat-in-con,
author = {Landry, E. and J.P. Marquis},
title = {Categories in context: Historical, foundational, and philosophical},
journal = {Philosophia Mathematica},
volume = {13},
number = {3},
pages = {1--43},
year = {2005},
publisher = {},
doi = {},
url = {},
abstract = {}
}
@article{shap:fnd-wo-fndlism,
author = {Stewart Shapiro},
title = {Foundations without Foundationalism : A Case for Second-Order
Logic},
journal = {},
volume = {},
number = {},
pages = {},
year = {1991},
publisher = {Oxford University Press},
doi = {},
url = {},
abstract = {}
}
@article{car:aufbau,
author = {Rudolf Carnap},
title = {Der Logische Aufbau der Welt},
volume = {},
number = {},
pages = {},
year = {1928},
publisher = {Berlin: Weltkreis},
doi = {},
url = {},
abstract = {}
}
@article{hell:cat-frm-str,
author = {Geoffrey Hellman},
title = {Does category theory provide a framework for mathematical
structuralism?},
journal = {Philosophia Mathematica},
volume = {11},
number = {3},
pages = {129--157},
year = {2003},
publisher = {},
doi = {},
url = {},
abstract = {}
}
@article{etch:log-consq,
author = {John Etchemendy},
title = {The Concept of Logical Consequence},
journal = {},
volume = {},
number = {},
pages = {},
year = {1990},
publisher = {Harvard University
Press},
doi = {},
url = {},
abstract = {}
}
@article{ben:what-num-not,
author = {Paul Benacerraf},
title = {What numbers could not be},
journal = {Philosophical Review},
volume = {74},
number = {},
pages = {47--73},
year = {1965},
publisher = {},
doi = {},
url = {},
abstract = {}
}
@article{awo:str-maths-logic,
author = {Steve Awodey},
title = {Structure in mathematics and logic: A categorical perspective},
journal = {Philosophia Mathematica},
volume = {4},
number = {3},
pages = {209--237},
year = {1996},
publisher = {},
doi = {},
url = {},
abstract = {}
}
@article{awo:ans-hell,
author = {Steve Awodey},
title = {An answer to {G}. {H}ellman’s question “{D}oes category theory provide
a framework for mathematical structuralism?”},
journal = {Philosophia Mathematica},
volume = {12},
number = {3},
pages = {54--64},
year = {2004},
publisher = {},
doi = {},
url = {},
abstract = {}
}
@article{awo:str-inv-univ,
author = {Steve Awodey},
title = {Structuralism, invariance, and univalence},
journal = {Philosophia Mathematica},
volume = {22},
number = {3},
pages = {1--11},
year = {2014},
publisher = {},
doi = {},
url = {},
abstract = {}
}
@incollection{sep-weyl,
author = {Bell, John L. and Korté, Herbert},
title = {Hermann Weyl},
booktitle = {The Stanford Encyclopedia of Philosophy},
editor = {Edward N. Zalta},
howpublished = {\url{https://plato.stanford.edu/archives/win2016/entries/weyl/}},
year = {2016},
edition = {Winter 2016},
publisher = {Metaphysics Research Lab, Stanford University}
}
@article{hilb:grund-geom,
author = {David Hilbert},
title = {Über die Grundlagen der Geometrie},
journal = {Math. Ann.},
volume = {56},
number = {},
pages = {381--422},
year = {1902},
publisher = {},
doi = {},
url = {},
abstract = {}
}
@article{vavdt:phen-int-maths,
author = {Van Atten, M. and D. Van Dalen and R. Tieszen},
title = {The phenomenology and mathematics of the intuitive continuum},
journal = {Philosophia Mathematica},
volume = {10},
number = {},
pages = {203--226},
year = {2002},
publisher = {},
doi = {},
url = {},
abstract = {}
}
@article{weyl:mind-nature,
author = {Hermann Weyl},
title = {Mind and Nature: Selected Writings on Philosophy, Mathematics and Physics},
journal = {},
volume = {},
number = {},
pages = {},
year = {2002},
publisher = {Princeton University Press},
doi = {},
url = {},
abstract = {},
note = {Edited and with an introduction by Peter Pesic}
}
@article{weyl:das-kontinumm,
author = {Hermann Weyl},
title = {Das Kontinuum},
journal = {},
volume = {},
number = {},
pages = {},
year = {1932},
publisher = {Veit & Co., Leipzig, Reprinted 1987. 2 edn, de Gryter & Co., Berlin},
doi = {},
url = {},
abstract = {},
note = {English translation: The Continuum: A Critical Examination of the Foundation of Analysis,
translated by Stephen Pollard and Thomas Bole, Thomas Jefferson University Press: 1987.
Corrected re-publication, Dover 1994.}
}
@article{fef:das-kontinumm-70-years,
author = {Solomon Feferman},
title = {Weyl vindicated: Das Kontinuum 70 years later},
journal = {in Temi e prospettive della logica e della filosofia della scienza contemporanee, I, Bologna, 59–93 - Reprinted in Feferman, S. In the Light of Logic, Oxford University Press, New York},
volume = {},
number = {},
pages = {249--283},
year = {1988},
publisher = {},
doi = {},
url = {},
abstract = {},
note = {}
}
@article{avigad:nt-ea,
author = {Jeremy Avigad},
title = {Number Theory and Elementary Arithmetic},
journal = {Philosophia mathematica},
volume = {3},
number = {11},
pages = {257--284},
year = {2003},
publisher = {},
doi = {},
url = {https://www.andrew.cmu.edu/user/avigad/Papers/elementary.pdf},
abstract = {},
note = {}
}
@article{bro:maths-sci,
author = {Felix E. Browder},
title = {Mathematics and the Sciences},
journal = {History and Philosophy of Modern Mathematics, Minnesota Studies in the Philosophy of Science},
volume = {xi},
number = {},
pages = {},
year = {1988},
publisher = {},
doi = {},
url = {http://mcps.umn.edu/philosophy/11_12Browder.pdf},
abstract = {},
note = {}
}
@article{cartier:mad-day's-work,
author = {Pierre Cartier},
title = {A mad day’s work: from Grothendieck to Connes and Kontsevich. The evolution of concepts of space and symmetry.},
journal = {Bulletin of the AMS},
volume = {38},
number = {4},
pages = {389--408},
year = {2001},
publisher = {},
doi = {},
url = {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.79.6502&rep=rep1&type=pdf},
abstract = {},
note = {}
}
@article{gro:resume,
author = {Alexander Grothendieck},
title = {Récoltes et semailles: Réflexions et témoignages sur un passé de mathématicien. 1985--86},
journal = {},
volume = {},
number = {},
pages = {},
year = {1985},
publisher = {},
doi = {},
url = {https://www.quarante-deux.org/archives/klein/prefaces/Romans_1965-1969/Recoltes_et_semailles.pdf},
abstract = {},
note = {}
}
@article{mcl:rising-sea,
author = {Colin McLarty},
title = {The Rising Sea: Grothendieck on simplicity and generality I},
journal = {},
volume = {},
number = {},
pages = {},
year = {2003},
publisher = {},
doi = {},
url = {http://www.landsburg.com/grothendieck/mclarty1.pdf},
abstract = {},
note = {}
}
@article{mr:hist-cat-log,
author = {Jean-Pierre Marquis and Gonzalo Reyes},
title = {The History of Categorical Logic
1963–1977},
journal = {},
volume = {},
number = {},
pages = {},
year = {2011},
publisher = {In Dov Gabbay, Akihiro Kanamori \& John Woods (eds.), Handbook of the history of logic.},
doi = {},
url = {https://www.webdepot.umontreal.ca/Usagers/marquisj/MonDepotPublic/HistofCatLog.pdf},
abstract = {},
note = {}
}
@article{hs:logos,
author = {Howard Stein},
title = {Logos, Logic, and Logistike},
journal = {Phillip Kitcher, eds., History and Philosophy of Modern Mathematics.},
volume = {},
number = {},
pages = {238--259},
year = {1988},
publisher = {In Dov Gabbay, Akihiro Kanamori \& John Woods (eds.), Handbook of the history of logic.},
doi = {},
url = {http://mcps.umn.edu/philosophy/11_10Stein.pdf},
abstract = {},
note = {}
}
@article{gfarb:poincare,
author = {Warren Goldfarb},
title = {Poincare Against the Logicists},
journal = {History and philosophy of modern mathematics, edited by William Aspray and Philip Kitcher, Minnesota studies in the philosophy of science},
volume = {11},
number = {},
pages = {61--81},
year = {1988},
publisher = {University of Minnesota Press, Minneapolis},
doi = {},
url = {http://mcps.umn.edu/philosophy/11_2Goldfarb.pdf},
abstract = {},
note = {}
}
@article{maz:equality,
author = {Barry Mazur},
title = {When is One Thing Equal to Some Other Thing?},
journal = {In B. Gold and R. A. Simons, editors, Proof and other Dilemmas: Mathematics and
Philosophy},
volume = {},
number = {},
pages = {221--241},
year = {2008},
publisher = {The Mathematical Association of America},
doi = {},
url = {http://www.math.harvard.edu/~mazur/preprints/when_is_one.pdf},
abstract = {},
note = {}
}
@article{edn:nat-phys-wld,
author = {Arthur S. Eddington},
title = {The nature of physical world},
journal = {},
volume = {},
number = {},
pages = {},
year = {1927},
publisher = {},
doi = {},
url = {http://henry.pha.jhu.edu/Eddington.2008.pdf},
abstract = {},
note = {Gifford's lecture: https://www.giffordlectures.org/lectures/nature-physical-world}
}
This file was generated by bibtex2html 1.98.