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

2020
2019

On the Philosophy of Penelope Maddy: Set-theoretic foundations and naturalistic methodology

Kennedy, J. C. (toim.), Burgess, J., Dzamonja, M., Paseau, A., Martin, D. A., Baldwin, J., Franks, C., Antos-Kuby, C. & Kennedy, J., 2019, Springer . (Outstanding Contributions to Logic)

Tutkimustuotos: Kirja/raporttiKirja

Proceedings of WoLLIC 2017

Kennedy, J. C. (toim.) & de Queiroz, R. (toim.), 2019, (Julkaisematon) Springer . (Archive for Mathematical Logic)

Tutkimustuotos: Kirja/raporttiKirja

Women in Mathematics: Celebrating the Centennial of the Mathematical Association of America

Kennedy, J., 1 kesäkuuta 2019, julkaisussa : Isis. 110, 2, s. 427-428 2 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuTieteellisen julkaisun arvosteluTieteellinen

2018

Kurt Gödel and the mechanization of mathematics

Kennedy, J., 20 huhtikuuta 2018, julkaisussa : Times Literary Supplement : The leading international weekly for literary culture.

Tutkimustuotos: ArtikkelijulkaisuArtikkeliYleistajuinen

Remarks on No One's Ways

Kennedy, J. C., 2018, julkaisussa : Syndicate.

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinen

The System that Destroys Itself, or Greenberg’s Modernism & the Liar’s Paradox

Kennedy, J. C. & Malziels, M., 2018, julkaisussa : Crisis and Critique. 5, 1, s. 211-234 24 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

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

Kant, Co-production, Actuality and Pedestrian Space: Remarks on the Philosophical Writings of Fred Sandback

Kennedy, J., 2017, Simplicity: Ideals of Practice in Mathematics and the Arts. Kossak, R. & Ording, P. (toim.). Cham: Springer International Publishing AG, s. 37-48 12 Sivumäärä (Mathematics, Culture, and the Arts).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Logic, Language, Information and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings

Kennedy, J. C. & de Queiroz, R., 2017, Berlin ; Heidelberg: Springer. 401 Sivumäärä (Lecture Notes in Computer Science. Theoretical Computer Science and General Issues; Vuosikerta 10388)

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumero

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

Squeezing Arguments and Strong Logics

Kennedy, J. & Väänänen, J., 2017, Logic, Methodology and Philosophy of Science: Proceedings of the Fifteenth International Congress. Leitgeb, H., Niiniluoto, I., Seppälä, P. & Sober, E. (toim.). London: College publications, 24 Sivumäärä

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinen

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

2015

Aesthetics and the Dream of Objectivity: Notes from Set Theory

Kennedy, J. & Väänänen, J., 2 tammikuuta 2015, julkaisussa : Inquiry. 58, 1, s. 83-98 16 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Loogikko työskentelee keskustellen aviomiehen ja matemaatikon kanssa

Kennedy, J. C., 29 toukokuuta 2015, julkaisussa : Helsingin Sanomat.

Tutkimustuotos: ArtikkelijulkaisuArtikkeliYleistajuinen

Regular Ultrapowers at Regular Cardinals

Kennedy, J., Shelah, S. & Väänänen, J., 2015, julkaisussa : Notre Dame Journal of Formal Logic. 56, 3, s. 417-428 12 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

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

Interpreting Gödel: critical essays

Kennedy, J. (toim.), 1 heinäkuuta 2014, Cambridge: Cambridge University Press. 524 Sivumäärä

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumero

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

Review of Defending the Axioms: On the Philosophical Foundations of Set Theory by Penelope Maddy

Kennedy, J., 2014, julkaisussa : Bulletin of Symbolic Logic.

Tutkimustuotos: ArtikkelijulkaisuKatsausartikkeliTieteellinenvertaisarvioitu

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

2013

On Formalism Freeness: Implementing Gödel's 1946 Princeton Bicentennial Lecture

Kennedy, J., syyskuuta 2013, julkaisussa : Bulletin of Symbolic Logic. 19, 3, s. 351-393 43 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Open access
Tiedosto

Review of "After Gödel", by Richard Tieszen

Kennedy, J., 15 lokakuuta 2013, julkaisussa : Notre Dame philosophical reviews.

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinen

2012

Some thoughts concerning aesthetics and mathematics

Kennedy, J., 2012, julkaisussa : Arkadia Gazette. 1

Tutkimustuotos: ArtikkelijulkaisuArtikkeliYleistajuinen

Special Issue Set Theory, Classical and Constructive - Invited papers from the meeting in Amsterdam, May 6-7, 2010 Preface

Kennedy, J. & van Oosten, J., lokakuuta 2012, julkaisussa : Annals of Pure and Applied Logic. 163, 10, s. 1359-1359 1 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinen

2011

Andy Goldsworthy

Kennedy, J. C., 2 kesäkuuta 2011, Pori: Porin taidemuseo. 74 Sivumäärä (Porin taidemuseon julkaisuja; Vuosikerta 110)

Tutkimustuotos: Kirja/raporttiKirja

Can the Continuum Hypothesis be Solved?

Kennedy, J., marraskuuta 2011, julkaisussa : The Institute Letter. Fall 2011, s. 1, 10-11, 13

Tutkimustuotos: ArtikkelijulkaisuArtikkeliAmmatillinen

Fred Sandback

Kennedy, J. C., 2011, julkaisussa : Taide & design. 11, s. 40-47 7 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliYleistajuinen

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

Interview with Andy Goldsworthy,

Kennedy, J., heinäkuuta 2011, julkaisussa : Taide & design. 13, s. 47-53 7 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliYleistajuinen

Set Theory, Arithmetic and Foundations of Mathematics: Theorems, Philosophies

Kennedy, J. & Kossak, R., 2011, Cambridge University Press. 250 Sivumäärä (Lecture Notes in Logic; Vuosikerta 36)

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumero

The autonomy of mathematical knowledge: Hilbert's program revisited

Kennedy, J., 2011, julkaisussa : Bulletin of Symbolic Logic. 17, 1, s. 119-122 4 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinen

Open access
Tiedosto
2010

Matti Kujasalo: Book review of "Matti Kujasalo", published by Anhava Publications, 2010

Kennedy, J., 2010, julkaisussa : Taide & design. 10, s. 212-213

Tutkimustuotos: ArtikkelijulkaisuArtikkeliYleistajuinen

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

Review of the Princeton Companion to Mathematics

Kennedy, J., 2009, julkaisussa : Bulletin of Symbolic Logic. 15, 4, s. 431-436

Tutkimustuotos: ArtikkelijulkaisuKatsausartikkeliTieteellinenvertaisarvioitu

2008

Aesthetics and mathematics, 10-11 November, Utrecht: news

Kennedy, J., 2008, julkaisussa : The reasoner. 2, 2, s. 8-9 2 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

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

Regular ultrafilters and finite square principles

Kennedy, J., Shelah, S. & Väänänen, J., 2008, julkaisussa : Journal of Symbolic Logic. 73, 3, s. 817-823 7 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

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

Logic Unfettered: European and American Abstraction Now

Kennedy, J. C., marraskuuta 2007, julkaisussa : Museumletter. 17, 49

Tutkimustuotos: ArtikkelijulkaisuArtikkeliYleistajuinen

Review: "Kurt Gödel. Das Album - The album" / by Karl Sigmund, John Dawson and Kurt Muhlberger

Kennedy, J., 2007, julkaisussa : Mathematical Intelligencer. 29, 3, s. 73-73 1 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinen

2006

Book Review: Incompleteness

Kennedy, J., 2006, julkaisussa : Notices of the American Mathematical Society. 53, s. 448-455 8 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinen

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

More on regular reduced products

Kennedy, J. C. & Shelah, S., 2005, julkaisussa : Journal of Symbolic Logic. 69, 4, s. 1261-1266 6 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

2004

Gödel’s Modernism: On Set-Theoretic Incompleteness

Kennedy, J. & van Atten, M., 2004, julkaisussa : Graduate Faculty Philosophy Journal. 25, 2, s. 289-349

Tutkimustuotos: ArtikkelijulkaisuArtikkeliAmmatillinen