This discipline is present in all areas of society, especially in computer science and information and communication technologies.
Proclaimed by the United Nations Educational, Scientific and Cultural Organization (UNESCO) in cooperation with the International Council for Philosophy and Humanistic Studies, the date highlights the importance of logic as a study of how human reasoning works.
The date aims to encourage the development of logic in research and teaching, promote international cooperation, and support the work of schools, associations, universities, and other institutions related to the issue.
The date was chosen to honor two prominent logicians of the 20th century: Kurt Godel, an Austrian mathematician and philosopher who died on January 14, 1978, and established the incompleteness theorem and transformed the study of logic in the 20th century; and Alfred Tarski, a Polish mathematician and logician who was born on January 14, 1901, and developed theories that interacted with those of Godel.
ef/iff/lam/lpn