Church's Thesis After 70 Years / (Record no. 236465)
[ view plain ]
| 000 -Leader | |
|---|---|
| Leader | 04895nam a22008655i 4500 |
| 001 - Numero di controllo | |
| Numero di controllo | 236465 |
| 003 - Identificatore del numero di controllo | |
| Identificatore del numero di controllo | IT-RoAPU |
| 005 - Data e orario dell'ultima transazione | |
| Data e orario dell'ultima transazione | 20230501182821.0 |
| 006 - Elementi di lunghezza fissa--Caratteristiche del materiale allegato--Informazione generale | |
| Elementi di lunghezza fissa--Caratteristiche del materiale allegato--Informazione generale | m|||||o||d|||||||| |
| 007 - Campo fisso per la descrizione fisica--informazione generale | |
| Campo fisso per la descrizione fisica--informazione generale | cr || |||||||| |
| 008 - Elementi di lunghezza fissa--Informazione generale | |
| Elementi di lunghezza fissa--Informazione generale | 230228t20132006gw fo d z eng d |
| 019 ## - CODED FIELD ERROR (RLIN) | |
| Coded field error | (OCoLC)1013942070 |
| 020 ## - International Standard Book Number | |
| ISBN (International Standard Book Number) | 9783110324945 |
| Qualifying information | |
| 020 ## - International Standard Book Number | |
| ISBN (International Standard Book Number) | 9783110325461 |
| Qualifying information | |
| 024 7# - Altri identificatori standard | |
| Numero standard o codice | 10.1515/9783110325461 |
| Fonte del numero o codice | doi |
| 035 ## - Numero di controllo del sistema | |
| Numero di controllo del sistema | (DE-B1597)9783110325461 |
| 035 ## - Numero di controllo del sistema | |
| Numero di controllo del sistema | (DE-B1597)211421 |
| 035 ## - Numero di controllo del sistema | |
| Numero di controllo del sistema | (OCoLC)853251315 |
| 040 ## - Fonte della catalogazione | |
| Agenzia catalografica originale | DE-B1597 |
| Lingua della catalogazione | eng |
| Agenzia che fa la trascrizione | DE-B1597 |
| Regole di descrizione | rda |
| 050 #4 - Numero di chiamata (collocazione) della Library of Congress | |
| Numero di classificazione | QA9 |
| Numero d'item | .C58 2006 |
| 072 #7 - Codice di categoria di soggetto | |
| Codice di categoria di soggetto | PHI011000 |
| Fonte | bisacsh |
| 082 04 - Numero di classificazione Decimale Dewey | |
| Numero di classificazione | 511.3 |
| Numero dell'edizione | 23 |
| 084 ## - Numero d’altra classificazione | |
| Numero di classificazione | online - DeGruyter |
| 245 00 - Formulazione del titolo | |
| Titolo | Church's Thesis After 70 Years / |
| Formulazioni di responsabilità, ecc. | ed. by Adam Olszewski, Jan Wolenski, Robert Janusz. |
| 264 #1 - Produzione, pubblicazione, etc di un'opera | |
| Luogo di produzione, pubblicazione, ecc. | Berlin ; |
| -- | Boston : |
| Nome del produttore, editore, ecc. | De Gruyter, |
| Data di produzione, specificazione, ecc. | [2013] |
| 264 #4 - Produzione, pubblicazione, etc di un'opera | |
| Data di produzione, specificazione, ecc. | ©2006 |
| 300 ## - Descrizione fisica | |
| Estensione | 1 online resource (551 p.) |
| 336 ## - Tipo contenuto | |
| Tipo contenuto | |
| Tipo contenuto (codice) | txt |
| Fonte | rdacontent |
| 337 ## - Tipo formato | |
| Tipo formato | |
| Tipo formato (codice) | c |
| Fonte | rdamedia |
| 338 ## - Formato di trasporto | |
| Formato di trasporto | |
| Formato di trasporto (codice) | cr |
| Fonte | rdacarrier |
| 347 ## - Caratteristiche file digitale | |
| Tipo file | text file |
| Formato di codifica | |
| Fonte | rda |
| 490 0# - Formulazione della serie | |
| Formulazione della serie | Ontos Mathematical Logic , |
| ISSN (International Standard Serial Number) | 2198-2341 ; |
| Numero del volume/designazione di sequenza | 1 |
| 505 00 - Nota formattata di contenuto | |
| Titolo | Frontmatter -- |
| -- | Contents -- |
| -- | Preface -- |
| -- | Church’s Thesis and Philosophy of Mind -- |
| -- | Algorithms: A Quest for Absolute Definitions -- |
| -- | Church’s Thesis and Bishop’s Constructivism -- |
| -- | On the Provability, Veracity, and AI-Relevance of the Church–Turing Thesis -- |
| -- | The Church–Turing Thesis. A Last Vestige of a Failed Mathematical Program -- |
| -- | Turing’s Thesis -- |
| -- | Church’s Thesis and Physical Computation -- |
| -- | Church’s Thesis and the Variety of Mathematical Justifications -- |
| -- | Did Church and Turing Have a Thesis about Machines? -- |
| -- | Formalizing Church’s Thesis -- |
| -- | Remarks on Church’s Thesis and Gödel’s Theorem -- |
| -- | Thesis and Variations -- |
| -- | On the Impossibility of Proving the “Hard-Half” of Church’s Thesis -- |
| -- | The Status of Church’s Thesis -- |
| -- | Analog Computation and Church’s Thesis -- |
| -- | Kreisel’s Church -- |
| -- | Church’s Thesis as Formulated by Church — An Interpretation -- |
| -- | Gödel on Turing on Computability -- |
| -- | Computability, Proof, and Open-Texture -- |
| -- | Step by Recursive Step: Church’s Analysis of Effective Calculability -- |
| -- | Physics and Metaphysics Look at Computation -- |
| -- | Church’s Thesis and Functional Programming -- |
| -- | Index |
| 506 0# - Nota sulle restrizioni all'accesso | |
| Condizioni che regolano l'accesso | restricted access |
| URI (Uniform Resource Identifier) | <a href="http://purl.org/coar/access_right/c_16ec">http://purl.org/coar/access_right/c_16ec</a> |
| Terminologia normalizzata della restrizione all’accesso | online access with authorization |
| Fonte del termine | star |
| 520 ## - Riassunto, ecc. | |
| Nota di riassunto, ecc. | Church's Thesis (CT) was first published by Alonzo Church in 1935. CT is a proposition that identifies two notions: an intuitive notion of a effectively computable function defined in natural numbers with the notion of a recursive function. Despite of the many efforts of prominent scientists, Church's Thesis has never been falsified. There exists a vast literature concerning the thesis. The aim of the book is to provide one volume summary of the state of research on Church's Thesis. These include the following: different formulations of CT, CT and intuitionism, CT and intensional mathematics, CT and physics, the epistemic status of CT, CT and philosophy of mind, provability of CT and CT and functional programming. |
| 530 ## - Nota sulla disponibilità su altro supporto fisico | |
| Nota sulla disponibilità su altro supporto fisico | Issued also in print. |
| 538 ## - Nota sui requisiti del sistema | |
| Nota sui requisiti del sistema | Mode of access: Internet via World Wide Web. |
| 546 ## - Nota sulla lingua | |
| Nota sulla lingua | In English. |
| 588 0# - Nota sulla fonte della discrezione | |
| Nota sulla fonte della discrezione | Description based on online resource; title from PDF title page (publisher's Web site, viewed 28. Feb 2023) |
| 650 #0 - Accesso aggiunto di soggetto--termine topico | |
| Termine topico o nome geografico come accesso | Logic, Symbolic and mathematical. |
| 650 #4 - Accesso aggiunto di soggetto--termine topico | |
| Termine topico o nome geografico come accesso | Logik. |
| 650 #4 - Accesso aggiunto di soggetto--termine topico | |
| Termine topico o nome geografico come accesso | Mathematik. |
| 650 #7 - Accesso aggiunto di soggetto--termine topico | |
| Termine topico o nome geografico come accesso | PHILOSOPHY / Logic. |
| Fonte dell'intestazione o del termine | bisacsh |
| 700 1# - Accesso aggiunto--nome di persona | |
| Nome di persona | Abramson, Darren |
| Termine di ruolo | autore |
| 700 1# - Accesso aggiunto--nome di persona | |
| Nome di persona | Arkoudas, Konstantine |
| Termine di ruolo | autore |
| 700 1# - Accesso aggiunto--nome di persona | |
| Nome di persona | Blass, Andreas |
| Termine di ruolo | autore |
| 700 1# - Accesso aggiunto--nome di persona | |
| Nome di persona | Bridges, Douglas S. |
| Termine di ruolo | autore |
| 700 1# - Accesso aggiunto--nome di persona | |
| Nome di persona | Bringsjord, Selmer |
| Termine di ruolo | autore |
| 700 1# - Accesso aggiunto--nome di persona | |
| Nome di persona | Cleland, Carol E. |
| Termine di ruolo | autore |
| 700 1# - Accesso aggiunto--nome di persona | |
| Nome di persona | Copeland, B. Jack |
| Termine di ruolo | autore |
| 700 1# - Accesso aggiunto--nome di persona | |
| Nome di persona | Fitz, Hartmut |
| Termine di ruolo | autore |
| 700 1# - Accesso aggiunto--nome di persona | |
| Nome di persona | Folina, Janet |
| Termine di ruolo | autore |
| 700 1# - Accesso aggiunto--nome di persona | |
| Nome di persona | Gurevich, Yuri |
| Termine di ruolo | autore |
| 700 1# - Accesso aggiunto--nome di persona | |
| Nome di persona | Hodges, Andrew |
| Termine di ruolo | autore |
| 700 1# - Accesso aggiunto--nome di persona | |
| Nome di persona | Horsten, Leon |
| Termine di ruolo | autore |
| 700 1# - Accesso aggiunto--nome di persona | |
| Nome di persona | Janusz, Robert |
| Termine di ruolo | curatore |
| 700 1# - Accesso aggiunto--nome di persona | |
| Nome di persona | Krajewski, Stanisław |
| Termine di ruolo | autore |
| 700 1# - Accesso aggiunto--nome di persona | |
| Nome di persona | McCarty, Charles |
| Termine di ruolo | autore |
| 700 1# - Accesso aggiunto--nome di persona | |
| Nome di persona | Mendelson, Elliott |
| Termine di ruolo | autore |
| 700 1# - Accesso aggiunto--nome di persona | |
| Nome di persona | Murawski, Roman |
| Termine di ruolo | autore |
| 700 1# - Accesso aggiunto--nome di persona | |
| Nome di persona | Mycka, Jerzy |
| Termine di ruolo | autore |
| 700 1# - Accesso aggiunto--nome di persona | |
| Nome di persona | Odifreddi, Piergiorgio |
| Termine di ruolo | autore |
| 700 1# - Accesso aggiunto--nome di persona | |
| Nome di persona | Olszewski, Adam |
| Termine di ruolo | autore |
| -- | curatore |
| 700 1# - Accesso aggiunto--nome di persona | |
| Nome di persona | Shagrir, Oron |
| Termine di ruolo | autore |
| 700 1# - Accesso aggiunto--nome di persona | |
| Nome di persona | Shapiro, Stewart |
| Termine di ruolo | autore |
| 700 1# - Accesso aggiunto--nome di persona | |
| Nome di persona | Sieg, Wilfried |
| Termine di ruolo | autore |
| 700 1# - Accesso aggiunto--nome di persona | |
| Nome di persona | Svozil, Karl |
| Termine di ruolo | autore |
| 700 1# - Accesso aggiunto--nome di persona | |
| Nome di persona | Turner, David |
| Termine di ruolo | autore |
| 700 1# - Accesso aggiunto--nome di persona | |
| Nome di persona | Wolenski, Jan |
| Termine di ruolo | autore |
| -- | curatore |
| 850 ## - Istituzione possedente | |
| Istituzione possedente | IT-RoAPU |
| 856 40 - Localizzazione e accesso elettronico | |
| URI (Uniform Resource Identifier) | <a href="https://doi.org/10.1515/9783110325461">https://doi.org/10.1515/9783110325461</a> |
| 856 40 - Localizzazione e accesso elettronico | |
| URI (Uniform Resource Identifier) | <a href="https://www.degruyter.com/isbn/9783110325461">https://www.degruyter.com/isbn/9783110325461</a> |
| 856 42 - Localizzazione e accesso elettronico | |
| Materiale specificato | Cover |
| URI (Uniform Resource Identifier) | <a href="https://www.degruyter.com/document/cover/isbn/9783110325461/original">https://www.degruyter.com/document/cover/isbn/9783110325461/original</a> |
| 942 ## - Dati aggiuntivi (Koha) | |
| Tipo copia default (Koha) | eBook |
| Ritirato (status) | Perso (status) | Fonte class. o schema coll. | Danneggiato (status) | Restrizioni all'uso | Non per il presito | Biblioteca proprietaria | Biblioteca in cui si trova | Localizzazione | Data acquisto | Tipo di acquisizione | Totale prestiti | Collocazione | Codice a barre | Data ultima operazione | URI | Prezzo effettivo | Tipo copia | Nota pubblica |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Non ritirata | Non persa | Classificazione Angelicum | Non danneggiata | Accesso limitato | Per il prestito | Biblioteca "Angelicum" Pont. Univ. S.Tommaso d'Aquino | Biblioteca "Angelicum" Pont. Univ. S.Tommaso d'Aquino | Nuvola online | 14/12/2022 | Abbonamento | online - DeGruyter | (dgr)9783110325461 | 14/12/2022 | https://www.degruyter.com/isbn/9783110325461 | 14/12/2022 | eBook | Accesso per gli utenti autorizzati / Access for authorized users |