9 found
Order:
  1. About Connections Between Computer Science and Mathematics.Izabela Bondecka-Krzykowska - 2010 - Filozofia Nauki 18 (1):77.
  2. Dowody komputerowe a status epistemologiczny twierdzeń matematyki.Izabela Bondecka-Krzykowska - 1999 - Filozofia Nauki 3.
    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 (...)
    Translate
     
     
    Export citation  
     
    My bibliography  
  3. Informatyka jako nauka.Izabela Bondecka-Krzykowska - 2014 - Roczniki Filozoficzne 62 (3):85-102.
    Artykuł ten jest próbą odpowiedzi na pytanie o status informatyki jako dyscypliny wiedzy oraz o miejsce, jakie zajmuje ona pośród innych nauk.Wśród informatyków i filozofów dominują cztery poglądy dotyczące statusu informatyki jako nauki. Pierwszym z nich jest twierdzenie, że informatyka to gałąź matematyki. Jeżeli podstawową działalnością informatyków jest pisanie programów – działalność matematyczna – to informatyka jest po prostu działem matematyki, czyli nauką formalną. Nie wszyscy jednak badacze zgadzają się z tym poglądem, twierdząc, że pisanie programów to rodzaj eksperymentu, a (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  4. O związkach informatyki z matematyką.Izabela Bondecka-Krzykowska - 2010 - Filozofia Nauki 18 (1).
    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 (...)
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  5. Remarks on Ontology of Virtual Reality.Izabela Bondecka-Krzykowska - 2012 - Filozofia Nauki 20 (4).
  6. Remarks on the Structuralistic Epistemology of Mathematics* Izabela Bondecka-Krzykowska and Roman Murawski.Izabela Bondecka-Krzykowska - 2006 - Logique Et Analyse 49:31-41.
     
    Export citation  
     
    My bibliography  
  7. Structuralism and Category Theory in the Contemporary Philosophy of Mathematics.Izabela Bondecka-Krzykowska & Roman Murawski - 2008 - Logique Et Analyse 51 (204):365.
  8. Strukturalizm jako alternatywa dla platonizmu w filozofii matematyki.Izabela Bondecka-Krzykowska - 2004 - Filozofia Nauki 1.
    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 (...)
    Translate
     
     
    Export citation  
     
    My bibliography  
  9. Uwagi na temat ontologii wirtualnej rzeczywistości.Izabela Bondecka-Krzykowska - 2012 - Filozofia Nauki 20 (4).
    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 (...)
    Translate
     
     
    Export citation  
     
    My bibliography