|
|
|
|
| LEADER |
00000cam a2200000 a 4500 |
| 001 |
75147 |
| 003 |
CZ-ZlUTB |
| 005 |
20251006170618.0 |
| 006 |
m d |
| 007 |
cr un |
| 008 |
130624s2013 mau sb 001 0 eng d |
| 020 |
|
|
|a 9780262312677
|q (ebook)
|
| 035 |
|
|
|a (OCoLC)849928726
|z (OCoLC)851157227
|z (OCoLC)881288837
|
| 040 |
|
|
|a N$T
|c N$T
|d YDXCP
|d CDX
|d OCLCF
|d IEEEE
|d IDEBK
|d AZU
|d COO
|
| 245 |
0 |
0 |
|a Computability
|h [elektronický zdroj] :
|b Turing, Gödel, Church, and beyond /
|c edited by Jack Copeland, Carl Posy, and Oron Shagrir.
|
| 260 |
|
|
|a Cambridge, Massachusetts :
|b The MIT Press,
|c [2013]
|
| 300 |
|
|
|a 1 online zdroj (pages cm.)
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 505 |
0 |
|
|a Turing versus Gödel on computability and the mind / B. Jack Copeland and Oron Shagrir -- Computability and arithmetic / Martin Davis -- About and around Computing over the reals / Solomon Feferman -- The Church-Turing "thesis" as a special corollary of Gčodel's completeness theorem / Saul A. Kripke -- Computability and constructibility / Carl J. Posy -- After Gčodel / Hilary Putnam -- The open texture of computability / Stewart Shapiro -- Gčodel's philosophical challenge (to Turing) / Wilfried Sieg -- Interactive computing and relativized computability / Robert Irving Soare -- Why philosophers should care about computational complexity / Scott Aaronson -- Is quantum mechanics falsifiable? A computational perspective on the foundations of quantum mechanics / Dorit Aharonov and Umesh V. Vazirani.
|
| 506 |
|
|
|a Plný text je dostupný pouze z IP adres počítačů Univerzity Tomáše Bati ve Zlíně nebo vzdáleným přístupem pro zaměstnance a studenty univerzity
|
| 650 |
|
0 |
|a Computational complexity.
|
| 650 |
|
0 |
|a Mathematics
|x Philosophy.
|
| 655 |
|
7 |
|a elektronické knihy
|7 fd186907
|2 czenas
|
| 655 |
|
9 |
|a electronic books
|2 eczenas
|
| 700 |
1 |
|
|a Copeland, B. Jack,
|d 1950-
|e editor of compilation.
|
| 700 |
1 |
|
|a Posy, Carl J.,
|e editor of compilation.
|
| 700 |
1 |
|
|a Shagrir, Oron,
|d 1961-
|e editor of compilation.
|
| 776 |
0 |
8 |
|i Print version:
|t Computability.
|d Cambridge, Massachusetts : The MIT Press, [2013]
|z 9780262018999
|w (DLC) 2012039321
|w (OCoLC)813540892
|
| 856 |
4 |
0 |
|u https://proxy.k.utb.cz/login?url=http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6554353
|
| 992 |
|
|
|a BK
|c EBOOK-TN
|c MITPRESS
|
| 999 |
|
|
|c 75147
|d 75147
|
| 993 |
|
|
|x NEPOSILAT
|y EIZ
|
