Ei valokuvaa: Juliette Kennedy

Juliette Kennedy

Yliopistonlehtori

  • PL 68 (Pietari Kalmin katu 5)

    00014

    Suomi

20022020
Jos olet muokannut tietoja Puressa, ne näkyvät pian tässä.

Julkaisut 2002 2020

Suodatin
Kirjan luku tai artikkeli
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. (toim.). Springer , s. 42-49 8 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 10307).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKirjan luku tai artikkeliTieteellinenvertaisarvioitu

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 Sivumäärä (Preprint Series).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKirjan luku tai artikkeliTieteellinen

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

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

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKirjan luku tai artikkeliTieteellinenvertaisarvioitu

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. (toim.). Cambridge: Cambridge University Press, s. 55-75 21 Sivumäärä

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKirjan luku tai artikkeliTieteellinenvertaisarvioitu

Turing, Gödel and the Bright abyss

Kennedy, J., 2017, Philosophical Explorations of the Legacy of Alan Turing: Turing 100. Floyd, J. & Bokulich, A. (toim.). New York: Springer International Publishing AG, Vuosikerta 324. s. 63-91 29 Sivumäärä (Boston Studies in the Philosophy and History of Science; Vuosikerta 324).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKirjan luku tai artikkeliTieteellinenvertaisarvioitu

2014

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

Kennedy, J., 1 heinäkuuta 2014, Interpreting Gödel. Cambridge: Cambridge University Press

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKirjan luku tai artikkeliTieteellinenvertaisarvioitu

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

Kennedy, J., 1 heinäkuuta 2014, Interpreting Gödel. Cambridge University Press

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKirjan luku tai artikkeliTieteellinenvertaisarvioitu

On the "Logic without Borders" Point of View

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

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKirjan luku tai artikkeliTieteellinenvertaisarvioitu

The Philosophical Development of Kurt Gödel

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

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKirjan luku tai artikkeliTieteellinenvertaisarvioitu

2011

Gödel's Thesis - an Appreciation

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

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKirjan luku tai artikkeliTieteellinenvertaisarvioitu

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. (toim.). Cambridge: Cambridge University Press, Vuosikerta 33. (Lecture Notes in Logic).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKirjan luku tai artikkeliTieteellinenvertaisarvioitu

2009

Gödel's Logic

Kennedy, J. & van Atten, M., 2009, Logic from Russell to Church. Gabbay, D. M. & Woods, J. (toim.). Elsevier B. V., Vuosikerta 5. s. 449-509 60 Sivumäärä (Handbook of the History of Logic).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKirjan luku tai artikkeliTieteellinenvertaisarvioitu

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. (toim.). Springer, Vuosikerta 341. (Synthese Library; Vuosikerta 341).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKirjan luku tai artikkeliTieteellinenvertaisarvioitu

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. (toim.). Dordrecht: Springer, s. 303-355 53 Sivumäärä (Synthese Library; Vuosikerta 341).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKirjan luku tai artikkeliTieteellinenvertaisarvioitu

2007

Kurt Gödel

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

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKirjan luku tai artikkeliTieteellinenvertaisarvioitu

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. (toim.). Aracne Editrice, Vuosikerta 17. s. 111-136 25 Sivumäärä (Quaderni di Matematica).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKirjan luku tai artikkeliTieteellinenvertaisarvioitu