Church's Thesis After 70 Years / / ed. by Adam Olszewski, Jan Wolenski, Robert Janusz.
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, C...
Saved in:
Superior document: | Title is part of eBook package: De Gruyter DGBA Backlist Complete English Language 2000-2014 PART1 |
---|---|
MitwirkendeR: | |
HerausgeberIn: | |
Place / Publishing House: | Berlin ;, Boston : : De Gruyter, , [2013] ©2006 |
Year of Publication: | 2013 |
Language: | English |
Series: | Ontos Mathematical Logic ,
1 |
Online Access: | |
Physical Description: | 1 online resource (551 p.) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
9783110325461 |
---|---|
ctrlnum |
(DE-B1597)211421 (OCoLC)853251315 |
collection |
bib_alma |
record_format |
marc |
spelling |
Church's Thesis After 70 Years / ed. by Adam Olszewski, Jan Wolenski, Robert Janusz. Berlin ; Boston : De Gruyter, [2013] ©2006 1 online resource (551 p.) text txt rdacontent computer c rdamedia online resource cr rdacarrier text file PDF rda Ontos Mathematical Logic , 2198-2341 ; 1 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 restricted access http://purl.org/coar/access_right/c_16ec online access with authorization star 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. Issued also in print. Mode of access: Internet via World Wide Web. In English. Description based on online resource; title from PDF title page (publisher's Web site, viewed 28. Feb 2023) Logic, Symbolic and mathematical. Logik. Mathematik. PHILOSOPHY / Logic. bisacsh Abramson, Darren, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Arkoudas, Konstantine, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Blass, Andreas, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Bridges, Douglas S., contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Bringsjord, Selmer, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Cleland, Carol E., contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Copeland, B. Jack, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Fitz, Hartmut, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Folina, Janet, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Gurevich, Yuri, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Hodges, Andrew, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Horsten, Leon, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Janusz, Robert, editor. edt http://id.loc.gov/vocabulary/relators/edt Krajewski, Stanisław, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb McCarty, Charles, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Mendelson, Elliott, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Murawski, Roman, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Mycka, Jerzy, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Odifreddi, Piergiorgio, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Olszewski, Adam, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Olszewski, Adam, editor. edt http://id.loc.gov/vocabulary/relators/edt Shagrir, Oron, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Shapiro, Stewart, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Sieg, Wilfried, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Svozil, Karl, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Turner, David, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Wolenski, Jan, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Wolenski, Jan, editor. edt http://id.loc.gov/vocabulary/relators/edt Title is part of eBook package: De Gruyter DGBA Backlist Complete English Language 2000-2014 PART1 9783110238570 Title is part of eBook package: De Gruyter DGBA Backlist Philosophy 2000-2014 (EN) 9783110238488 Title is part of eBook package: De Gruyter DGBA Philosophy 2000 - 2014 9783110636949 ZDB-23-GPH Title is part of eBook package: De Gruyter eBook Paket De Gruyter Ontos 2002-2012 9783110331219 ZDB-23-DON print 9783110324945 https://doi.org/10.1515/9783110325461 https://www.degruyter.com/isbn/9783110325461 Cover https://www.degruyter.com/document/cover/isbn/9783110325461/original |
language |
English |
format |
eBook |
author2 |
Abramson, Darren, Abramson, Darren, Arkoudas, Konstantine, Arkoudas, Konstantine, Blass, Andreas, Blass, Andreas, Bridges, Douglas S., Bridges, Douglas S., Bringsjord, Selmer, Bringsjord, Selmer, Cleland, Carol E., Cleland, Carol E., Copeland, B. Jack, Copeland, B. Jack, Fitz, Hartmut, Fitz, Hartmut, Folina, Janet, Folina, Janet, Gurevich, Yuri, Gurevich, Yuri, Hodges, Andrew, Hodges, Andrew, Horsten, Leon, Horsten, Leon, Janusz, Robert, Janusz, Robert, Krajewski, Stanisław, Krajewski, Stanisław, McCarty, Charles, McCarty, Charles, Mendelson, Elliott, Mendelson, Elliott, Murawski, Roman, Murawski, Roman, Mycka, Jerzy, Mycka, Jerzy, Odifreddi, Piergiorgio, Odifreddi, Piergiorgio, Olszewski, Adam, Olszewski, Adam, Olszewski, Adam, Olszewski, Adam, Shagrir, Oron, Shagrir, Oron, Shapiro, Stewart, Shapiro, Stewart, Sieg, Wilfried, Sieg, Wilfried, Svozil, Karl, Svozil, Karl, Turner, David, Turner, David, Wolenski, Jan, Wolenski, Jan, Wolenski, Jan, Wolenski, Jan, |
author_facet |
Abramson, Darren, Abramson, Darren, Arkoudas, Konstantine, Arkoudas, Konstantine, Blass, Andreas, Blass, Andreas, Bridges, Douglas S., Bridges, Douglas S., Bringsjord, Selmer, Bringsjord, Selmer, Cleland, Carol E., Cleland, Carol E., Copeland, B. Jack, Copeland, B. Jack, Fitz, Hartmut, Fitz, Hartmut, Folina, Janet, Folina, Janet, Gurevich, Yuri, Gurevich, Yuri, Hodges, Andrew, Hodges, Andrew, Horsten, Leon, Horsten, Leon, Janusz, Robert, Janusz, Robert, Krajewski, Stanisław, Krajewski, Stanisław, McCarty, Charles, McCarty, Charles, Mendelson, Elliott, Mendelson, Elliott, Murawski, Roman, Murawski, Roman, Mycka, Jerzy, Mycka, Jerzy, Odifreddi, Piergiorgio, Odifreddi, Piergiorgio, Olszewski, Adam, Olszewski, Adam, Olszewski, Adam, Olszewski, Adam, Shagrir, Oron, Shagrir, Oron, Shapiro, Stewart, Shapiro, Stewart, Sieg, Wilfried, Sieg, Wilfried, Svozil, Karl, Svozil, Karl, Turner, David, Turner, David, Wolenski, Jan, Wolenski, Jan, Wolenski, Jan, Wolenski, Jan, |
author2_variant |
d a da d a da k a ka k a ka a b ab a b ab d s b ds dsb d s b ds dsb s b sb s b sb c e c ce cec c e c ce cec b j c bj bjc b j c bj bjc h f hf h f hf j f jf j f jf y g yg y g yg a h ah a h ah l h lh l h lh r j rj r j rj s k sk s k sk c m cm c m cm e m em e m em r m rm r m rm j m jm j m jm p o po p o po a o ao a o ao a o ao a o ao o s os o s os s s ss s s ss w s ws w s ws k s ks k s ks d t dt d t dt j w jw j w jw j w jw j w jw |
author2_role |
MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR HerausgeberIn HerausgeberIn MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR HerausgeberIn HerausgeberIn MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR HerausgeberIn HerausgeberIn |
author_sort |
Abramson, Darren, |
title |
Church's Thesis After 70 Years / |
spellingShingle |
Church's Thesis After 70 Years / Ontos Mathematical Logic , 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 |
title_full |
Church's Thesis After 70 Years / ed. by Adam Olszewski, Jan Wolenski, Robert Janusz. |
title_fullStr |
Church's Thesis After 70 Years / ed. by Adam Olszewski, Jan Wolenski, Robert Janusz. |
title_full_unstemmed |
Church's Thesis After 70 Years / ed. by Adam Olszewski, Jan Wolenski, Robert Janusz. |
title_auth |
Church's Thesis After 70 Years / |
title_alt |
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 |
title_new |
Church's Thesis After 70 Years / |
title_sort |
church's thesis after 70 years / |
series |
Ontos Mathematical Logic , |
series2 |
Ontos Mathematical Logic , |
publisher |
De Gruyter, |
publishDate |
2013 |
physical |
1 online resource (551 p.) Issued also in print. |
contents |
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 |
isbn |
9783110325461 9783110238570 9783110238488 9783110636949 9783110331219 9783110324945 |
issn |
2198-2341 ; |
callnumber-first |
Q - Science |
callnumber-subject |
QA - Mathematics |
callnumber-label |
QA9 |
callnumber-sort |
QA 19 C58 42006 |
url |
https://doi.org/10.1515/9783110325461 https://www.degruyter.com/isbn/9783110325461 https://www.degruyter.com/document/cover/isbn/9783110325461/original |
illustrated |
Not Illustrated |
dewey-hundreds |
500 - Science |
dewey-tens |
510 - Mathematics |
dewey-ones |
511 - General principles of mathematics |
dewey-full |
511.3 |
dewey-sort |
3511.3 |
dewey-raw |
511.3 |
dewey-search |
511.3 |
doi_str_mv |
10.1515/9783110325461 |
oclc_num |
853251315 |
work_keys_str_mv |
AT abramsondarren churchsthesisafter70years AT arkoudaskonstantine churchsthesisafter70years AT blassandreas churchsthesisafter70years AT bridgesdouglass churchsthesisafter70years AT bringsjordselmer churchsthesisafter70years AT clelandcarole churchsthesisafter70years AT copelandbjack churchsthesisafter70years AT fitzhartmut churchsthesisafter70years AT folinajanet churchsthesisafter70years AT gurevichyuri churchsthesisafter70years AT hodgesandrew churchsthesisafter70years AT horstenleon churchsthesisafter70years AT januszrobert churchsthesisafter70years AT krajewskistanisław churchsthesisafter70years AT mccartycharles churchsthesisafter70years AT mendelsonelliott churchsthesisafter70years AT murawskiroman churchsthesisafter70years AT myckajerzy churchsthesisafter70years AT odifreddipiergiorgio churchsthesisafter70years AT olszewskiadam churchsthesisafter70years AT shagriroron churchsthesisafter70years AT shapirostewart churchsthesisafter70years AT siegwilfried churchsthesisafter70years AT svozilkarl churchsthesisafter70years AT turnerdavid churchsthesisafter70years AT wolenskijan churchsthesisafter70years |
status_str |
n |
ids_txt_mv |
(DE-B1597)211421 (OCoLC)853251315 |
carrierType_str_mv |
cr |
hierarchy_parent_title |
Title is part of eBook package: De Gruyter DGBA Backlist Complete English Language 2000-2014 PART1 Title is part of eBook package: De Gruyter DGBA Backlist Philosophy 2000-2014 (EN) Title is part of eBook package: De Gruyter DGBA Philosophy 2000 - 2014 Title is part of eBook package: De Gruyter eBook Paket De Gruyter Ontos 2002-2012 |
is_hierarchy_title |
Church's Thesis After 70 Years / |
container_title |
Title is part of eBook package: De Gruyter DGBA Backlist Complete English Language 2000-2014 PART1 |
author2_original_writing_str_mv |
noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField |
_version_ |
1770177557620064256 |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>07580nam a22011175i 4500</leader><controlfield tag="001">9783110325461</controlfield><controlfield tag="003">DE-B1597</controlfield><controlfield tag="005">20230228123812.0</controlfield><controlfield tag="006">m|||||o||d||||||||</controlfield><controlfield tag="007">cr || ||||||||</controlfield><controlfield tag="008">230228t20132006gw fo d z eng d</controlfield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">(OCoLC)1013942070</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783110325461</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1515/9783110325461</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-B1597)211421</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)853251315</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-B1597</subfield><subfield code="b">eng</subfield><subfield code="c">DE-B1597</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA9</subfield><subfield code="b">.C58 2006</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">PHI011000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">511.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Church's Thesis After 70 Years /</subfield><subfield code="c">ed. by Adam Olszewski, Jan Wolenski, Robert Janusz.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ;</subfield><subfield code="a">Boston : </subfield><subfield code="b">De Gruyter, </subfield><subfield code="c">[2013]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (551 p.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="347" ind1=" " ind2=" "><subfield code="a">text file</subfield><subfield code="b">PDF</subfield><subfield code="2">rda</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Ontos Mathematical Logic ,</subfield><subfield code="x">2198-2341 ;</subfield><subfield code="v">1</subfield></datafield><datafield tag="505" ind1="0" ind2="0"><subfield code="t">Frontmatter -- </subfield><subfield code="t">Contents -- </subfield><subfield code="t">Preface -- </subfield><subfield code="t">Church’s Thesis and Philosophy of Mind -- </subfield><subfield code="t">Algorithms: A Quest for Absolute Definitions -- </subfield><subfield code="t">Church’s Thesis and Bishop’s Constructivism -- </subfield><subfield code="t">On the Provability, Veracity, and AI-Relevance of the Church–Turing Thesis -- </subfield><subfield code="t">The Church–Turing Thesis. A Last Vestige of a Failed Mathematical Program -- </subfield><subfield code="t">Turing’s Thesis -- </subfield><subfield code="t">Church’s Thesis and Physical Computation -- </subfield><subfield code="t">Church’s Thesis and the Variety of Mathematical Justifications -- </subfield><subfield code="t">Did Church and Turing Have a Thesis about Machines? -- </subfield><subfield code="t">Formalizing Church’s Thesis -- </subfield><subfield code="t">Remarks on Church’s Thesis and Gödel’s Theorem -- </subfield><subfield code="t">Thesis and Variations -- </subfield><subfield code="t">On the Impossibility of Proving the “Hard-Half” of Church’s Thesis -- </subfield><subfield code="t">The Status of Church’s Thesis -- </subfield><subfield code="t">Analog Computation and Church’s Thesis -- </subfield><subfield code="t">Kreisel’s Church -- </subfield><subfield code="t">Church’s Thesis as Formulated by Church — An Interpretation -- </subfield><subfield code="t">Gödel on Turing on Computability -- </subfield><subfield code="t">Computability, Proof, and Open-Texture -- </subfield><subfield code="t">Step by Recursive Step: Church’s Analysis of Effective Calculability -- </subfield><subfield code="t">Physics and Metaphysics Look at Computation -- </subfield><subfield code="t">Church’s Thesis and Functional Programming -- </subfield><subfield code="t">Index</subfield></datafield><datafield tag="506" ind1="0" ind2=" "><subfield code="a">restricted access</subfield><subfield code="u">http://purl.org/coar/access_right/c_16ec</subfield><subfield code="f">online access with authorization</subfield><subfield code="2">star</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">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.</subfield></datafield><datafield tag="530" ind1=" " ind2=" "><subfield code="a">Issued also in print.</subfield></datafield><datafield tag="538" ind1=" " ind2=" "><subfield code="a">Mode of access: Internet via World Wide Web.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">In English.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Description based on online resource; title from PDF title page (publisher's Web site, viewed 28. Feb 2023)</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logik.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">PHILOSOPHY / Logic.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Abramson, Darren, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Arkoudas, Konstantine, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Blass, Andreas, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bridges, Douglas S., </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bringsjord, Selmer, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Cleland, Carol E., </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Copeland, B. Jack, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Fitz, Hartmut, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Folina, Janet, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gurevich, Yuri, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hodges, Andrew, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Horsten, Leon, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Janusz, Robert, </subfield><subfield code="e">editor.</subfield><subfield code="4">edt</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Krajewski, Stanisław, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">McCarty, Charles, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Mendelson, Elliott, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Murawski, Roman, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Mycka, Jerzy, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Odifreddi, Piergiorgio, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Olszewski, Adam, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Olszewski, Adam, </subfield><subfield code="e">editor.</subfield><subfield code="4">edt</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Shagrir, Oron, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Shapiro, Stewart, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sieg, Wilfried, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Svozil, Karl, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Turner, David, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wolenski, Jan, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wolenski, Jan, </subfield><subfield code="e">editor.</subfield><subfield code="4">edt</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/edt</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">DGBA Backlist Complete English Language 2000-2014 PART1</subfield><subfield code="z">9783110238570</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">DGBA Backlist Philosophy 2000-2014 (EN)</subfield><subfield code="z">9783110238488</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">DGBA Philosophy 2000 - 2014</subfield><subfield code="z">9783110636949</subfield><subfield code="o">ZDB-23-GPH</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">eBook Paket De Gruyter Ontos 2002-2012</subfield><subfield code="z">9783110331219</subfield><subfield code="o">ZDB-23-DON</subfield></datafield><datafield tag="776" ind1="0" ind2=" "><subfield code="c">print</subfield><subfield code="z">9783110324945</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1515/9783110325461</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://www.degruyter.com/isbn/9783110325461</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="3">Cover</subfield><subfield code="u">https://www.degruyter.com/document/cover/isbn/9783110325461/original</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">978-3-11-023848-8 DGBA Backlist Philosophy 2000-2014 (EN)</subfield><subfield code="c">2000</subfield><subfield code="d">2014</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">978-3-11-023857-0 DGBA Backlist Complete English Language 2000-2014 PART1</subfield><subfield code="c">2000</subfield><subfield code="d">2014</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_BACKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_CL_PLTLJSIS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_DGALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EBACKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EBKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_ECL_PLTLJSIS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EEBKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_ESSHALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_SSHALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV-deGruyter-alles</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA11SSHE</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA13ENGE</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA17SSHEE</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA5EBK</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-DON</subfield><subfield code="c">2002</subfield><subfield code="d">2012</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-GPH</subfield><subfield code="c">2000</subfield><subfield code="d">2014</subfield></datafield></record></collection> |