Informacja

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

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-9 z 9
    Tytuł:
    Kilka uwag o Tezie Churcha i Aksjomacie Hilberta
    Some remarks concerning Church's Thesis and Hilbert's Axiom
    Autorzy:
    Olszewski, Adam
    Powiązania:
    https://bibliotekanauki.pl/articles/690900.pdf
    Data publikacji:
    2006
    Wydawca:
    Copernicus Center Press
    Tematy:
    Church's Thesis
    Hilbert's Axiom
    philosophy of mathematics
    Opis:
    Some facts concerning Church's Thesis are first reminded, then Hilbert's Axiom of Thought is formulated. Hilbert proposed this axiom in 1905. He believed that it belongs to a domain of knowledge that is prior with respect to mathematics. An attempt is made to apply this axiom to some considerations concerning Church's Thesis
    Źródło:
    Zagadnienia Filozoficzne w Nauce; 2006, 38; 114-126
    0867-8286
    2451-0602
    Pojawia się w:
    Zagadnienia Filozoficzne w Nauce
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    O nieusuwalności podmiotu matematycznego
    On the irremovability of mathematical subject
    Autorzy:
    Olszewski, Adam
    Powiązania:
    https://bibliotekanauki.pl/articles/690732.pdf
    Data publikacji:
    2010
    Wydawca:
    Copernicus Center Press
    Tematy:
    Church's thesis
    fan theorem
    Koenig's lemma
    mathematical subject
    Opis:
    In the paper the author attempts to show that the Mathematical Subject is irremovable from the Philosophy of Mathematics. In doing so he wants to argue, first, that Church's Thesis should be seen as a statement about the Mathematical Subject. Second, he wants to show that philosophical relations between some problems such as Koenig's lemma vs Fan theorem, or Goedel's theorem on incompleteness vs. Halting problem, could be better grasped within the framework of the Mathematical Subject.
    Źródło:
    Zagadnienia Filozoficzne w Nauce; 2010, 46; 100-117
    0867-8286
    2451-0602
    Pojawia się w:
    Zagadnienia Filozoficzne w Nauce
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Gödel’s Philosophical Challenge (to Turing)
    Autorzy:
    Sieg, Wilfried
    Powiązania:
    https://bibliotekanauki.pl/articles/1796958.pdf
    Data publikacji:
    2020
    Wydawca:
    Polskie Towarzystwo Semiotyczne
    Tematy:
    computability
    Church's Thesis
    Turing's Thesis
    incompleteness
    undecid-ability
    Post production systems
    computable dynamical systems
    Opis:
    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 to which they apply is characterized via Turing machines. These machines codify human mechanical procedures that can be carried out without appealing to higher cognitive capacities. The question naturally arises, whether the theorems justify the claim that the human mind has mathematical abilities that are not shared by any machine. Turing admits that non-mechanical steps of intuition are needed to transcend particular formal theories. Thus, there is a substantive point in comparing Turing’s views with Gödel’s that is expressed by the assertion, “The human mind infinitely surpasses any finite machine”. The parallelisms and tensions between their views are taken as an inspiration for beginning to explore, computationally, the capacities of the human mathematical mind.
    Źródło:
    Studia Semiotyczne; 2020, 34, 1; 57-80
    0137-6608
    Pojawia się w:
    Studia Semiotyczne
    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ł:
    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ł:
    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ł
    Tytuł:
    Semantics and symbol grounding in Turing machine processes
    Autorzy:
    Sarosiek, Anna
    Powiązania:
    https://bibliotekanauki.pl/articles/429109.pdf
    Data publikacji:
    2017
    Wydawca:
    Uniwersytet Papieski Jana Pawła II w Krakowie
    Tematy:
    Steven Harnad
    symbolic system
    semantic system
    symbol grounding problem
    Turing machine
    Turing test
    Church-Turing Thesis
    artificial intelligent
    cognition
    Opis:
    The aim of the paper is to present the underlying reason of the unsolved symbolgrounding problem. The Church-Turing Thesis states that a physical problem,for which there is an algorithm of solution, can be solved by a Turingmachine, but machine operations neglect the semantic relationship betweensymbols and their meaning. Symbols are objects that are manipulated on rulesbased on their shapes. The computations are independent of the context, mentalstates, emotions, or feelings. The symbol processing operations are interpretedby the machine in a way quite different from the cognitive processes.Cognitive activities of living organisms and computation differ from each other,because of the way they act in the real word. The result is the problem ofmutual understanding of symbol grounding.
    Źródło:
    Semina Scientiarum; 2017, 16
    1644-3365
    Pojawia się w:
    Semina Scientiarum
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The Anti-Mechanist Argument Based on Gödel’s Incompleteness Theorems, Indescribability of the Concept of Natural Number and Deviant Encodings
    Autorzy:
    Quinon, Paula
    Powiązania:
    https://bibliotekanauki.pl/articles/1796973.pdf
    Data publikacji:
    2020
    Wydawca:
    Polskie Towarzystwo Semiotyczne
    Tematy:
    the Lucas-Penrose argument
    the Church-Turing thesis
    Carnapian expli-cations
    natural numbers
    computation
    conceptual engineering
    conceptual fixed points
    conceptual vicious circles
    deviant encodings
    structuralism
    Opis:
    This paper reassesses the criticism of the Lucas-Penrose anti-mechanist argument, based on Gödel’s incompleteness theorems, as formulated by Krajewski (2020): this argument only works with the additional extra-formal assumption that “the human mind is consistent”. Krajewski argues that this assumption cannot be formalized, and therefore that the anti-mechanist argument – which requires the formalization of the whole reasoning process – fails to establish that the human mind is not mechanistic. A similar situation occurs with a corollary to the argument, that the human mind allegedly outperforms machines, because although there is no exhaustive formal definition of natural numbers, mathematicians can successfully work with natural numbers. Again, the corollary requires an extra-formal assumption: “PA is complete” or “the set of all natural numbers exists”. I agree that extra-formal assumptions are necessary in order to validate the anti-mechanist argument and its corollary, and that those assumptions are problematic. However, I argue that formalization is possible and the problem is instead the circularity of reasoning that they cause. The human mind does not prove its own consistency, and outperforms the machine, simply by making the assumption “I am consistent”. Starting from the analysis of circularity, I propose a way of thinking about the interplay between informal and formal in mathematics.
    Źródło:
    Studia Semiotyczne; 2020, 34, 1; 243-266
    0137-6608
    Pojawia się w:
    Studia Semiotyczne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Modlitwa głębokiego przebłagania w ascezie i mistyce bł. Doroty z Mątów Wielkich
    The prayer of deep propitiation in the asceticism and mysticism of Blessed Dorothy of Great Montau
    Autorzy:
    Parcheniak, Małgorzata
    Powiązania:
    https://bibliotekanauki.pl/articles/2155023.pdf
    Data publikacji:
    2022-12-30
    Wydawca:
    Gdańskie Seminarium Duchowne
    Tematy:
    blessed Dorothy of Great Montau
    mysticism
    prayer of deep propitiation
    the thesis of the Church's doctorate
    bł. Dorota z Mątów Wielkich
    mistyka
    modlitwa głębokiego przebłagania
    teza doktoratu Kościoła
    Opis:
    Bł. Dorota z Mątów Wielkich (1347-1394) jest jedną z najwybitniejszych ekspiatorek średniowiecznej i nowożytnej Europy. Przedmiotem tego artykułu są akty ekspiacji, wykonywane przez nią w formie modlitwy głębokiego przebłagania. Analiza tego fenomenu, przeprowadzona na podstawie źródeł drukowanych, prowadzi do określenia jego: przyczyn, przebiegu, istoty i skutków oraz sformułowania jednej z tez doktoratu Kościoła, postulowanego w stosunku do Doroty Swertfeger. Artykuł zawiera ponadto inne postulaty naukowe.     
    Blessed Dorothy of Great Montau (1347-1394) is one of the most outstanding expiatrixes of medieval and modern Europe. The subject of this article are the acts of expiation, performed by her in the form of a prayer of deep propitiation. The analysis of this phenomenon, carried out on the basis of printed sources, leads to the determination of its: causes, course, essence and effects, as well as to the formulation of one of the theses of the Church's doctorate, postulated in relation to Dorothy Swertfeger. The article also contains the other scientific postulates.   
    Źródło:
    Studia Gdańskie; 2022, 51; 71-88
    0137-4338
    Pojawia się w:
    Studia Gdańskie
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-9 z 9

      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