Juliette Kennedy – författare
Visar alla böcker från författaren Juliette Kennedy. Handla med fri frakt och snabb leverans.
14 produkter
Gödel, Tarski and the Lure of Natural Language
Logical Entanglement, Formalism Freeness
Häftad, 2022
413 kr
Lägg i varukorg
Is mathematics 'entangled' with its various formalisations? Or are the central concepts of mathematics largely insensitive to formalisation, or 'formalism free'? What is the semantic point of view and how is it implemented in foundational practice? Does a given semantic framework always have an …
Interpreting Gödel
Critical Essays
Häftad, 2017
455 kr
Lägg i varukorg
The logician Kurt Gödel (1906-1978) published a paper in 1931 formulating what have come to be known as his 'incompleteness theorems', which prove, among other things, that within any formal system with resources sufficient to code arithmetic, questions exist which are neither provable nor …
Set Theory, Arithmetic, and Foundations of Mathematics
Theorems, Philosophies
Av Juliette Kennedy, Roman Kossak
Inbunden, 2011
1889 kr
Lägg i varukorg
This collection of papers from various areas of mathematical logic showcases the remarkable breadth and richness of the field. Leading authors reveal how contemporary technical results touch upon foundational questions about the nature of mathematics. Highlights of the volume include: a history of …
Gödel, Tarski and the Lure of Natural Language
Logical Entanglement, Formalism Freeness
Inbunden, 2020
1628 kr
Lägg i varukorg
Is mathematics 'entangled' with its various formalisations? Or are the central concepts of mathematics largely insensitive to formalisation, or 'formalism free'? What is the semantic point of view and how is it implemented in foundational practice? Does a given semantic framework always have an …
Gödel's Incompleteness Theorems
Häftad, 2022
308 kr
Lägg i varukorg
This Element takes a deep dive into Gödel's 1931 paper giving the first presentation of the Incompleteness Theorems, opening up completely passages in it that might possibly puzzle the student, such as the mysterious footnote 48a. It considers the main ingredients of Gödel's proof: arithmetization, …
Godel's Incompleteness Theorems
E-bok, 2022
287 kr
Lägg i varukorg
This Element takes a deep dive into Gödel''s 1931 paper giving the first presentation of the Incompleteness Theorems, opening up completely passages in it that might possibly puzzle the student, such as the mysterious footnote 48a. It considers the main ingredients of Gödel''s proof: …
Godel's Incompleteness Theorems
E-bok, 2022
287 kr
Lägg i varukorg
This Element takes a deep dive into Gödel''s 1931 paper giving the first presentation of the Incompleteness Theorems, opening up completely passages in it that might possibly puzzle the student, such as the mysterious footnote 48a. It considers the main ingredients of Gödel''s proof: …
Philosophy of Penelope Maddy
Av Sophia Arbeiter, Juliette Kennedy
Inbunden, 2024
1534 kr
Lägg i varukorg
This volume features more than 20 essays that explore the work of one of the most important contemporary philosophers of mathematics. It will help readers to better appreciate this significant and prolific philosopher. Within philosophy of mathematics, Penelope Maddy initially advocated realism. …
Philosophy of Penelope Maddy
Av Juliette Kennedy, Sophia Arbeiter
E-bok, 2024
1948 kr
Lägg i varukorg
This volume features more than 20 essays that explore the work of one of the most important contemporary philosophers of mathematics. It will help readers to better appreciate this significant and prolific philosopher. Within philosophy of mathematics, Penelope Maddy initially advocated realism. …
Philosophy of Penelope Maddy
Av Sophia Arbeiter, Juliette Kennedy
Häftad, 2025
1534 kr
Lägg i varukorg
This volume features more than 20 essays that explore the work of one of the most important contemporary philosophers of mathematics. It will help readers to better appreciate this significant and prolific philosopher. Within philosophy of mathematics, Penelope Maddy initially advocated realism. …
Logic, Language, Information, and Computation
24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings
Av Juliette Kennedy, Ruy J.G.B. de Queiroz
Häftad, 2017
569 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 24th Workshop on Logic, Language, Information and Communication, WoLLIC 2017, held in London, UK, in August 2017. The 28 contributed papers were carefully …
Logic, Language, Information, and Computation
24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings
Av Ruy J.G.B. de Queiroz, Juliette Kennedy
E-bok, 2017
755 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 24th Workshop on Logic, Language, Information and Communication, WoLLIC 2017, held in London, UK, in August 2017. The 28 contributed papers were carefully …
Interpreting Gödel
Critical Essays
Inbunden, 2014
1378 kr
Tillfälligt slut
The logician Kurt Gödel (1906-1978) published a paper in 1931 formulating what have come to be known as his 'incompleteness theorems', which prove, among other things, that within any formal system with resources sufficient to code arithmetic, questions exist which are neither provable nor …
