No photo of Juliette Kennedy

Juliette Kennedy

Yliopistonlehtori

  • PL 68 (Pietari Kalmin katu 5)

    00014

    Finland

20022020

Research output per year

If you made any changes in Pure these will be visible here soon.

Publications

Filter
Chapter
2017

Gödel’s Reception of Turing’s Model of Computability: the “Shift of Perception” in 1934

Kennedy, J., 2017, Unveiling Dynamics and Complexity: 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings. Kari, J., Manea, F. & Petre, I. (eds.). Springer , p. 42-49 8 p. (Lecture Notes in Computer Science; vol. 10307).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Inner Models from Extended Logics

Kennedy, J., Magidor, M. & Väänänen, J., 2017, Isaac Newton Institute Preprint Series. Cambridge: Isaac Newton Institute for Mathematical Sciences, 75 p. (Preprint Series).

Research output: Chapter in Book/Report/Conference proceedingChapterScientific

Notes on the Syntax and Semantics Distinction, or Three Moments in the Life of the Mathematical Drawing

Kennedy, J., 22 Jun 2017, WHAT IS A MATHEMATICAL CONCEPT?. de Freitas, E., Sinclair, N. & Coles, A. (eds.). THE PITT BUILDING, TRUMPINGTON ST, CAMBRIDGE CB2 1RP, CAMBS, ENGLAND: Cambridge University Press, p. 55-75 21 p.

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Three Moments in the Life of the Mathematical Diagram: Notes on the Syntax and Semantics Distinction

Kennedy, J. C., 2017, What is a Mathematical Concept?. de Freitas, L., Sinclair, N. & Coles, A. (eds.). Cambridge: Cambridge University Press, p. 55-75 21 p.

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Open Access
File

Turing, Gödel and the Bright abyss

Kennedy, J., 2017, Philosophical Explorations of the Legacy of Alan Turing: Turing 100. Floyd, J. & Bokulich, A. (eds.). New York: Springer International Publishing AG, Vol. 324. p. 63-91 29 p. (Boston Studies in the Philosophy and History of Science; vol. 324).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

2014

Gödel and analytic philosophy: how did we get here?

Kennedy, J., 1 Jul 2014, Interpreting Gödel. Cambridge: Cambridge University Press

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Gödel's 1946 Princeton Bicentennial Lecture: An Appreciation

Kennedy, J., 1 Jul 2014, Interpreting Gödel. Cambridge University Press

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

On the "Logic without Borders" Point of View

Kennedy, J., 2014, Logic Without Borders. Hirvonen, Å., Kontinen, J., Kossak, R. & Villaveces, A. (eds.). Boston, MA: de Gruyter, (Ontos mathematical Logic; vol. 5).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

The Philosophical Development of Kurt Gödel

Kennedy, J. & van Atten, M., 18 Sep 2014, Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer. Springer International Publishing AG, Vol. 35. p. 95-145

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

2011

Gödel's Thesis - an Appreciation

Kennedy, J., 2011, Kurt Gödel and the foundations of mathematics: Horizons of Truth. Baaz, M. (ed.). Cambridge University Press, p. 95-109 15 p.

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

2010

On the philosophical development of Kurt Gödel

Kennedy, J. C. & van Atten, M., 2010, Kurt Gödel: Essays for his Centennial. Feferman, S., Parsons, C. & Simpson, S. (eds.). Cambridge: Cambridge University Press, Vol. 33. (Lecture Notes in Logic).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

2009

Gödel's Logic

Kennedy, J. & van Atten, M., 2009, Logic from Russell to Church. Gabbay, D. M. & Woods, J. (eds.). Elsevier B. V., Vol. 5. p. 449-509 60 p. (Handbook of the History of Logic).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Gödel's Modernism, Revisited

Kennedy, J. C., 2009, Logicism, Intuitionism, Formalism: What has Become of Them?. Lindström, S., Palmgren, E., Segerberg, K. & Stoltenberg-Hansen, V. (eds.). Springer, Vol. 341. (Synthese Library; vol. 341).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

2008

Gödel's modernism: on set-theoretic incompleteness, revisited

van Atten, M. & Kennedy, J., 2008, Logicism, intuitionism, and formalism: What has become of them?. Lindström, S., Palmgren, E., Segerberg, K. & Stoltenberg-Hansen, V. (eds.). Dordrecht: Springer, p. 303-355 53 p. (Synthese Library; vol. 341).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

2007

Kurt Gödel

Kennedy, J., 2007, The Stanford Encyclopedia of Philosophy. Zalta, E. (ed.). Stanford: Center for the Study of Language and Information (CSLI)

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

2005

Applications of Regular Filters and Square Principles in Model Theory

Kennedy, J. & Väänänen, J., 2005, Set theory: Recent trends and applications. Andretta, A. (ed.). Aracne Editrice, Vol. 17. p. 111-136 25 p. (Quaderni di Matematica).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review