-
Ostatnie wpisy
Najnowsze komentarze
Kategorie
Archiwa
Meta
Archiwum autora: Witold Marciszewski
Uwagi w kwestii „arytmetyki sumienia”
Nie mogąc ze względów technicznych uczestniczyć zdalnie w seminarium w PW (poświęconym filozofii nauki) z odczytem dra Andrzeja Malca pt. „Czy sumienie komputera może być autonomiczne?”, a będąc ciekaw jego poglądów w kwestiach aksjologii i teorii prawa, skorzystam z dostępności … Czytaj dalej
Zaszufladkowano do kategorii Bez kategorii
10 komentarzy
Turinga i Tarskiego nowoczesny paradygmat matematyki . Porównanie z ujęciem Kazimierza Trzęsickiego
Witold Marciszewski If a machine is expected to be infallible, it cannot also be intelligent. – Alan Turing Civilization advances by extending the number of important operations which cannot be performed without thinking about them. – A. N. Whitehead Przez … Czytaj dalej
Zaszufladkowano do kategorii Bez kategorii
Dodaj komentarz
Racjonalistyczny optymizm Hilberta, Gödla, Turinga
Obecny wpis jest moim głosem w dyskusji na międzyuczelnianym (IFiS PAN, IF UW, środowisko filozoficzne PW) posiedzeniu seminarium pt. „Ku filozofii informatycznej”, 17.XI.2020. Dwa główne na tym posiedzeniu odczyty, profesorów Pawła Polaka („Filozofia informatyki, o jakiej nie śniło się informatykom”) … Czytaj dalej
Zaszufladkowano do kategorii Filozofia informatyki, Filozofia nauki
20 komentarzy
On analogy between the role of conceptualization in computational and in empirical hypothesizing
In the Abstract of Prof. Primiero’s lecture „Computational Hypotheses and Computational experiments” (at Warsaw University of Technology, November 19, 2019) I found the following, much thought-provoking claim; let it be called PC (Primiero’s Claim). PC: The analogy between the scientific … Czytaj dalej
Zaszufladkowano do kategorii Filozofia informatyki, Filozofia nauki
Otagowano concept-forming, decidability, problem-solving
4 komentarze
W jaki sposób logika predykatów może być pomocna w badaniu języka naturalnego?
Przeczytałem z ciekawością streszczenie odczytu prof. Andrzeja Włodarczyka na seminarium 30 maja 2019. Z ciekawością, bo interesuje mnie żywo zjawisko interdyscyplinarności, a tekst tego odczytu pozwala dostrzec fakt, że interdyscyplinarność czy transdyscyplinarność (czy jest tu jakaś różnica?) nie jedno ma … Czytaj dalej
Zaszufladkowano do kategorii Filozofia nauki, Logika i metodologia
Otagowano interdyscyplinarność, język naturalny, rachunek predykatów
6 komentarzy
„Informatics” or „Computer Science”?
As for rendering the Polish phrase „Filozofia w Informatyce” in English, I think that the translation „Philosophy of Informatics” is obvious (if it is expected to cover the real field of interests at our conferences). Perhaps, the issue is worth … Czytaj dalej
Zaszufladkowano do kategorii Filozofia informatyki, Filozofia nauki
Otagowano computability, computer science, informatics, information processing
Jeden komentarz
What does „computing” mean?
A rejoinder to Dr. Paula Quinon
§1. Dr. Paula Quinon has kindly shared with me the abstract of her recent work, titled „What „computing” means?” (see item 6 in References), and added some comments to more accurately explain her key ideas. Among the comments there was … Czytaj dalej
Zaszufladkowano do kategorii Bez kategorii, Epistemologia i ontologia
Otagowano oracle, relativised computability
7 komentarzy
O różnych sposobach istnienia i nieistnienia liczb
Rozmyślanie noworoczne
Pomysł, żeby w filozofii matematyki i filozofii informatyki dyskutować o nieistnieniu liczb jest inspirujący. Pojawił się on we wpisie 25.XII.2018 pt. „O nieistnieniu liczb w informatyce” podpisanym „Jarek”: http://marciszewski.eu/?p=10032 Myślowym punktem wyjścia jest dla Jarka słynne zdanie Leopolda Kroneckera (1823-1891): … Czytaj dalej
Zaszufladkowano do kategorii Epistemologia i ontologia, Filozofia informatyki, Filozofia nauki
Otagowano arytmetyka, czas, filozofia informatyki, istnienie liczb, liczba naturalna, liczba rzeczywista, maszyna Turinga. czas
12 komentarzy
Monadologia Leibniza w porównaniu
z obiektowym paradygmatem programowania
Niniejszy wpis powstał dzięki abstraktowi do odczytu dra inż. Jarosława Strzeleckiego pt. „Czy monada może być szczegółowym przypadkiem obiektu OOP?” przewidzianego na seminarium w PW 25.X.2018. Zob. link do abstraktu w zawiadomieniu o referacie: http://marciszewski.eu/?page_id=8381 Zadaniem tych uwag jest konfrontacja … Czytaj dalej
Zaszufladkowano do kategorii Epistemologia i ontologia, Filozofia informatyki, Światopogląd informatyczny
Otagowano agregat, automat, dusza, monada, programowanie obiektowe, substancja, złożoność
9 komentarzy
Anons książki „Różne oblicza informacji”
Książka, pod redakcją naukową dra Pawła Stacewicza ukazała się nakładem Politechniki Warszawskiej w grudniu 2017. Pod kątem własnych zainteresowań, wybieram z niej i sygnalizuję kilka tematów, które wydają mi się inspirujące i warte kontynuacji dyskusyjnej w blogu. Czy uznać … Czytaj dalej
Zaszufladkowano do kategorii Bez kategorii
Dodaj komentarz