The Question of the Boundaries of Computer Science

Janusz Mączka; Adam Olszewski

doi:10.21852/sem.2020.4.04

Opublikowane: 2022-09-20

Tom 41 Nr 4 (2020)

Problem granic informatyki

Janusz Mączka

, Adam Olszewski

Seminare. Poszukiwania naukowe

Dział: Z problematyki filozoficznej

https://doi.org/10.21852/sem.2020.4.04

Abstrakt

Robert Spaemann (1927–2018) jest jednym z najbardziej znanych współczesnych filozofów niemieckich. Jedna z jego najważniejszych książek: Osoby zawiera ontologię osoby, będącą syntezą metafizyki, antropologii i etyki. Celem artykułu jest przedstawienie najważniejszych elementów tej ontologii i ukazanie ich możliwego znaczenia dla aktualnych problemów etycznych. Głównym osiągnięciem Spaemanna jest skuteczna diagnoza obecnego kryzysu osoby oraz wskazanie możliwości jego przezwyciężenia poprzez integralną wizję człowieka.

Słowa kluczowe:

granice, informatyka, teza Churcha, efektywnie, maszyny

Pobierz pliki

PDF (English)

Zasady cytowania

Mączka, J., & Olszewski , A. (2022). Problem granic informatyki . Seminare. Poszukiwania Naukowe, 41(4), 45–57. https://doi.org/10.21852/sem.2020.4.04

Cited by / Share

Bibliografia

Böhm, C., Jacopini, G., (1966). Flow diagrams, Turing machines and languages with only two formation rules. Communications of the Association for Computing Machinery, 9, 366—371.
Google Scholar

Burgin, M. (2005). Super-Recursive Algorithms. Springer.
Google Scholar

Cutland, N. (1980). Computability, Cambridge University Press.
Google Scholar

Eden, A. H. Three Paradigms of Computer Science. pp.1—30, preprint. (Three Paradigms of Computer Science Minds and Machines volume 17(2007), pages 135–167).
Google Scholar

Harel, D. (2000). Rzecz o istocie informatyki. WNT; English original: Algorithmics. The Spirit of Computing, 1987.
Google Scholar

Kielkopf, Ch. F. (1978). The intentionality of the predicate ‘__is recursive’. Notre Dame Journal of Formal Logic, 19, 165—173.
Google Scholar

Odifreddi, P. (1989). Classical Recursion Theory. North-Holland.
Google Scholar

Adam Olszewski, Teza Churcha. Kontekst historyczno-filozoficzny; (“Church's Thesis. Historical and Philosophical Context”), Universitas 2009.
Google Scholar

Parsons, Ch. (2008). Mathematical Thought and Its Objects, CUP.
Google Scholar

Shapiro, S. C. (2014) Computer Science: The Study of Procedures, http://www.cse.buffalo.edu.
Google Scholar

Wang, H. (1957). A variant of Turing ‘s theory of calculating machines. JACM (Journal of the Association for Computing Machinery). 4, 63—92.
Google Scholar

Webster’s Third New International Dictionary, unabridged (1993).
Google Scholar