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ę "Gödel" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-8 z 8
    Tytuł:
    Czy matematyka jest składnią języka? Kurta Gödla argument przeciwko formalizmowi
    Is Mathematics Syntax of Language? Kurt Gödel’s Argument against Formalism
    Autorzy:
    Głowacki, Maciej
    Powiązania:
    https://bibliotekanauki.pl/articles/2142987.pdf
    Data publikacji:
    2021-11-20
    Wydawca:
    Uniwersytet Warszawski. Wydział Filozofii
    Tematy:
    Kurt Gödel
    formalism
    syntactic interpretation of mathematics
    Rudolf Carnap
    platonism
    Opis:
    In this paper, I critically examine Kurt Gödel’s argument against the syntactic interpretation of mathematics. While the main aim is to analyze the argument, I also wish to underscore the relevance of the original elements of Gödel’s philosophical thought. The paper consists of four parts. In the first part, I introduce the reader to Gödel’s philosophy. In the second part, I reconstruct the formalist stance in the philosophy of mathematics, which is the object of Gödel’s criticism. In the third part, I sketch his argument against the syntactic interpretation of mathematics. Finally, I discuss some controversies regarding the argument.
    Źródło:
    Filozofia Nauki; 2021, 29, 1; 43-61
    1230-6894
    2657-5868
    Pojawia się w:
    Filozofia Nauki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Czy Gödel unicestwił marzenie Leibniza?
    Autorzy:
    Krajewski, Stanisław
    Powiązania:
    https://bibliotekanauki.pl/articles/2103009.pdf
    Data publikacji:
    2016
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    G.W. Leibniz
    K. Gödel
    mechanizacja myślenia
    sztuczna inteligencja
    twierdzenia limitacyjne
    Opis:
    Marzeniem Leibniza było, aby zmechanizować rozumowania tak, by stały się podobne do obliczeń maszynowych. Dzisiejszy sposób ujęcia tego planu to pomysł, by zaprogramować proces rozumowania. Twierdzenie Gödla zakwestionowało realność tego marzenia – nawet w odniesieniu do matematyki. Nie wyklucza ono jednak tego, że cała dostępna ludziom matematyka mogłaby być zaprogramowana przez hipotetyczną nadludzką inteligencję. Zarazem jest widoczne, że od kilkudziesięciu lat rozwijają się komputery, robotyka, sztuczna inteligencja, czyli w praktyce marzenie Leibniza ulega stopniowej realizacji. Ponadto, wbrew wyobrażeniom Leibniza, nawet percepcja jest częściowo symulowana maszynowo. Mimo wielkich sukcesów sztuczna inteligencja napotyka fundamentalne przeszkody. Ich wspólnym mianownikiem jest konieczność uwzględniania kontekstu.
    Źródło:
    Przegląd Filozoficzny. Nowa Seria; 2016, 4; 497-504
    1230-1493
    Pojawia się w:
    Przegląd Filozoficzny. Nowa Seria
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Dawne godła polskich aptek i problem ich ochrony
    THE ANCIENT SIGNS OF THE POLISH PHARMACIES AND THE PROBLEM OF THEIR PROTECTION
    Autorzy:
    Roeske, Wojciech
    Powiązania:
    https://bibliotekanauki.pl/articles/535294.pdf
    Data publikacji:
    1973
    Wydawca:
    Narodowy Instytut Dziedzictwa
    Tematy:
    godła apteczne
    godła dawnych aptek
    inwentaryzacja godeł aptecznych
    motywy zwierzęce w godłach aptek
    Opis:
    The a u th o r, a h is to rian of p h a rm a cy , is d ealin g w ith a h ighly in te re s tin g an d new p ro b lem of p ro te c tio n of signs an d emb lems in old tim e s m a rk in g th e an c ie n t Po lish p h a rm a c ie s. In th e s e a p p a re n tly u n im p o rta n t relics may be tra c ed th e c en tu rie s old tra d itio n a c comp an y in g th e d ev e lo pm en t of p h a rm a cy . A lth o u g h n o t a ll an c ie n t p h a rm a cy signs can be considered as th o se possessing h igh a rtis tic or a r c h ite c tu ra l v a lu e s it is th e h is to ric a l reaso n s th a t d ic ta te a n u rg e n t n e ed to p re s e rv e th em in place s w h e re th e y w e re c re a ted . An ap p ro a ch to th e p h a rm a cy signs according to w h ich th ey could be tre a te d as th e o b je c ts from th e a re a of th e Polish m a te ria l c u ltu re w ill e n ab le th e ir p ro te c tio n an d p re s e rv a tio n . The m a tte r h a s risen to im p o rta n t p ro b lem a s th e ra p id g row th of h e a lth service an d th e th u s ad v an c in g to ta l mo d e rn iz a tio n of p h a rm a c ie s pro v id e s an easily u n d e rs ta n d a b le rise to fe a rs th a t th e n o t s a tisfa c to rily considered decisions can be m ad e le ad in g to rem o v a l of an c ie n t p h a rm a cy signs. In his a rtic le th e a u th o r gives a good d eal of h is to ric a l an d p h a rm a c e u tic a l in fo rm a tio n ex p la in in g th e p ro v en an c e of p h a rm a c y signs. In a n tiq u ity as w e ll as in th e Middle Ages v a rious k in d s of symbols w e re in use fo r m a rk in g th e dw e llin g -h o u se s, th e a rtis a n s ’ w o rk sh o p s or tra d e sm e n ’s sta lls th e re a s th e n um e ric a l m a rk in g s w e re in tro d u c e d a t th e much la te r dates. Th e above e x p lan a tio n re la te s in eq u a l m e a su re to signs of th e a n c ie n t p h a rm a c ie s. T h e ir fir s t specimens in P o lan d may be fo u n d as la te as in th e six te e n th c en tu ry . L ik e on th e whole E u ro p e an co n tin e n t also in th is co u n try v a rio u s c rite ria w e re ap p lied fo r th e ir choice. The motifs, th e persons, symbols a s w e ll as th e n am e s of p a tro n s fo r signs a n d emb lems w e re ta k e n from b o th G re ek an d Roman mythology (e.g. Aesculapius, Hygea, Themis, Minerva), from th e Holy Bible (Holy Virgin Mary, angels, saints) a n d from among th e o u ts tan d in g h is to ric a l p erso n ag es (e.g. K in g Ca sim iru s th e G re a t, Qu e en Hedvig, C o p e rnicus, G en e ra l Kościuszko or King S ta n is la u s A u g u stus). A n o th e r g ro u p of symbols was ta k e n from th e re a lm of an im a ls as, e.g. a lion, a tig e r, an e lep h an t, a n eagle , or from th a t of p la n ts ; to th e la s t group of symbols belonged th e th in g s as, fo r in s tan c e , a crown, a b ell, a s ta r o r th e su n an d s.o. A ll signs can be co n sid e red as ex p re s sio n s of th e d e fin ite h is to ric a l c ircum s tan c e s or fe a tu re s ; so, fo r ex am p le , as one of th e mo st e a rly signs used fo r p h a rm a c ie s may be q uoted th a t of a Negro w h ich th e fig u re h ad to rem in d th a t th e m ed ic in a l p la n ts an d o th e r stu ffs w e re im p o rted from o verseas. In sev e ra l in s tan c e s th e p h a rm a cy sign was im m e d ia te ly co nnected w ith th e n am e of th e d ru g g ist himself. As a step fo rw a rd an d , in addition, w e ll se rv in g th e id e a of p re s e rv a tio n of those in te re s ting re lic s is to be con sid e red th e ir in v en to ry in g th e need of w h ich th e a ction is stro n g ly emphasized by th e a u th o r. H av in g th e re so u rc e s a t h an d a p p ro p ria te ly re co rd ed it w ill be possible to u n d e rta k e th e fu r th e r actions. T h e re is bey o n d an y discussion or dou b t th a t th e p h a rm a c y signs a n d emblems owing to th e ir ra r ity a n d in d iv id u a lity sh o u ld be p re s e rv e d a s th e specimens of n a tio n a l c u ltu re .
    Źródło:
    Ochrona Zabytków; 1973, 1; 47-56
    0029-8247
    Pojawia się w:
    Ochrona Zabytków
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Filozofia w nauce i nauka w filozofii. Kilka uwag w świetle myśli Stanisława Lema
    Autorzy:
    Gomułka, Łukasz
    Powiązania:
    https://bibliotekanauki.pl/articles/15049149.pdf
    Data publikacji:
    2016
    Wydawca:
    Polska Akademia Nauk. Czasopisma i Monografie PAN
    Tematy:
    epistemologia
    filozofia
    nauka
    matematyzowalność świata
    technologia
    K. Gödel
    S. Lem
    M. Heller
    J. Woleński
    Źródło:
    Przegląd Filozoficzny. Nowa Seria; 2016, 2; 539-552
    1230-1493
    Pojawia się w:
    Przegląd Filozoficzny. Nowa Seria
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Ludwiga Wittgensteina krytyka pierwszego twierdzenia Gödla
    Ludwig Wittgenstein’s Critique of Gödel’s First Incompleteness Theorem
    Autorzy:
    Wierzbińska, Greta
    Powiązania:
    https://bibliotekanauki.pl/articles/2012892.pdf
    Data publikacji:
    2010
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    Wittgenstein
    I twierdzenie Gödla
    sprzeczność
    filozofia matematyki
    Gödel’s First Incompleteness Theorem
    inconsistency
    philosophy of mathematics
    Opis:
    Wittgenstein’s RFM remarks on Gödel’s First Incompleteness Theorem have been widely criticized, ridiculed or dismissed out of hand. The principal reason for this is negative evaluation of Wittgenstein’s critique is not Wittgenstein rejection of the standard interpretation of Gödel’s result but rather an exaggerated reaction to a alleged “mistake” Wittgenstein makes while discussing GIT. The aim of my paper, which due to Wittgenstein’s method is merely a draft, is to pull apart the different and the very distinct strands in these remarks to understand them in the context of Wittgenstein’s own philosophy of mathematics, and to determine what merit they have. To understand Wittgenstein’s attitude I will point out his hostility towards mathematical realism, hostility based on the “rule-following considerations” and his conventionalism. As I shall show, the aim of Wittgenstein’s critique is not a proof itself but it’s certain philosophical interpretation (prose). On a number of occasions this leads Wittgenstein to say that we should simply ‘withdraw’ or ‘give up’ this interpretation as if the contradiction goes away with the natural language interpretation.
    Źródło:
    Roczniki Filozoficzne; 2010, 58, 2; 207-235
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Czy istnieją czynności umysłu, których nie można reprezentować za pomocą maszyn Turinga?
    Are there activities of the mind that cannot be represented by Turing machines?
    Autorzy:
    Fornal, Marzena
    Powiązania:
    https://bibliotekanauki.pl/articles/38425363.pdf
    Data publikacji:
    2023-09-11
    Wydawca:
    Akademia Humanistyczno-Ekonomiczna w Łodzi
    Tematy:
    komputacjonizm
    obliczeniowa teoria umysłu
    argument gödlowski
    Roger Penrose
    maszyna Turinga
    Kurt Gödel
    John Randolph Lucas
    computationalism
    computational theory of mind
    Gödelian argument
    Turing machine
    Opis:
    Artykuł stanowi próbę odpowiedzi na pytanie, czy jesteśmy w stanie wskazać takie czynności umysłu, które nie są możliwe do reprezentacji za pomocą maszyny Turinga? Jest to zatem pytanie o to, czy wszystkie nasze stany mentalne posiadają obliczeniową naturę. Problem ten będzie rozważany w odniesieniu do tak zwanego argumentu gödlowskiego, opierającego się na dwóch twierdzeniach Gödla: 1) o niezupełności oraz 2) o niedowodliwości niesprzeczności, skierowanego przeciwko obliczeniowym teoriom umysłu. Argument ten w wersji zaprezentowanej przez Johna Randolpha Lucasa zostanie poddany krytycznej analizie, która doprowadzi do pozytywnych wniosków zawartych w końcowej części artykułu.
    The article is an attempt to answer the question whether we are able to identify such activities of the mind that are not possible to be represented by a Turing machine? Thus, it is a question of whether all our mental states have a computational nature. This problem will be considered in relation to the so-called Gödel argument, based on two Gödel theorems: 1. on incompleteness and 2. on the incompleteness of non-contradiction, directed against computational theories of mind. This argument, as presented by John Randolph Lucas, will be critically analyzed, which will lead to positive conclusions in the final part of the article.
    Źródło:
    Kultura i Wychowanie; 2023, 23, 1; 107-115
    2544-9427
    2083-2923
    Pojawia się w:
    Kultura i Wychowanie
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Filozofia i logika intuicjonizmu
    Autorzy:
    Fila, Marlena
    Powiązania:
    https://bibliotekanauki.pl/articles/429258.pdf
    Data publikacji:
    2015
    Wydawca:
    Uniwersytet Papieski Jana Pawła II w Krakowie
    Tematy:
    intuitionism
    axioms
    matrices truth-
    Heyting system
    Gödel theorem about the inadequacy of finite dimensional matrices for Heyting system
    infinite sequence of matrices
    Opis:
    At the end of the 19th century in the fundamentals of mathematics appeared a crisis. It was caused by the paradoxes found in Cantor’s set theory. One of the ideas a resolving the crisis was intuitionism – one of the constructivist trends in the philosophy of mathematics. Its creator was Brouwer, the main representative was Heyting. In this paper described will be attempt to construct a suitable logic for philosophical intuitionism theses. In second paragraph Heyting system will be present – its axioms and matrices truth-. Later Gödel theorem about the inadequacy of finite dimensional matrices for this system will be explained. At the end this paper an infinite sequence of matrices adequate for Heyting axioms proposed by Jaśkowski will be described.
    Źródło:
    Semina Scientiarum; 2015, 14
    1644-3365
    Pojawia się w:
    Semina Scientiarum
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Zagadnienie konstruowalności logik modalnych i relewantnych
    The Problem of Possibility of Construction of Modal and Relevance Logics
    Autorzy:
    Januszewski, Ernest
    Powiązania:
    https://bibliotekanauki.pl/articles/2015846.pdf
    Data publikacji:
    2020-10-15
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    logika modalna
    logika relewantna
    filozofia logiki
    reguła Gödla
    reguła koniecznościowania
    modal logic
    relevance logic
    philosophy of logic
    Gödel's rule
    rule of necessitation
    Opis:
    In the paper various ways are shown of constructing both modal and relevance logics. An attempt is undertaken of interpreting modal functors occurring in these logics. In the discussion special attention is paid to logical necessity. Connection of this necessity and tautologies of the classical sentential calculus is pointed to. Next, some intuitive considerations are quoted that resulted in accepting or refusing certain theses or rules on the ground of both modal and relevance logics. Especially much attention is paid to Gödel's rule. It is stated that at the moment when modal and relevance logics were constructed satisfactory philosophical considerations were not made. In particular, it was not decided if the constructed systems give correct formalization of modal notions, and if they may be used for formalization of deductive ways of infering.
    Źródło:
    Roczniki Filozoficzne; 2003, 51, 1; 85-112
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-8 z 8

      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