Zobrazeno 1 - 10
of 190
pro vyhledávání: '"church's thesis"'
Autor:
Janusz Mączka, Adam Olszewski
Publikováno v:
Seminare, Vol 41, Iss 4 (2022)
A thesis defining the boundaries of computer science is first formulated in relation to a certain work of Stuart Shapiro. It is argued that these boundaries are determined by the properties of the mind in the real world. It is the Church thesis that
Externí odkaz:
https://doaj.org/article/43b03d36255448038ee73bae4090f6a2
Autor:
Olszewski, Adam
Publikováno v:
Analecta Cracoviensia. Czasopismo Uniwersytetu Papieskiego Jana Pawła II w Krakowie / Analecta Cracoviensia. Journal of the Pontifical University of John Paul II in Krakow. (53):111-139
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=1061713
Autor:
Nathan Salmon
Publikováno v:
Philosophies, Vol 8, Iss 2, p 27 (2023)
The “somewhat vague, intuitive” notion from computability theory of an effective procedure (method) or algorithm can be fairly precisely defined, even if it does not have a purely mathematical definition—and even if (as many have asserted) for
Externí odkaz:
https://doaj.org/article/ab2ebacb2b7d454a85bbc4d7f09cb251
Autor:
Olszewski, Adam
Publikováno v:
Analecta Cracoviensia. Czasopismo Uniwersytetu Papieskiego Jana Pawła II w Krakowie / Analecta Cracoviensia. Journal of the Pontifical University of John Paul II in Krakow. (52):195-212
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=994299
Autor:
Mączka, Janusz, Olszewski, Adam
Publikováno v:
Seminare. Poszukiwania naukowe / Seminare. Learned Investigations. 41(4):45-57
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=952761
Autor:
Mycka Jerzy, Olszewski Adam
Publikováno v:
Studies in Logic, Grammar and Rhetoric, Vol 63, Iss 1, Pp 31-51 (2020)
The article analyses the role of Church’s Thesis (hereinafter CT) in the context of the development of hypercomputation research. The text begins by presenting various views on the essence of computer science and the limitations of its methods. The
Externí odkaz:
https://doaj.org/article/ebc661cccc064e5bac578f90121922d9
Autor:
Stanisław Krajewski
Publikováno v:
Eidos. A Journal for Philosophy of Culture, Vol 2, Iss 4, Pp 4-13 (2018)
Philosophy should seriously take into account the presence of computers. Computer enthusiasts point towards a new Pythagoreanism, a far reaching generalization of logical or mathematical views of the world. Most of us try to retain a belief in the pe
Externí odkaz:
https://doaj.org/article/9b508a2dfa2c4cc1bb842a8de13f15af
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Wilfried Sieg
Publikováno v:
Studia Semiotyczne, Vol 34, Iss 1 (2020)
DOI: http://doi.org/10.26333/sts.xxxiv1.03 The incompleteness theorems constitute the mathematical core of Gödel’s philosophical challenge. They are given in their “most satisfactory form”, as Gödel saw it, when the formality of theories t
Externí odkaz:
https://doaj.org/article/a8326b8460be4ed189d010b827e43455
Autor:
Horsten, Leon, editor, Welch, Philip, editor
Externí odkaz:
https://doi.org/10.1093/acprof:oso/9780198759591.001.0001
