Informacja

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

Wyszukujesz frazę "Olszewski, Adam" wg kryterium: Autor


Wyświetlanie 1-7 z 7
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ł:
Will a human always outsmart a computer? An essay
Autorzy:
Olszewski, Adam
Powiązania:
https://bibliotekanauki.pl/articles/28763389.pdf
Data publikacji:
2022
Wydawca:
Copernicus Center Press
Tematy:
existential experience
myth
computer
machine
Banach-Mazur games
winning strategy
Opis:
The title question of the paper has its empirical origin in the form of an individual’s existential experience arising from the personal use of a computer, which we attempt to describe in the first section. The rest of the entire paper can be understood as a philosophical essay answering the question posed. First the connection between the main problem of the article and its “premonition” by mankind, which was expressed in the form of ancient myths and legends, is briefly suggested. After shortly discussing the problems that early considerations of AI focused on, i.e. whether machines can think at all, we move on to reformulate our title question, about the possibility of outsmarting AI. This outsmarting will be understood by us in a rather limited way as to prevent a machine from completing its implemented task. To achieve this objective, after softly clarifying the basic terms, an analogy is built between the “outsmarting” of a machine by a human (the target domain) and the playing of a mathematical game between two players (the base domain), where this outsmarting is assigned a “winning strategy” in the certain game. This mathematical model is formed by games similar to Banach-Mazur games. The strict theorems of such games are then proved and applied to the target of the analogy. We then draw conclusions and look for counter-examples to our findings. The answer to the title question posed is negative, and it is not clear how far it should be taken seriously.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2022, 73; 259-280
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
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ł:
Matematyka czy teologia? Hilbert, Gordan i początki formalizmu
Mathematics or Theology? Hilbert, Gordan and the Beginning of the Formalism
Autorzy:
Olszewski, Adam
Powiązania:
https://bibliotekanauki.pl/articles/690964.pdf
Data publikacji:
2012
Wydawca:
Copernicus Center Press
Tematy:
philosophy of mathematics
theology
David Hilbert
Paul Gordan
formalism
Opis:
The aim of the article is two-fold: first, to analyse the impact Gordan’s problem had on Hilbert’s Programme and, secondly, to discuss, mainly from the theological standpoint, Gordan’s phrase: ”This is not Mathematics, this is Theology”.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2012, 51; 131-149
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
U źródeł zbiorów kolektywnych
Autorzy:
Olszewski, Adam
Powiązania:
https://bibliotekanauki.pl/articles/690976.pdf
Data publikacji:
2014
Wydawca:
Copernicus Center Press
Tematy:
mereologia
matematyka
logika
filozofia matematyki
filozofia logiki
Opis:
Recenzja książki: Lidia Obojska, U źródeł zbiorów kolektywnych. O mereologii nieantysymetrycznej, Wydawnictwo Uniwersytetu Przyrodniczo-Humanistycznego w Siedlcach, Siedlce 2013, ss. 180.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2014, 55; 167-171
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Negation in the language of theology – some issues
Autorzy:
Olszewski, Adam
Powiązania:
https://bibliotekanauki.pl/articles/691084.pdf
Data publikacji:
2018
Wydawca:
Copernicus Center Press
Tematy:
logic
theology
negation
difference
negation-as-failure
strong negation
imperative negation
notae theologice
Opis:
The paper consists of two parts. In the first one I present some general remarks regarding the history of negation and attempt to answer the philosophical question concerning the essence of negation. In the second part I resume the theological teaching on the degrees of certainty (notae theologice) and point to five forms of negation – known from other areas of research -- as applied in the framework of theological investigations.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2018, 65
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Podmiot matematyczny Hilberta
Hilbert’s mathematical subject
Autorzy:
Brożek, Bartosz
Olszewski, Adam
Powiązania:
https://bibliotekanauki.pl/articles/690816.pdf
Data publikacji:
2013
Wydawca:
Copernicus Center Press
Tematy:
philosophy of mathematics
mathematical subject
David Hilbert
Opis:
The aim of this paper is threefold. First, on the basis of Gordan’s problem and Hilbert’s basis theorem we want to say a few words about the formation of Hilbert’s philosophy of mathematics in the late nineteenth and early twentieth centuries. Second, we attempt to reconstruct Hilbert’s Program highlighting the role of reasoning which is not conducted within the axiomatic system. Third, we formulate and try to justify the claim that Hilbert’s Program assumes some metaphysics of the subject that – in general terms – is identical with Kant’s transcendental subject.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2013, 53; 93-132
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-7 z 7

    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