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ę "Wójtowicz, Krzysztof" wg kryterium: Autor

  Lista filtrów

Dostawca treści

Podbaza

Wyrównaj
Wyświetlanie 1-15 z 53
Tytuł:
"Czwarta" nadal uparta
Autorzy:
Wójtowicz, Krzysztof.
Powiązania:
Polsce Wierni 2002, nr 12, s. 13
Data publikacji:
2002
Tematy:
4 Dywizja Piechoty im. J. Kilińskiego kombatanci zjazdy i konferencje Warszawa 2002 r.
Klub Kombatantów 4 Pomorskiej Dywizji Piechoty im. J. Kilińskiego zjazdy i konferencje Warszawa (woj. mazowieckie) 2002 r.
Kombatanci polscy organizacje 2002 r.
Opis:
VII Krajowy Zlot Żołnierzy 4 Dywizji Piechoty im. płk. J. Kilińskiego i IV Walne Zebranie członków Klubu (10-11 IX 2002 r.).
Fot.
Dostawca treści:
Bibliografia CBW
Artykuł
Tytuł:
Abstrakcyjna teoria modeli – semantyczne ujęcie logiki
Abstract Model Theory – The Semantic Account of Logic
Autorzy:
Wójtowicz, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/966950.pdf
Data publikacji:
2015-06-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Opis:
The article presents main motivations underlying investigations into abstract model theory. It introduces basic technical notions and describes some philosophical problems associated with the theory.
Źródło:
Filozofia Nauki; 2015, 23, 2; 69-82
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analiza antyrealizmu modalnego
Analysis of the Modal Antirealism
Autorzy:
Wójtowicz, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/965195.pdf
Data publikacji:
2000-06-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Opis:
In the recent years we can observe a sort of renaissance of the philosophy of mathematics. More and more papers and books are published. A few years ago a new journal (Philosophia Mathematica) devoted exclusively to the philosophy of mathematics started appearing. In the contemporary discussions - especially in the context of the question of the applicability of mathematics to the description of the physical world - the issue of the existence and the ontological status of mathematical objects plays a particular role. Many new conceptions have appeared - both realistic and antirealistic. In the paper one of the antirealistic conceptions formulated in the recent years is presented - namely a conception by C. Chihara [1990]. The author rejects both Gödel's and Quine's arguments for the realistic standpoint. First, these standpoints will be briefly summarised, since they play a significant role in the contemporary philosophy of mathematics - and are particularly important in the context of the discussion upon Chihara's conception. Next, Chihara's arguments will be analysed in detail. As a result it will turn out that these arguments are not conclusive. Chihara's system relies on certain unjustified assumptions. Moreover, the philosophical difficulties that it encounters are not sufficiently discussed.
Źródło:
Filozofia Nauki; 2000, 8, 2; 45-79
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Antyrealistyczna ucieczka w sferę możliwości
Antirealist escape to the realm of possibilities
Autorzy:
Wójtowicz, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/690612.pdf
Data publikacji:
2008
Wydawca:
Copernicus Center Press
Tematy:
Charles S. Chihara
constructivism
Geoffrey Hellman
structuralism
linguistic constructivism
modal structuralism
Opis:
The article is devoted to a popular presentation of two important styles of thinking concerning the problem of existence of mathematical objects: Chihara's linguistic constructivism, and Hellman's modal structuralism. According to Chihara, mathematical statements should be interpreted as referring to certain linguistic construction; according to Hellman, mathematics is the science of possible structures. The motivations and main ideas are examined (without going into technical details), and the similarities and differences between these two viewpoints are highlighted.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2008, 42; 15-27
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Conceptual Design of an Anti-collision System for Light Rail Vehicles
Projekt koncepcyjny systemu antykolizyjnego dla pojazdów szynowych
Autorzy:
Ważny, Mariusz
Falkowski, Krzysztof
Wróblewski, Mirosław
Wojtowicz, Konrad
Marut, Adam
Powiązania:
https://bibliotekanauki.pl/articles/1837978.pdf
Data publikacji:
2021
Wydawca:
Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:
mechanical engineering
anti-collision system
obstacle detection system
image recognition system
expert system
inżynieria mechaniczna
system antykolizyjny
układ wykrywania przeszkód
układ rozpoznania obrazowego
system ekspercki
Opis:
This paper presents the concepts for an anti-collision system intended for trams. The purpose of the anti-collision system is to develop and provide information to support the driver’s decision to initiate the braking of a tram. The anti-collision system is based on the processing of data from multiple sources (obstacle detection, image processing, and visual light communication system) and an expert system. The information about the road situation is visually presented on HUD (Head-up Display) of the driver.
W artykule przedstawiono koncepcje systemu antykolizyjnego przeznaczonego dla pojazdów szynowych. Zadaniem systemu jest wypracowanie informacji wspomagającej motorniczego w podjęciu decyzji o rozpoczęcie procesu hamowania. System opary jest na wykorzystaniu informacji z wielu źródeł (układu wykrywania przeszkód, układu rozpoznania obrazowego, układu komunikacji świetlnej) i na podstawie algorytmu zaimplementowanego w systemie eksperckim, zobrazowaniu informacji dla motorniczego na wyświetlaczu przeziernym.
Źródło:
Problemy Mechatroniki : uzbrojenie, lotnictwo, inżynieria bezpieczeństwa; 2021, 12, 1 (43); 9-26
2081-5891
Pojawia się w:
Problemy Mechatroniki : uzbrojenie, lotnictwo, inżynieria bezpieczeństwa
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Czy matematyka jest niezbędna w nauce?
Is Mathematics Indispensable in Science?
Autorzy:
Wójtowicz, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/968270.pdf
Data publikacji:
1994-09-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Opis:
This article consists of the two parts: the first on presents Hartry Field's nominalistic theory of science contained in his „Science Without Numbers”. The second part points to certain difficulties, which the realization of Field's program is faced with. The problem of an exact translation of nominalistic theories to mathematical theories, the connection between the incompleteness of the nominalistic theory and the conservativeness of its mathematical extension and an example of a theorem about finite sets, which needs some strong assumptions about infinite sets in its proof are presented.
Źródło:
Filozofia Nauki; 1994, 2, 3-4; 141-160
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Dowód matematyczny – argumentacja czy derywacja? – część I
Mathematical Proof – Argumentation or Derivation? – Part I
Autorzy:
Wójtowicz, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/691022.pdf
Data publikacji:
2011
Wydawca:
Copernicus Center Press
Tematy:
philosophy of mathematics
mathematical proof
formal derivation
derivation-indicator view
philsophy of science
Opis:
The article is devoted to the problem of status of mathematical proofs, in particular it tries to capture the relationship between the real, „semantic” notion of mathematical proof, and its formal (algorithmic) counterpart. In the first part, Azzouni’s derivation–indicator view is presented in a detailed way. According to the DI view, there is a formal derivation underlying every real proof.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2011, 49; 63-80
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Dowód matematyczny – argumentacja czy derywacja? – część II
Mathematical Proof – Argumentation or Derivation? – Part II
Autorzy:
Wójtowicz, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/691020.pdf
Data publikacji:
2011
Wydawca:
Copernicus Center Press
Tematy:
philosophy of mathematics
mathematical proof
formal derivation
derivation-indicator view
philsophy of science
Opis:
In the first part of the paper, Azzouni’s derivation–indicator view was presented. In the second part it is analyzed in a detailed way. It is shown, that many problems arise, which cannot be explained in a satisfactory way in Azzouni’s theory, in particular the problem of the explanatory role of proof, of its epistemic role; the relationship between first–order and second–order versions of proofs is also not clear. It is concluded, that Azzouni’s theory does not provide a satisfactory account of mathematical proof, but inspires an interesting discussion. In the article, some of the mentioned problems are discussed.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2011, 49; 81-97
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Dowód matematyczny z punktu widzenia formalizmu matematycznego. Część I
Mathematical Proof from the Formalistic Viewpoint. Part I
Autorzy:
Wójtowicz, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/2013332.pdf
Data publikacji:
2007
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
Descartes
Berkeley
Peacock
Pasch
formalism
formalizm
Opis:
This article is the first one to examine the evolution of the notion of mathematical proof in a historical perspective. First I present the intuitive, approach of Descartes, according to which mathematical proof is based on self-evident principles. I follow with an analysis of Berkeley’s mathematical instrumentalism and argue that he can be considered a predecessor of modern formalism. The article also deals with the ideas of Peacock and Pasch, and their role in the development of the modern formalistic viewpoint.
Źródło:
Roczniki Filozoficzne; 2007, 55, 2; 123-138
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Dowód matematyczny z punktu widzenia formalizmu matematycznego. Część II
Mathematical Proof from the Formalistic Viewpoint. Part II
Autorzy:
Wójtowicz, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/2013331.pdf
Data publikacji:
2007
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
program Hilberta
platonizm Fregego
intuicja matematyczna
Hilbert’s program
Frege’s Platonism
mathematical intuition
Opis:
In the second part I discuss Frege’s and Hilbert views on the nature of mathematical proof, in particular their discussion concerning the problem of implicit definitions. I also discuss Hilbert’s program and conclude with some remarks concerning the problem of the “decline of intuition” in the formalistic conception of mathematical proof.
Źródło:
Roczniki Filozoficzne; 2007, 55, 2; 139-153
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Inspiracje empirystyczne w filozofii matematyki. Część I
Empiricist Inspirations in Philosophy of Mathematics. Part I
Autorzy:
Wójtowicz, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/967433.pdf
Data publikacji:
2015-09-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Opis:
The article is devoted to the problem of mathematical empiricism: what could the phrase “to be a mathematical empiricist” possibly mean? There are many interpretations of this stance in philosophy of mathematics. The essay discusses relevant views of Mill, Berkeley, and Carnap. Some detailed questions concerning e.g. the applicability of mathematics, the status of mathematical proof, the status of mathematical axioms, are examined from the point of view of these philosophies.
Źródło:
Filozofia Nauki; 2015, 23, 3; 57-75
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Inspiracje empirystyczne w filozofii matematyki. Część II
Empiricist Inspirations in Philosophy of Mathematics. Part II
Autorzy:
Wójtowicz, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/967911.pdf
Data publikacji:
2015-12-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Opis:
The article is devoted to the problem of mathematical empiricism: what could the phrase "to be a mathematical empiricist" mean? There are many interpretations of this position in philosophy of mathematics. The essay discusses relevant views of Quine and Putnam. Some detailed questions concerning e.g. the applicability of mathematics, the status of mathematical proof, the status of mathematical axioms are examined from the point of view of these philosophies.
Źródło:
Filozofia Nauki; 2015, 23, 4; 71-87
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Kategoria wyjaśniania a filozofia matematyki Gödla
Autorzy:
Wójtowicz, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/561337.pdf
Data publikacji:
2018
Wydawca:
Polskie Towarzystwo Semiotyczne
Tematy:
realizm matematyczny
wyjaśnianie w matematyce
twierdzenia o niezupełności
uniwersum matematyczne
hipoteza kontinuum
mathematical realism
mathematical explanation
incompleteness theorems
mathematical universe
continuum hypothesis
Opis:
Artykuł dotyczy zagadnienia, w jakim sensie można stosować kategorię wyjaśnienia (charakterystyczną raczej dla nauk empirycznych) do interpretacji filozofii matematyki Kurta Gödla. Gödel – jako realista matematyczny – twierdzi bowiem, że w wypadku matematyki mamy do czynienia z niezależnymi od nas faktami. Jednym z owych faktów jest właśnie rozwiązywalność wszystkich dobrze postawionych problemów matematycznych – i ten fakt domaga się wyjaśnienia. Kluczem do zrozumienia stanowiska Gödla jest identyfikacja założeń, na których się opiera: (1) metafizyczny realizm: istnieje uniwersum matematyczne, ma ono charakter obiektywny, niezależny od nas; (2) optymizm epistemologiczny: jesteśmy wyposażeni w wystarczająco dobre środki poznawcze, aby uzyskać wgląd w owo uniwersum. Pojęcie rozwiązania problemu matematycznego Gödel rozumie znacznie szerzej niż jako podanie matematycznego dowodu – chodzi raczej o znalezienie wiarogodnych aksjomatów, prowadzących do rozwiązania. Stawiany w artykule problem analizuję na przykładzie hipotezy kontinuum.
Źródło:
Studia Semiotyczne; 2018, 32, 2; 107-129
0137-6608
Pojawia się w:
Studia Semiotyczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 53

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