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ę "Bondecka-Krzykowska, Izabela" wg kryterium: Autor


Wyświetlanie 1-4 z 4
Tytuł:
Strukturalizm jako alternatywa dla platonizmu w filozofii matematyki
Structuralism as an Alternative View to Platonism in the Philosophy of Mathematics
Autorzy:
Bondecka-Krzykowska, Izabela
Powiązania:
https://bibliotekanauki.pl/articles/965293.pdf
Data publikacji:
2004-03-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Opis:
The aim of this paper is to analyze structuralism as an alternative view to platonism in the philosophy of mathematics. We also try to find out if ontological and epistemological problems of platonism can be avoided by admitting the principles of structuralism. Structuralism claims that mathematical objects are merely positions in structures and have no identity or in general any important features outside these structures. Such view allows to avoid problems of the nature of numbers and other mathematical objects. But the chief motivation of structuralism is in fact epistemological. It offers a nice way of explaining how one can get the knowledge of mathematical objects by the process of abstraction. On the other hand, there are many problems connected with mathematical structuralism. Some of them are analyzed in the paper. We come to the conclusion that mathematical structuralism, up to now, can't express the whole truth about mathematics.
Źródło:
Filozofia Nauki; 2004, 12, 1; 19-28
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
O związkach informatyki z matematyką
About Connections between Computer Science and Mathematics
Autorzy:
Bondecka-Krzykowska, Izabela
Powiązania:
https://bibliotekanauki.pl/articles/966620.pdf
Data publikacji:
2010-03-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Opis:
The article is an attempt to answer one of the most important question in the philosophy of computer science: is a computer science a new branch of mathematics or an engineering discipline? Mathematical methods in computer science (especially in the process of program designing and producing, software and hardware verification) are discussed. In the article are considered problems connected with acceptance of mathematical paradigm in computer science. The main issue is the problem of philosophical consequences of regarding computer science as a branch of mathematics.
Źródło:
Filozofia Nauki; 2010, 18, 1; 77-89
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Dowody komputerowe a status epistemologiczny twierdzeń matematyki
Computer Proofs and the Epistemological Status of Mathematical Theorems
Autorzy:
Bondecka-Krzykowska, Izabela
Powiązania:
https://bibliotekanauki.pl/articles/963695.pdf
Data publikacji:
1999-09-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Opis:
The article is an attempt at collecting and systematising views on the role and place of computers in mathematics, in particular the views on the consequences of using computers in proving mathematical theorems. The following issues are considered in the article: the problem connected with the concept of mathematical proof and its features; the attempts at answering the question whether computer proofs are genuine mathematical proofs; the problems with methods of checking the correctness of classical and computer-assisted proofs; and finally the problem of the reliability of proofs and a related problem of the validity of mathematical conjectures. The main issue under discussion is the problem of philosophical consequences of regarding computer-assisted proofs as rightful in mathematics and especially its possible influence on the opinion that mathematical knowledge is a priori.
Źródło:
Filozofia Nauki; 1999, 7, 3-4; 103-116
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Uwagi na temat ontologii wirtualnej rzeczywistości
Remarks on Ontology of Virtual Reality
Autorzy:
Bondecka-Krzykowska, Izabela
Powiązania:
https://bibliotekanauki.pl/articles/967217.pdf
Data publikacji:
2012-12-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Opis:
The article is an attempt at collecting some views on ontology of virtual reality (VR). Two types of definitions of virtual reality are discussed and compared: technological (concentrated on technical features of VR) and psychological (concentrated on people’s experiences with VR). In the paper features of virtual reality such as: interaction, artificiality, simulation, full body immersion, networked communications, telepresence and immersion are presented as forming differentia specifica of virtual reality. The main studied issues are ontological problems connected with virtual reality especially ontological status of virtual objects. The main views on this subject are presented: 1) virtual objects are simulations of real objects, 2) some virtual object are as real as their equivalents in the reality (conception of Philip Brey based on Searle's social ontology), 3) virtual worlds as constructions of human mind. Virtual reality shades new light on some classical philosophical problems. In the paper two of them are discussed: 1) distinction between reality and appearances and 2) relations of the real world to a virtual one.
Źródło:
Filozofia Nauki; 2012, 20, 4; 139-153
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-4 z 4

    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