Fall 2019:
Visitor, School of Historical Studies, Institute for Advanced Study
(Princeton), September 1-November 21.
Visitor, Einstein Insitute of Mathematics, Hebrew University, November 23-January 5.
Keynote, History and Philosophy of Computing (HaPoC-6),
Turing Centre, ETH, October 27-29, 2021.
"Entanglements, Instabilities and Invariance: the peculiarities of the formal/informal border". Conference "Perspectives on Mathematical Practices", January 28-30, 2021
"Kreisel on Informal Rigor", PMA session at the Pacific APA, April 2021
Selected recent talks
Keynote,
31st Novembertagung On the History and Philosophy of Mathematics.\
Humboldt-Universität zu Berlin, November 2020.
Author meets critics session on John Baldwin's
Model Theory and the Philosophy of Mathematical Practice, 2020
Eastern APA, Jan 8, 2020, Philadelphia.
"On the entanglement of second order
logic with set theory and conversely."\
Workshop in set theory and philosophy of mathematics,
Universite Paris Diderot, February 7-8 2020.
Plenary speaker, 2020 Annual Meeting of the ASL, March 25-28, 2020,
UC Irvine.
Conference on The ‘End’ of Philosophy of Mathematics?,
at Princeton University, 3-5 April 2020.
Author meets critics session,
CLMPS Prague,
August 10, 2019.
Invited talk at conference The Joint Quest for Absolute
Infinity and the Continuum - From Cantor to Woodin, Turku University, May 6-10, 2019.
Speaker, Invited Symposium: History and Philosophy of Logic,
2019 Eastern Division Meeting of the APA, New York
Lecture, Summer School, 100 Years of Model Theory,
University of Jena, September 3-7, 2018
Plenary, 11th Annual Cambridge Graduate
Conference on the Philosophy of Mathematics
and Logic, January 20-21, 2018.
Lectures on the philosophy of mathematics, Summer
School on Mathematical Philosophy for Female Students, Munich
Center for Mathematical Philosophy, 23-29 July, 2017
"Gödel’s Reception of Turing’s
Model of Computability: the 'Shift of Perception' in 1934", CiE 2017, History and
Philosophy of Computing Special Session, Turku, June, 2017.
"Tarski and 'the mathematical'",
Model Theory: Philosophy, Mathematics and Language, Munich, January, 2017.
"On Gödel's reception of Gödel's Incompleteness Theorems."
Images of Mathematics lecture series, ETH, Zurich, 5-6 December, 2016
Images of Mathematics lecture series, ETH, Zurich, 5-6 December,
2016
"Squeezing Arguments and Strong Logics", Working Group in the History
and Philosophy of Logic, Mathematics, and Science (HPLMS) UC Berkeley,
November 16th, 2016
Set Theoretic Pluralism symposium, Aberdeen July 12-18, 2016
Philosophy of Mathematics Seminar, University of Oxford, November 30, 2015.
Entanglement and Formalism Freeness: Templates from Logic and Set Theory, Congress of Logic, Methodology and Philosophy of Science, Helsinki, August, 2015.
Keynote, Fourth Annual Conference of the Society for the Study of the
History of Analytical Philosophy, Trinity College Dublin, 4-6 June 2015.
Selected publications (in chronological order)
On regular reduced products, with Saharon Shelah,
Journal of Symbolic Logic, Volume 67, Number 3, Sept. 2002.
(dvi,
ps,
pdf).
History of Logic (vols. 1, 2), editors Juliette Kennedy and
Gabriel Sandu, Synthese, volume 137 (1-2), 2003.
On embedding models of arithmetic into reduced powers,
8th Workshop on Logic, Language, Informations and Computation---WoLLIC'2001
(Brasilia).
Mat. Contemp. 24 (2003), 91--115.
On embedding models of arithmetic of
cardinality aleph_1 into reduced powers, with Saharon Shelah,
Fundamenta Mathematicae, Volume 176, Issue 1, 2003. (dvi,
ps,
pdf).
On the Philosophical Development of Kurt Gödel, with Mark van Atten,
Bulletin of Symbolic Logic, Volume 9, Issue 4, December 2003. pages 425-476.
(pdf)
More on regular reduced products, with Saharon Shelah,
Journal of Symbolic Logic, Volume 69, Issue 4, December 2004.
(dvi,
ps,
pdf).
Gödel's Modernism: On Set-Theoretic Incompleteness, with Mark van Atten,
Graduate Faculty Philosophy Journal, volume 25, number 2, 289--349, 2004
(pdf).
Incompleteness - A Book Review,
Notices of the American Mathematical Society April 2006,
(pdf).
On Applications of Transfer Principles in Model Theory, with Jouko Väänänen,
in Set Theory: Recent Trends and Applications (A. Andretta ed.),
Quaderni di Matematica, vol 17, 2007, 111-136.
Review of “Kurt Gödel: Das Album”,
by Sigmund, Dawson and Mühlberger,The Mathematical Intelligencer vol. 29, issue 3, pp. 73-75, 2007.
Regular Ultrafilters and Finite Square Principles, with Saharon Shelah, and Jouko Väänänen,
(pdf),
Journal of Symbolic Logic 73(2), 2008, 817-823.
On Gödel's Logic, with Mark van Atten,
The Handbook of the History of Logic, volume 5, Elsevier, 2009, 449-509.
Gödel's Modernism: On Set Theoretic Incompleteness, Revisited, with Mark van Atten,
in Logicism, Intuitionism and Formalism: What has become of them?,
edited by Sten Lindström, E. Palmgren, K. Segerberg, and V. Stoltenberg-Hansen, Springer, 2009, 303-356.
Gödel's Thesis: An Appreciation, in Horizons of Truth, Proceedings of the Gödel Centenary, Cambridge University Press, 2011.
Hilbert's Twenty-fourth Problem: On the Aesthetic of Simplicity in Mathematics.Arkadia Gazette, Helsinki, January 2012.
Set Theory, Classical and Constructive,Annals of Pure and Applied Logic, volume 163, issue 10, pages 1359-1446 (October 2012).
Guest editor with Jaap van Oosten.
Invited papers from the meeting of the same name in Amsterdam, May 6-7, 2010.
On Formalism Freeness:
Implementing Gödel's 1946 Princeton Bicentennial Lecture,
Bulletin of Symbolic Logic, volume 19, issue 3,
September 2013, 351-393. MathSciNet review.
Review of After Gödel by Richard Tieszen, Notre Dame Philosophical Reviews, Oct 2013.
Review of Defending the Axioms: On the Philosophical Foundations of Set Theory by Penelope Maddy, Bulletin of Symbolic Logic, March 2014.
Interpreting Gödel: Critical Essays, edited volume, Cambridge University Press, 2014.
Gödel's 1946 Princeton Bicentennial Lecture: An Appreciation, in Interpreting Gödel: Critical Essays, Cambridge University Press, 2014.
On the "Logic without Borders" Point
of View,
Logic without Borders: Essays on Set
Theory, Model Theory, Philosophical Logic and
Philosophy of Mathematics,
edited by Åsa Hirvonen,
Juha Kontinen, Roman Kossak and Andres Villaveces,
de Gruyter, 2015, 1-14.
Aesthetics and the Dream of Objectivity: Notes from Set Theory, with J. Väänänen, for the proceedings of the 2011 conference Mathematical Evidence, University of Oslo. Inquiry, 58(1), 2015, 83-98.
Regular Ultraproducts at Regular Cardinals,
with S. Shelah, and J. Väänänen,
Notre Dame Journal of Formal Logic, 56:3, 2015.
Turing, Gödel and the "Bright Abyss", in: Philosophical Explorations of the Legacy of Alan Turing (edited by J. Floyd and A. Bokulich), Proceedings of the conference Turing 100 at Boston University, November 2012, Springer, 2017.
Three Moments in the Life of the Mathematical Diagram: Notes on the Syntax/Semantics Distinction,
for the volume Mathematical Concepts edited by L. de Freitas, N. Sinclair and A. Coles. Cambridge University Press, 2017.
Squeezing Arguments and Strong Logics,
with J. Väänänen, Proceedings of LMPS 2016, Hannes Leitgeb, Ilkka Niiniluoto, Elliott Sober, and Paäivi Seppälä, editors, 2017.
Gödel’s Reception of Turing’s Model of Computability: the “Shift of Perception” in 1934, Proceedings of CiE 2017, Unveiling Dynamics and
Complexity,
13th Conference on Computability in Europe,
CiE 2017, Turku, Finland, June 12 – 16, 2017.
Jarkko Kari, Florin Manea, Ion Petre (eds.)
Lecture Notes in Computer Science, vol. 10307 (2017).
The System that Destroys Itself,
or Greenberg’s Modernism & the Liar’s Paradox, with Michael Maizels, Crisis and Critique, Vol 5(1), 2018.
Inner Models from Extended Logics: Part 1,
with M. Magidor and J. Väänänen. Journal of Mathematical Logic (to appear). Available in arXiv.
Inner Models from Extended Logics: Part 2, with M. Magidor and J. Väänänen. Submitted. Available in arXiv.
Logicality and model classes, with J. Väänänen. Submitted.
Works in progress
Penelope Maddy on the philosophy of mathematics, co-editor (with Sophia Arbeiter) of essay collection, Springer series Outstanding Contributions to Logic
Gödel's Theorems, Cambridge Elements Series.
Mathematical Logic and the Liar Paradox, with J. Väänänen. For the volume The Liar Paradox, Classic Philosophical Arguments series of Cambridge University Press, Lorenzo Rossi, editor.
On disagreement in set theory. For
a special issue of Axiomathes on
disagreement in mathematics.
Guest Editors: Colin J. Rittberg and Deniz
Sarikaya.
Aesthetics and Mathematics, Cambridge Elements series.
Publications - Art
Logic Unfettered: European and American Abstraction Now,
Museumbrief, Mondrian House Publications, 2007.
Fred Sandback, Taide & Design, 11 (February 2011), 40-47.
Interview with Andy Goldsworthy, Taide & Design, 13 (July
2011), 47-53.
Andy Goldsworthy, Pori Art Museum Publications, July 2011, pp.
18-72.
Kant, Co-production, Actuality and Pedestrian Space: On the
Philosophical Writings of Fred Sandback,
for the volume Simplicity: Ideals of Practice in Mathematics and the Arts,
Roman Kossak and Philip Ording, eds., Springer, 2017.
On the Art of Gabriel de la Mora, catalogue essay, Perrotin Gallery, New
York, March 2019.
Exhibition: Fred Sandback at Pori.Pori Art Museum,
Pori, Finland. February 4 - May 29, 2011. Review in Helsingin Sanomat 24.2.2011 Section C3, and in ARTFORUM
Exhibition: Andy Goldsworthy.Pori Art Museum,
Pori, Finland. June 10 - September 4, 2011. Review in Helsingin Sanomat 11.6.2011
The Wor(l)d, with artists Maria Clara Cortes and Taina Riikonen, curated by Juliette Kennedy and Merja Polvinen, Helsinki Collegium for Advanced Studies, 18 May – 19 June, 2015.