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ł:
The Problematic Nature of Gödel’s Disjunctions and Lucas-Penrose’s Theses
Autorzy:
Avron, Arnon
Powiązania:
https://bibliotekanauki.pl/articles/1796961.pdf
Data publikacji:
2020
Wydawca:
Polskie Towarzystwo Semiotyczne
Tematy:
Gödel disjunction
Lucas-Penrose argument
mechanism
mind
computationalism
Opis:
We show that the name “Lucas-Penrose thesis” encompasses several different theses. All these theses refer to extremely vague concepts, and so are either practically meaningless, or obviously false. The arguments for the various theses, in turn, are based on confusions with regard to the meaning(s) of these vague notions, and on unjustified hidden assumptions concerning them. All these observations are true also for all interesting versions of the much weaker (and by far more widely accepted) thesis known as “Gö- del disjunction”. Our main conclusions are that pure mathematical theorems cannot decide alone any question which is not purely mathematical, and that an argument that cannot be fully formalized cannot be taken as a mathematical proof.
Źródło:
Studia Semiotyczne; 2020, 34, 1; 83-108
0137-6608
Pojawia się w:
Studia Semiotyczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Using Kreisel’s Way Out to Refute Lucas-Penrose-Putnam Anti-Functionalist Arguments
Autorzy:
Buechner, Jeff
Powiązania:
https://bibliotekanauki.pl/articles/1796962.pdf
Data publikacji:
2020
Wydawca:
Polskie Towarzystwo Semiotyczne
Tematy:
functionalism
Computational Liar
Gödel incompleteness theorems
finitary computational machine
mathematical certainty
finitary reasoning
epistemic refutation
metaphysical refutation
epistemic justification
recursively unsolvable
epistemic modality
finitary computational description
Opis:
Georg Kreisel (1972) suggested various ways out of the Gödel incompleteness theorems. His remarks on ways out were somewhat parenthetical, and suggestive. He did not develop them in subsequent papers. One aim of this paper is not to develop those remarks, but to show how the basic idea that they express can be used to reason about the Lucas-Penrose-Putnam arguments that human minds are not (entirely) finitary computational machines. Another aim is to show how one of Putnam’s two anti-functionalist arguments (that use the Gödel incompleteness theorems) avoids the logical error in the Lucas-Penrose arguments, extends those arguments, but succumbs to an absurdity. A third aim is to provide a categorization of the Lucas-Penrose-Putnam anti-functionalist arguments.
Źródło:
Studia Semiotyczne; 2020, 34, 1; 109-158
0137-6608
Pojawia się w:
Studia Semiotyczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Gödel’s Incompleteness Theorem and the Anti-Mechanist Argument: Revisited
Autorzy:
Cheng, Yong
Powiązania:
https://bibliotekanauki.pl/articles/1796969.pdf
Data publikacji:
2020
Wydawca:
Polskie Towarzystwo Semiotyczne
Tematy:
Gödel’s incompleteness theorem
the Anti-Mechanist Argument
Gödel’s Disjunctive Thesis
intensionality
Opis:
This is a paper for a special issue of Semiotic Studies devoted to Stanislaw Krajewski’s paper (2020). This paper gives some supplementary notes to Krajewski’s (2020) on the Anti-Mechanist Arguments based on Gödel’s incompleteness theorem. In Section 3, we give some additional explanations to Section 4–6 in Krajewski’s (2020) and classify some misunderstandings of Gödel’s incompleteness theorem related to AntiMechanist Arguments. In Section 4 and 5, we give a more detailed discussion of Gödel’s Disjunctive Thesis, Gödel’s Undemonstrability of Consistency Thesis and the definability of natural numbers as in Section 7–8 in Krajewski’s (2020), describing how recent advances bear on these issues.
Źródło:
Studia Semiotyczne; 2020, 34, 1; 159-182
0137-6608
Pojawia się w:
Studia Semiotyczne
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ł:
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ł:
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ł:
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ł:
Syntax-Semantics Interaction in Mathematics
Autorzy:
Heller, Michael
Powiązania:
https://bibliotekanauki.pl/articles/561342.pdf
Data publikacji:
2018
Wydawca:
Polskie Towarzystwo Semiotyczne
Tematy:
philosophy of mathematics
categorical logic
syntax-semantic interaction
Bell’s program
Gödel-like limitations
Opis:
Mathematical tools of category theory are employed to study the syntaxsemantics problem in the philosophy of mathematics. Every category has its internal logic, and if this logic is sufficiently rich, a given category provides semantics for a certain formal theory and, vice versa, for each (suitably defined) formal theory one can construct a category, providing a semantics for it. There exists a pair of adjoint functors, Lang and Syn, between a category (belonging to a certain class of categories) and a category of theories. These functors describe, in a formal way, mutual dependencies between the syntactical structure of a formal theory and the internal logic of its semantics. Bell’s program to regard the world of topoi as the univers de discours of mathematics and as a tool of its local interpretation, is extended to a collection of categories and all functors between them, called “categorical field”. This informal idea serves to study the interaction between syntax and semantics of mathematical theories, in an analogy to functors Lang and Syn. With the help of these concepts, the role of Gödel-like limitations in the categorical field is briefly discussed. Some suggestions are made concerning the syntax-semantics interaction as far as physical theories are concerned.
Źródło:
Studia Semiotyczne; 2018, 32, 2; 87-105
0137-6608
Pojawia się w:
Studia Semiotyczne
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ł
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ł:
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ł:
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ł:
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ł
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