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ę "thesis" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-3 z 3
    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ł:
    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