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ę "Stacewicz, Paweł" wg kryterium: Autor

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-8 z 8
    Tytuł:
    Co łączy umysł z teorią liczb?
    What Connects the Mind with the Theory of Numbers?
    Autorzy:
    Stacewicz, Paweł
    Powiązania:
    https://bibliotekanauki.pl/articles/965280.pdf
    Data publikacji:
    2012-09-01
    Wydawca:
    Uniwersytet Warszawski. Wydział Filozofii
    Opis:
    According to the methodology of cognitive science we consider a hypothesis (justified partially by cognitive applications of computer science), that the mind functions similarly to a computer. Philosophical consequences of this thesis are as follows: (1) there exists a mental code (similar to the code of computer program); (2) this code can be represented as one unique number; (3) this number can be computable or non-computable. If the number representing mental code is computable (by Turing machine), then it is theoretically possible to implement the mind (all cognitive processes) by means of digital techniques of data processing (because digital computers are equivalent in a theory to Turing machines). If the „mental number” belongs to a class of noncomputable numbers, however, it is highly possible that only other techniques (for example, analog or partially random ones) can guarantee an overall computer implementation of human cognition.
    Źródło:
    Filozofia Nauki; 2012, 20, 3; 111-126
    1230-6894
    2657-5868
    Pojawia się w:
    Filozofia Nauki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Dwa nurty rozwojowe sztucznej inteligencji
    The Two Strands of Development of Artificial Intelligence
    Autorzy:
    Stacewicz, Paweł
    Powiązania:
    https://bibliotekanauki.pl/articles/965539.pdf
    Data publikacji:
    2001-09-01
    Wydawca:
    Uniwersytet Warszawski. Wydział Filozofii
    Źródło:
    Filozofia Nauki; 2001, 9, 3; 133-143
    1230-6894
    2657-5868
    Pojawia się w:
    Filozofia Nauki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    O związkach matematyki z filozofią na przykładzie projektu Archipelag Matematyki
    Autorzy:
    Stacewicz, Paweł
    Powiązania:
    https://bibliotekanauki.pl/articles/429224.pdf
    Data publikacji:
    2014
    Wydawca:
    Uniwersytet Papieski Jana Pawła II w Krakowie
    Tematy:
    philosophy
    mathematics
    virtual world of mathematics
    computing
    infinity
    Opis:
    Some new, philosophically inspired, methods of teaching mathematics are discussed in this paper. These methods are implemented and embedded in the virtual environment of learning and exploring mathematics, called officially Archipelago of Mathematics (available at www.archipelagmatematyki.pl). They seem to be effective due to different interconnections between mathematics and philosophy (both historical and contemporary).After describing methodological assumptions, goals, methods and the structure of Archipelago, I present two, designed by me, examples of its contents: (1) quasi-internet chat with the ghost of G.W. Leibniz (on metaphysics, philosophical aspects of calculus, and artificial intelligence); and (2) radio-style interview with a farmer on the mathematical theory of sets and infinity. Presented materials show such a relationships between mathematics and philosophy like: philosophical origin of some mathematical concepts, philosophical implications of some math. ideas and theorems, heuristic function of philosophical discussions in mathematics.
    Źródło:
    Semina Scientiarum; 2014, 13
    1644-3365
    Pojawia się w:
    Semina Scientiarum
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    O znaczeniu pojęć informatycznych dla filozofii na przykładzie rozróżnienia między cyfrowością i analogowością
    On the importance of computer science concepts for philosophy on the example of the distinction between digitality and analogicity
    Autorzy:
    Stacewicz, Paweł
    Powiązania:
    https://bibliotekanauki.pl/articles/41318987.pdf
    Data publikacji:
    2020
    Wydawca:
    Polska Akademia Nauk. Instytut Filozofii i Socjologii PAN
    Tematy:
    information
    digitality
    analogicity
    computing power
    computational worldview
    informacja
    cyfrowość
    analogowość
    moc obliczeniowa
    światopogląd informatyczny
    Opis:
    W niniejszej pracy pokazujemy, w jaki sposób formalne pojęcia informatyczne – takie, jak kodowanie, algorytm czy obliczalność – mogą być interpretowane filozoficznie, w tym ontologicznie i epistemologicznie. Interpretacje takie prowadzą do pytań i problemów, których robocze rozwiązania składają się na jakąś formę prefilozoficznego światopoglądu. W pracy kładziemy nacisk na pytania inspirowane informatycznym rozróżnieniem cyfrowości i analogowości, które ma swój matematyczny pierwowzór w matematycznym rozróżnieniu dyskretności i ciągłości. Między innymi są to następujące pytania: 1) czy głęboka struktura fizykalnej rzeczywistości ma charakter cyfrowy, czy analogowy, 2) czy ludzki umysł przypomina bardziej informatyczny system cyfrowy czy analogowy, 3) czy odpowiedź na pytanie drugie daje nam owocny poznawczo wgląd w ograniczenia poznawcze umysłu? Za szczególnie istotną podstawę powyższych pytań uznajemy fakt, że moc obliczeniowa (tj. zakres rozwiązywalnych problemów) niektórych typów obliczeń analogowych jest większa od mocy obliczeń cyfrowych.
    In this paper we show how formal computer science concepts—such as encoding, algorithm or computability—can be interpreted philosophically, including ontologically and epistemologically. Such interpretations lead to questions and problems, the working solutions of which constitute some form of pre-philosophical worldview. In this work we focus on questions inspired by the IT distinction between digitality and analogicity, which has its mathematical origin in the mathematical distinction between discreteness and continuity. These include the following questions: 1) Is the deep structure of physical reality digital or analog, 2) does the human mind resemble a more digital or analog computational system, 3) does the answer to the second question give us a cognitively fruitful insight into the cognitive limitations of the mind? As a particularly important basis for the above questions, we consider the fact that the computational power (i.e., the range of solvable problems) of some types of analog computations is greater than that of digital computations.
    Źródło:
    Filozofia i Nauka; 2020, 8, 1; 213-233
    2300-4711
    2545-1936
    Pojawia się w:
    Filozofia i Nauka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Liczby nieobliczalne a granice kodowania w informatyce
    Autorzy:
    Stacewicz, Paweł
    Powiązania:
    https://bibliotekanauki.pl/articles/561262.pdf
    Data publikacji:
    2018
    Wydawca:
    Polskie Towarzystwo Semiotyczne
    Tematy:
    kodowanie liczbowe
    liczby obliczalne
    liczby nieobliczalne
    maszyna Turinga
    obliczenia cyfrowe
    obliczenia analogowe
    nieskończoność
    numerical coding
    computable numbers
    uncomputable numbers
    Turing machine
    digital computations
    analogue computations
    infinity
    Opis:
    Opis danych i programów komputerowych za pomocą liczb jest epistemologicznie użyteczny, ponieważ pozwala określać granice różnego typu obliczeń. Dotyczy to w szczególności obliczeń dyskretnych (cyfrowych), opisywalnych za pomocą liczb obliczalnych w sensie Turinga. Matematyczny fakt istnienia liczb rzeczywistych innego typu, tj. nieobliczalnych, wyznacza minimalne ograniczenia technik cyfrowych; z drugiej strony jednak, wskazuje na możliwość teoretycznego opracowania i fizycznej implementacji technik obliczeniowo silniejszych, takich jak obliczenia analogowe-ciągłe. Przedstawione w artykule analizy prowadzą do wniosku, że fizyczne implementacje obliczeń niekonwencjonalnych (niecyfrowych) wymagają występowania w przyrodzie wielkości nieskończonych aktualnie (a nie tylko potencjalnie). Za fizycznym istnieniem takich wielkości przemawiają wprawdzie pewne argumenty fizyki teoretycznej, nie są one jednak ostateczne.
    The description of data and computer programs with the use of numbers is epistemologically valuable, because it allows the definition of the limits of different types of computations. This applies in particular to discrete (digital) computations, which can be described by means of computable numbers in the Turing sense. The mathematical fact that there are other types of real numbers, i.e. uncomputable numbers, determines the minimal limitations of digital techniques; on the other hand, however, it points to the possibility of theoretical development and physical implementation of computationally stronger techniques, such as analogue-continuous computations. Analyses presented in this article lead to the conclusion that physical implementations of unconventional (non-digital) computations require the occurrence of actually infinite entities in nature. Although some arguments of theoretical physics support the physical existence of such entities, they are not definitive.
    Źródło:
    Studia Semiotyczne; 2018, 32, 2; 131-152
    0137-6608
    Pojawia się w:
    Studia Semiotyczne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    O różnych sposobach rozumienia analogowości w informatyce
    Autorzy:
    Stacewicz, Paweł
    Powiązania:
    https://bibliotekanauki.pl/articles/429157.pdf
    Data publikacji:
    2017
    Wydawca:
    Uniwersytet Papieski Jana Pawła II w Krakowie
    Tematy:
    continuous computations
    analog computations
    analogicity
    GPAC model
    Turing machine
    natural computing
    hypercomputations
    computability
    Opis:
    Two different types of analog computations are discussed in the paper: 1)analog-continuous computations (performed physically upon continuous signals),2) analog-analogical computations (performed naturally by means of socalled natural analogons of mathematical operations). They are analyzed withregard to such questions like: a) are continuous computations physically implementable?b) what is the actual computational power of different analogtechniques? c) can natural (empirical) computations be such reliable as digital?d) is it possible to develop universal analog computers (assuming that theyshould be functionally similar to universal Turing machine)? Presented analysesare rather methodological than formal.
    Źródło:
    Semina Scientiarum; 2017, 16
    1644-3365
    Pojawia się w:
    Semina Scientiarum
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    O informatycznej kategorii analogowości i jej stosowalności w biologii molekularnej
    On the Computer-Science Category of Analogicity and the Possibility of its Application in Molecular Biology
    Autorzy:
    Stacewicz, Paweł
    Siedliński, Radosław
    Powiązania:
    https://bibliotekanauki.pl/articles/967771.pdf
    Data publikacji:
    2020-10-31
    Wydawca:
    Uniwersytet Warszawski. Wydział Filozofii
    Opis:
    The main aim of this paper is to justify the thesis that in molecular biology - in the scope of phenomena fundamental for the functioning of the cell - a significant role is played by analog (nondiscrete) information, which can be described in computational terms. It is a methodological thesis, indicating a certain direction of advancing new biological hypotheses. This aim is realized in two stages. In sections 1 and 2 we discuss the computer-science concept of analogicity, generally describing different concepts of analog-continuous and analog-empirical computations, as well as discussing the relationship between analogicity and digitality. In sections 3 and 4 we analyze some components of the process of protein formation, emphasizing that an adequate description of this process requires taking into account information of an analog nature, which, with a certain research attitude, can be described, but also used, computationally.
    Źródło:
    Filozofia Nauki; 2020, 28, 3; 47-71
    1230-6894
    2657-5868
    Pojawia się w:
    Filozofia Nauki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Testy modelu świata i teorii umysłu jako podstawa budowy zaufania do podmiotów moralnych typu AGI
    Tests of World Model and Theory of Mind as Tools for Building Trust in Moral AGI Agents
    Autorzy:
    Sołoducha, Krzysztof
    Stacewicz, Paweł
    Powiązania:
    https://bibliotekanauki.pl/articles/37557772.pdf
    Data publikacji:
    2024
    Wydawca:
    Akademia Ignatianum w Krakowie
    Tematy:
    etyka sztucznej inteligencji
    zaufanie do technologii
    sztuczny podmiot moralny
    test teorii umysłu
    test modelu świata
    ethics of artificial intelligence
    trust in technology
    artificial moral agent
    theory of mind test
    world model test
    Opis:
    W artykule rozważany jest problem budowania zaufania do artefaktów obliczeniowych typu AGI (ang. Artificial General Intelligence), z etycznego punktu widzenia określanych jako podmioty moralne explicite. W wyniku analizy opartej na badaniach literatury oraz przedstawieniu aktualnych trendów w rozwoju systemów AI wskazanych jest kilka warunków skonstruowania testów behawioralnych niezbędnych do sprawdzania poprawności ich działania z etycznego punktu widzenia. Przeprowadzenie takich testów powinno ułatwić procedury etycznej aprobaty systemów AGI zarówno na poziomie wytwórców, indywidualnego użytkownika, jak i jednostek certyfikujących.
    The paper considers the problem of building trust in computational artefacts of the AGI (Artificial General Intelligence) type, which are defined from an ethical point of view as explicite moral agents. As a result of an analysis based on research of the literature and current trends in the development of AGI systems, several conditions have been presented for the construction of behavioural tests necessary to check the correctness of their functioning considered both from an ethical and social point of view. Conducting of such tests should simplify the market approval procedures of AGI systems at the level of manufacturers, the individual users and certification authorities.
    Źródło:
    Perspektywy Kultury; 2024, 45, 2; 391-404
    2081-1446
    2719-8014
    Pojawia się w:
    Perspektywy Kultury
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-8 z 8

      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