Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Kurt Gödel Philosopher-Scientist / / Gabriella Crocco, Eva-Maria Engelen
| Kurt Gödel Philosopher-Scientist / / Gabriella Crocco, Eva-Maria Engelen |
| Autore | Audureau Éric |
| Pubbl/distr/stampa | Aix-en-Provence, : Presses universitaires de Provence, 2021 |
| Descrizione fisica | 1 online resource (525 p.) |
| Altri autori (Persone) |
BernardJulien
CantùPaola CroccoGabriella DawsonJohn W EngelenEva-Maria FloydJuliet HaringSilvia Jr KanamoriAkihiro KnoblochEberhard LinkMontgomery MagalOran MertensAmélie MugnaiMassimo TernulloClaudio TieszenRichard van AttenMark WeingartnerPaul |
| Collana | Épistémè |
| Soggetto topico |
Mathematics - Philosophy
Logic, Symbolic and mathematical |
| Soggetto non controllato | philosophy |
| ISBN | 979-1-03-657685-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910502603303321 |
Audureau Éric
|
||
| Aix-en-Provence, : Presses universitaires de Provence, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Nudging Choices Through Media : Ethical and philosophical implications for humanity / / edited by James Katz, Katie Schiepers, Juliet Floyd
| Nudging Choices Through Media : Ethical and philosophical implications for humanity / / edited by James Katz, Katie Schiepers, Juliet Floyd |
| Autore | Katz James |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Palgrave Macmillan, , 2023 |
| Descrizione fisica | 1 online resource (265 pages) |
| Disciplina | 302.231 |
| Altri autori (Persone) |
SchiepersKatie
FloydJuliet |
| Soggetto topico |
Mass media—Moral and ethical aspects
Digital media Technology—Philosophy Political planning Human rights Media Ethics Digital and New Media Philosophy of Technology Public Policy Politics and Human Rights |
| ISBN | 3-031-26568-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1.Introduction -- 2. Nudging and Freedom -- 3. Metaphors we nudge by -- 4. Can Nudges be Democratic? -- 5. Revisiting the Turing Test -- 6. Interview with Stephen Wolfram -- 7. Means vs. Outcomes -- 8. Nudging, positive and negative, on China’s Internet -- 9. Nudging choices through media -- 10. Building compliance, manufacturing nudges -- 11. The Emergence of the ’Cy-Mind’ through Human-Computer Interaction -- 12. Saying things with facts, or: sending messages through regulation.13. Conclusion: The troubling future of nudging choices through media for humanity. |
| Record Nr. | UNINA-9910746101203321 |
|
Katz James
|
||
| Cham : , : Springer International Publishing : , : Imprint : Palgrave Macmillan, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Philosophical Explorations of the Legacy of Alan Turing : Turing 100 / / edited by Juliet Floyd, Alisa Bokulich
| Philosophical Explorations of the Legacy of Alan Turing : Turing 100 / / edited by Juliet Floyd, Alisa Bokulich |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (xvii, 361 pages) : 44 illustrations |
| Disciplina | 510.92 |
| Collana | Boston Studies in the Philosophy and History of Science |
| Soggetto topico |
Philosophy and science
History Mathematics Computers Artificial intelligence Philosophy of Science History of Science History of Mathematical Sciences Theory of Computation Artificial Intelligence History of Computing |
| ISBN | 3-319-53280-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Introduction (Juliet Floyd) -- Part I. Logic and Mathematics to Philosophy -- Chapter 2. Turing, the Mathematician (Daniele Mundici and Wilfried Sieg) -- Chapter 3. Turing, Gödel and the “Bright Abyss” (Juliette Kennedy) -- Chapter 4. Justified True Belief: Plato, Gettier and Turing (Rohit Parikh and Adriana Renero) -- Chapter 5. Turing on “Common Sense”: Cambridge Resonances (Juliet Floyd) -- Part II. The Universal Machine: From Music to Morphogenesis -- Chapter 6. Universality is Ubiquitous (Martin Davis) -- Chapter 7. The Early History of Voice Encryption (Craig Bauer) -- Chapter 8. Turing and the History of Computer Music (B. Jack Copeland and Jason Long) -- Chapter 9. Exploring the Frontiers of Computation: Measurement Based Quantum Computers and the Mechanistic View of Computation (Armond Duwell) -- Chapter 10. Embodying Computation at Higher Types (S. Barry Cooper) -- Part III. Human, Machine, and Mind -- Chapter 11. On Computing Machinery and Intelligence (Patrick Henry Winston) -- Chapter 12. From Ockham to Turing --- and Back Again (Michael Rescorla) -- Chapter 13. Turing and Free Will: A New Take on An Old Debate (Diane Proudfoot) -- Chapter 14. Turing and the Integration of Human and Machine Intelligence (Susan G. Sterrett) -- Chapter 15. Is there a Church-Turing thesis for social algorithms? (Rohit Parikh). |
| Record Nr. | UNINA-9910255217703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||