PL EN


Journal
2006 | 14 | 3(55) | 5-19
Article title

POLISH LOGICIANS' CONTRIBUTION TO THE WORLD INFORMATICS

Authors
Title variants
Languages of publication
PL
Abstracts
EN
The position of Polish informatics, as well in research as in didactic, has its roots in achievements of Polish mathematicians of the Warsaw School and logicians of the Lvov-Warsaw School. Jan Lukasiewicz is considered in the world of computer science as the most famous Polish logician. The parenthesis-free notation, invented by him, is known as PN (Polish Notation) and RPN (Reverse Polish Notation). Lukasiewicz created many-valued logic as a separate subject. The idea of multi-valueness is applied to hardware design (many-valued or fuzzy switching, analog computer). Many-valued approach to vague notions and commonsense reasoning is the method of expert systems, databases and knowledge-based systems. Stanislaw Jaskowski's system of natural deduction is the base of systems of automatic deduction and theorem proving. He created a system of paraconsistent logic. Such logics are used in AI. Kazimierz Ajdukiewicz with his categorial grammar participated in the development of formal grammars, the field significant for programming languages. Andrzej Grzegorczyk had an important contribution to the development of the theory of recursiveness.
Journal
Year
Volume
14
Issue
Pages
5-19
Physical description
Document type
ARTICLE
Contributors
author
  • K. Trzesicki, Uniwersytet w Bialymstoku, Instytut Informatyki, Katedra Logiki, Informatyki i Filozofii Nauki, ul. Sosnowa 64, 15-887 Bialystok, Poland
References
Document Type
Publication order reference
Identifiers
CEJSH db identifier
07PLAAAA01853945
YADDA identifier
bwmeta1.element.59f7a4fa-d803-3c8c-a162-8619f4f9cc2f
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.