Miejsce w SLW: uczeń Tadeusza Kotarbińskiego.
Obszary badań: logika matematyczna.
BIOGRAFIA
Data i miejsce urodzenia: 28.01.1922. Warszawa.
Data i miejsce śmierci: 25.11.1953. Contra Costa County (USA).
Rodzice: Henryk Kaliski i Maria Bronisława z d. Sachs.
Matura: Szkoła średnia [kolegium] w Warszawie (1939).
Studia: Podziemny UW (1939–1944).
Magisterium: Niepodlegające formalizacji elementy systemu dedukcyjnego. 6.11.1945. UW. Tadeusz Kotarbiński.
Doktorat: On Logical Matrices. 06/07.1948. University College London. Paul Dienes i Andrzej Mostowski.
Staż: University of London (1946–1948).
Dydaktyka: UŁ (1945–1946), UW (1946), Woolwich Polytechnic (1948–1949), University of Leeds (1949–1951), University of California w Berkeley (1953).
Varia: W czasie II Wojny Światowej ukrywał się pod nazwiskiem: Marciniak. Opuścił Europę w 1951.
IDEE, PROBLEMY, REZULTATY
Ogólna charakterystyka dorobku naukowego
Kalicki zajmował się ogólną teorią matryc (w szczególności uogólnił wiele pojęć tej teorii). Udowodnił m.in. twierdzenia: (a) że „istnieje efektywna procedura rozstrzygania, czy zbiór tautologii określony przez daną skończoną matrycę jest pusty, czy nie jest pusty”; (b) że „istnieje efektywna procedura rozstrzygania, czy zbiory tautologii dwóch skończonych matryc są równe”; (c) że „problem równości dwóch matryc z nieskończoną liczbą elementów” jest nierozstrzygalny.
W obrębie logiki równościowej udowodnił twierdzenie, że „istnieje efektywna procedura, która w skończonej liczbie kroków pozwala odpowiedzieć na pytanie, czy teorie (bazy) równościowe dwóch dowolnych skończonych algebr abstrakcyjnych skończonego, lecz niekoniecznie tego samego typu, są: (a) takie same; (b) całkowicie różne; (c) jedna jest zawarta w drugiej; (d) częściowo się pokrywają”.
BIBLIOGRAFIA
A. Wykazy prac:
■Zygmunt, Jan: • 1981 – Bibliography of Jan Kalicki. HPL v. II nr 1–2 s. 51–53.
B. Bibliografia podmiotowa:
1. Teksty naukowe:
1.1. Książki własne:
Bp.
1.2. Książki (współ)redagowane:
Bp.
1.3. Zbiory tekstów własnych:
Bp.
1.4. Artykuły:
• 1948 – On Tarski’s Matrix Method. STNW wydz. III t. XLI s. 130–142. • 1950a – Note on Truth-Tables. JSL v. XV nr 3 s. 174–181. • 1950b – On the Structure of Bracket-Free Notation. NMT v. XXXII s. 33–39. • 1950c – A Test for the Existence of Tautologies According to Many-Valued Truth-Tables. JSL v. XV nr 3 s. 182–184. • 1952a – On Comparison of Finite Algebras. PAMS v. III nr 1 s. 36–40. • 1952b – A Test for the Equality of Truth-Tables. JSL v. XVII nr 3 s. 161–163. • 1954a – On Equivalent Truth-Tables of Many-Valued Logics. PEMS v. X nr 2 s. 56–61. • 1954b – An Undecidable Problem in the Algebra of Truth-Tables. JSL v. XIX nr 3 s. 172–176. • 1955a (z: Dana Scott) – Equational Completeness of Abstract Algebras. IM v. XVII nr 5 s. 650–659. • 1955b – The Number of Equationally Complete Classes of Equations. IM v. XVII nr 5 s. 660–662.
2. Publicystyka:
Bp.
3. Teksty literackie:
Bp.
4. Przekłady:
Bp.
C. Bibliografia przedmiotowa:
■Zygmunt, Jan: • 1981 – The Logical Investigations of Jan Kalicki. HPL v. II nr 1–2 s. 41–53.
