Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "Church’s Thesis" wg kryterium: Temat


Wyświetlanie 1-3 z 3
Tytuł:
Can a Robot Be Grateful? Beyond Logic, Towards Religion
Autorzy:
Krajewski, Stanisław
Powiązania:
https://bibliotekanauki.pl/articles/451269.pdf
Data publikacji:
2018-12-28
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Tematy:
computer science
robot
Gödel’s theorem
digitalization
Pythagoreanism
context
Church’s Thesis
philosophy of dialogue
gratitude
prayer
Opis:
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 permanence of human superiority over robots. To justify this superiority, Gödel’s theorem has been invoked, but it can be demonstrated that this is not sufficient. Other attempts are based on the scope and fullness of our perception and feelings. Yet the fact is that more and more can be computer simulated. In order to secure human superiority over robots, reference to the realm of human relations and attitudes seems more promising. Insights provided by philosophy of dialogue can help. They suggest an ultimate extension of the Turing test. In addition, it seems that in order to justify the belief in human superiority one must rely on the individual experiences that indicate a realm that is not merely subjective. It makes sense to call it religious.
Źródło:
Eidos. A Journal for Philosophy of Culture; 2018, 2, 4(6); 4-13
2544-302X
Pojawia się w:
Eidos. A Journal for Philosophy of Culture
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Chaos a nieobliczalność
Chaos and Incomputability
Autorzy:
Wilk, Andrzej
Powiązania:
https://bibliotekanauki.pl/articles/31341757.pdf
Data publikacji:
2014
Wydawca:
Polska Akademia Nauk. Instytut Filozofii i Socjologii PAN
Tematy:
teoria obliczalności
teoria chaosu
teza Churcha
theory of computability
theory of chaos
Church’s thesis
Opis:
Tekst jest poświęcony problemowi implementacji nieobliczalności w świecie realnym. Podstawowe pytanie jest takie: czy logiczna nieefektywność ma swoją realizację w świecie fizycznym, albo, czy niealgorytmiczność posiada swój „fizyczny/ materialny” nośnik? Konkluzja jest zaś następująca: algorytmicznie zinterpretowana teoria chaosu deterministycznego koresponduje z przypadkową/nierozstrzygalną częścią matematyki. Trzeba przy tym jednak stale mieć na względzie, że zawsze jest to nierozstrzygalność, niealgorytmiczność, przypadkowość z modelu, w którym dokonujemy deskrypcji.
The paper is devoted to the problem of the implementation of incomputability in the real world. It considers the following basic question: has logical noneffectiveness its realization in the physical world or, has non-algorithmicity a physical/ material medium? The conclusion is: the algorithmically interpreted theory of deterministic chaos corresponds with the non-random/decidable part of mathematics. It should be, however, taken into account that it is always the nonalgorithmicity, randomness of models in which a description is formed.
Źródło:
Filozofia i Nauka; 2014, 2; 323-337
2300-4711
2545-1936
Pojawia się w:
Filozofia i Nauka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Prawda a teza Churcha – wyzwanie rzucone tomistom
Truth and Church’s Thesis – The Challenge to the Tomists
Autorzy:
Olszewski, Adam
Powiązania:
https://bibliotekanauki.pl/articles/29432372.pdf
Data publikacji:
2020
Wydawca:
Uniwersytet Papieski Jana Pawła II w Krakowie
Tematy:
prawda
definicja
św. Tomasz z Akwinu
teza Churcha
pojęcie
truth
definition
St. Thomas Aquinas
Church’s thesis
concept
Opis:
Artykuł stawia sobie za cel, poprzez skorzystanie z bogactwa pojęciowego systemu filozofii św. Tomasza i z użyciem jego typu pojęć, sformułowanie ważnego zagadnienia współczesnej filozofii matematyki – tezy Churcha [CT]. Wskazany cel starano się najpierw uzyskać przez pogłębioną analizę Tomaszowego określenia prawdy jako „adaequatio rei et intellectus”. Analiza ta ujawniła wielkie bogactwo treści filozoficznych leżących u podstaw i ukazała jej nietrywialność. Efektem końcowym jest próba sformułowania tezy Churcha jako specyficznej instantacji definicji prawdy Tomasza. Wynik pracy jest niejednoznaczny i dlatego stanowi swoiste wyzwanie dla zwolenników tomizmu do dyskusji na ten temat.
The paper aims, by using the richness of the conceptual system of St. Thomas' philosophy and using his type of concepts, to formulate an important issue of contemporary philosophy of mathematics - Church's thesis [CT]. The above-mentioned goal was first attempted to be achieved through a deeper analysis of Thomas's definition of truth as "adaequatio rei et intellectus". This analysis revealed a great wealth of underlying philosophical content and showed its nontriviality. The final result is an attempt to formulate Church’s thesis as a specific instance of Thomas’ definition of truth. The result of the work is ambiguous and therefore it constitutes a specific challenge for the supporters of Thomism to discuss this topic.
Źródło:
Analecta Cracoviensia; 2020, 52; 195-212
2391-6842
0209-0864
Pojawia się w:
Analecta Cracoviensia
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-3 z 3

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies