Listy „wojenne ” Łukasiewicza: wyniki matematyczne i logiczne w korespondencji naukowej Jana Łukasiewicza do Heinricha Scholza w okresie 1943–1944
15.01.2025 | 15.01.2025
Tematem wystąpienia będzie wymieniona pomiędzy Janem Łukasiewiczem i niemieckim
matematykiem Heinrichem Scholzem w trakcie II wojny światowej korespondencja. Ich
kontakt i współpraca stanowi temat opisany już w literaturze. Główny temat wystąpienia, listy
nazywane przez autora “wojennymi”, został przetłumaczony i opisany, ale z pominięciem
istotnych elementów. W pierwszym tłumaczeniu listów pominięto część dotyczącą
ówczesnych tematów matematycznych i logicznych, nad którymi pracował Łukasiewicz. Ten
brak następnie został przeniesiony i jest widoczny w literaturze poświęconej Łukasiewiczowi.
Omówiona zostanie treść listów, ze szczególnym naciskiem na zagadnienia matematyczne i
logiczne, takie jak dowód równoważności reguł indukcji matematycznej w postaci reguły
oraz w postaci odpowiedniej formuły logicznej oraz zastosowanie, po raz pierwszy w
literaturze, przez Łukasiewicza reguł podstawiania z poastrofem. Pokazane zostanie
następnie, które tematy znalazły swoje zastosowanie w pracach napisanych przez
Łukasiewicza po wojnie, w latach 1945–1957.