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-15 z 23
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ł:
Ontologiczny dowód Gödla z ograniczoną redukcją modalności
Autorzy:
Świętorzecka, Kordula
Powiązania:
https://bibliotekanauki.pl/articles/705971.pdf
Data publikacji:
2012-09-01
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
dowód ontologiczny
K. Gödel
dowód na istnienie Boga
teodycea,formalizacja
Opis:
Prezentowane rozważania są efektem poszukiwania możliwie słabej podstawy formalnej dla modalnej wersji ontologicznego argumentu na konieczne istnienie Boga, naszkicowanego przez K. Gödla. Dotychczasowe modalne rekonstrukcje notatki Gödla Ontologischer Beweis (1970) najczęściej opierają argumentację Gödla na różnych kwantyfikatorowych rozszerzeniach logiki modalnej S5 lub B. System S5, jako podstawa formalna zamierzona przez samego autora, umożliwia określoną konstrukcję argumentu ontologicznego, jednak z drugiej strony ten sposób rozumienia modalności może być uważany także za źródło słabości opartej na nim teorii Absolutu - redukcja modalności S5 (i B) może dawać okazję do formułowania krytyki w stylu Gaunilona. Standardowe rozszerzenie S5 lub B do logiki kwantyfikatorowej jest uwikłane w dalsze komplikacje: w odpowiednio rozbudowanej standardowej semantyce światów możliwych rozstrzyga się, że modele tych logik mają stałe uniwersum indywiduów. Tymczasem to rozstrzygnięcie nie ma związku z zasadniczym problemem rozważanym w formalizmie Gödla. W proponowanej wersji argumentu Gödla ograniczam redukcję modalności S5 do wybranego specyficznego kontekstu dotyczącego istnienia Absolutu. Logiką, która pozwala zachować konstrukcję argumentacji Gödla, okazuje się system S4. Otrzymaną teorię wiążę z semantyką światów możliwych z możliwie zmiennymi uniwersami. Istnienie indywiduów wyrażam za pomocą kwantyfikatora Ǝ interpretowanego aktualistycznie, bez użycia pierwotnego predykatu istnienia.
Źródło:
Przegląd Filozoficzny. Nowa Seria; 2012, 3; 21-34
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ł:
A Note on Gödel-Dummet Logic LC
Autorzy:
Robles, Gemma
Méndez, José M.
Powiązania:
https://bibliotekanauki.pl/articles/2033854.pdf
Data publikacji:
2021-07-01
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
Intermediate logics
Gödel-Dummet logic LC
Opis:
Let \(A_{0},A_{1},...,A_{n}\) be (possibly) distintict wffs, \(n\) being an odd number equal to or greater than 1. Intuitionistic Propositional Logic IPC plus the axiom \((A_{0}\rightarrow A_{1})\vee ...\vee (A_{n-1}\rightarrow A_{n})\vee (A_{n}\rightarrow A_{0})\) is equivalent to Gödel-Dummett logic LC. However, if \(n\) is an even number equal to or greater than 2, IPC plus the said axiom is a sublogic of LC.
Źródło:
Bulletin of the Section of Logic; 2021, 50, 3; 325-335
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Remarks on the Gödelian Anti-Mechanist Arguments
Autorzy:
Raatikainen, Panu
Powiązania:
https://bibliotekanauki.pl/articles/1796974.pdf
Data publikacji:
2020
Wydawca:
Polskie Towarzystwo Semiotyczne
Tematy:
Gödel
incompleteness
mechanism
Opis:
Certain selected issues around the Gödelian anti-mechanist arguments which have received less attention are discussed.
Źródło:
Studia Semiotyczne; 2020, 34, 1; 267-278
0137-6608
Pojawia się w:
Studia Semiotyczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Gödel, Wittgenstein and the Sensibility of Platonism
Autorzy:
Poręba, Marcin
Powiązania:
https://bibliotekanauki.pl/articles/1357900.pdf
Data publikacji:
2021-06-30
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Tematy:
concepts
Gödel
intuition
mathematics
Platonism
realism
rule-following
Wittgenstein
Opis:
The paper presents an interpretation of Platonism, the seeds of which can be found in the writings of Gödel and Wittgenstein. Although it is widely accepted that Wittgenstein is an anti-Platonist the author points to some striking affinities between Gödel’s and Wittgenstein’s accounts of mathematical concepts and the role of feeling and intuition in mathematics. A version of Platonism emerging from these considerations combines realism with respect to concepts with a view of concepts as accessible to feeling and able to guide our behavior through feeling.
Źródło:
Eidos. A Journal for Philosophy of Culture; 2021, 5, 1; 108-125
2544-302X
Pojawia się w:
Eidos. A Journal for Philosophy of Culture
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On Martin-Löf’s Constructive Optimism
Autorzy:
Peluce, V. Alexis
Powiązania:
https://bibliotekanauki.pl/articles/1796975.pdf
Data publikacji:
2020
Wydawca:
Polskie Towarzystwo Semiotyczne
Tematy:
optimism
pessimism
Martin-Löf
Gödel’s disjunction
Opis:
In his 1951 Gibbs Memorial Lecture, Kurt Gödel put forth his famous disjunction that either the power of the mind outstrips that of any machine or there are absolutely unsolvable problems. The view that there are no absolutely unsolvable problems is optimism, the view that there are such problems is pessimism. In his 1995—and, revised in 2013—Verificationism Then and Now, Per Martin-Löf presents an illustrative argument for a constructivist form of optimism. In response to that argument, Solomon Feferman points out that Martin-Löf’s reasoning relies upon constructive understandings of key philosophical notions. In the vein of Feferman’s analysis, one might be object to Martin-Löf’s argument for either its reliance upon constructivist (as opposed to classical) considerations, or for its appeal to non-unproblematically mathematical premises. We argue that both of these responses fall short. On one hand, to be critical of Martin-Löf’s reasoning for its constructiveness is to reject what would otherwise be a scientific advance on the basis of the assumption of constructivism’s falsehood or implausibility, which is of course uncharitable at best. On the other hand, to object to the argument for its use of non-unproblematically mathematical premises is to assume that there is some philosophically neutral mathematics, which is implausible. Martin-Löf’s argument relies upon his third law, the claim that from the impossibility of a proof of a proposition we can construct a proof of its negation. We close with a discussion of some ways in which this claim can be criticized from the constructive point of view. Specifically, we contend that Martin-Löf’s third law is incompatible with what has been called “Poincaré’s Principle of Epistemic Conservation”, the thesis that genuine increase in mathematical knowledge requires subject-specific insight.
Źródło:
Studia Semiotyczne; 2020, 34, 1; 233-242
0137-6608
Pojawia się w:
Studia Semiotyczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Relation between (fuzzy) Gödel ideals and (fuzzy) Boolean ideals in BL-algebras
Autorzy:
Paad, Akbar
Powiązania:
https://bibliotekanauki.pl/articles/728828.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
BL-algebra
(fuzzy) filter
(fuzzy) Boolean ideal
(fuzzy) Gödel ideal
Opis:
In this paper, we study relationships between among (fuzzy) Boolean ideals, (fuzzy) Gödel ideals, (fuzzy) implicative filters and (fuzzy) Boolean filters in BL-algebras. In [9], there is an example which shows that a Gödel ideal may not be a Boolean ideal, we show this example is not true and in the following we prove that the notions of (fuzzy) Gödel ideals and (fuzzy) Boolean ideals in BL-algebras coincide.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2016, 36, 1; 45-58
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
What are the limits of mathematical explanation? Interview with Charles McCarty by Piotr Urbańczyk
Autorzy:
McCarty, David Charles
Urbańczyk, Piotr
Powiązania:
https://bibliotekanauki.pl/articles/691211.pdf
Data publikacji:
2016
Wydawca:
Copernicus Center Press
Tematy:
mathematics
logic
mathematical explanation
limits of explanation
mathematical proof
proof-core
intuitionism
constructivsim
Gödel’s Incompleteness Theorems
intuitionistics mathematics
classical mathematics
Axiom of Choice
Opis:
An interview with Charles McCarty by Piotr Urbańczyk concerning  mathematical explanation.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2016, 60; 119-137
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
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ł:
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ł:
On the Anti-Mechanist Arguments Based on Gödel’s Theorem
Autorzy:
Krajewski, Stanisław
Powiązania:
https://bibliotekanauki.pl/articles/1796977.pdf
Data publikacji:
2020
Wydawca:
Polskie Towarzystwo Semiotyczne
Tematy:
Gödel’s theorem
mechanism
Lucas’s argument
Penrose’s argument
computationalism
mind
consistency
algorithm
artificial intelligence
natural number
Opis:
The alleged proof of the non-mechanical, or non-computational, character of the human mind based on Gödel’s incompleteness theorem is revisited. Its history is reviewed. The proof, also known as the Lucas argument and the Penrose argument, is refuted. It is claimed, following Gödel himself and other leading logicians, that antimechanism is not implied by Gödel’s theorems alone. The present paper sets out this refutation in its strongest form, demonstrating general theorems implying the inconsistency of Lucas’s arithmetic and the semantic inadequacy of Penrose’s arithmetic. On the other hand, the limitations to our capacity for mechanizing or programming the mind are also indicated, together with two other corollaries of Gödel’s theorems: that we cannot prove that we are consistent (Gödel’s Unknowability Thesis), and that we cannot fully describe our notion of a natural number.
Źródło:
Studia Semiotyczne; 2020, 34, 1; 9-56
0137-6608
Pojawia się w:
Studia Semiotyczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Diagonal Anti-Mechanist Arguments
Autorzy:
Kashtan, David
Powiązania:
https://bibliotekanauki.pl/articles/1796972.pdf
Data publikacji:
2020
Wydawca:
Polskie Towarzystwo Semiotyczne
Tematy:
mechanism
mind
computability
incompleteness theorems
computation-al theory of mind
the cogito
diagonal arguments
Gödel
Descartes
Tarski
Turing
Chomsky
Opis:
Gödel’s first incompleteness theorem is sometimes said to refute mechanism about the mind. §1 contains a discussion of mechanism. We look into its origins, motivations and commitments, both in general and with regard to the human mind, and ask about the place of modern computers and modern cognitive science within the general mechanistic paradigm. In §2 we give a sharp formulation of a mechanistic thesis about the mind in terms of the mathematical notion of computability. We present the argument from Gödel’s theorem against mechanism in terms of this formulation and raise two objections, one of which is known but is here given a more precise formulation, and the other is new and based on the discussion in §1.
Źródło:
Studia Semiotyczne; 2020, 34, 1; 203-232
0137-6608
Pojawia się w:
Studia Semiotyczne
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ł
Tytuł:
Understanding, Expression and Unwelcome Logic
Autorzy:
Holub, Štěpán
Powiązania:
https://bibliotekanauki.pl/articles/1796970.pdf
Data publikacji:
2020
Wydawca:
Polskie Towarzystwo Semiotyczne
Tematy:
mechanism
Gödel’s theorem
Turing machine
hermeneutics
Opis:
In this paper I will attempt to explain why the controversy surrounding the alleged refutation of Mechanism by Gödel’s theorem is continuing even after its unanimous refutation by logicians. I will argue that the philosophical point its proponents want to establish is a necessary gap between the intended meaning and its formulation. Such a gap is the main tenet of philosophical hermeneutics. While Gödel’s theorem does not disprove Mechanism, it is nevertheless an important illustration of the hermeneutic principle. The ongoing misunderstanding is therefore based in a distinction between a metalogical illustration of a crucial feature of human understanding, and a logically precise, but wrong claim. The main reason for the confusion is the fact that in order to make the claim logically precise, it must be transformed in a way which destroys its informal value. Part of this transformation is a clear distinction between the Turing Machine as a mathematical object and a machine as a physical device.
Źródło:
Studia Semiotyczne; 2020, 34, 1; 183-202
0137-6608
Pojawia się w:
Studia Semiotyczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 23

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