Karl Schröter (1905–1977) i jego zainteresowania polską logiką matematyczną

10.01.2025 | 10.01.2025

Głównym tematem badawczym Karla Schrötera była logika matematyczna i badanie
podstaw matematyki. To on rozwinął logikę matematyczną w DDR. Większość naukowców
pracujących w tym kraju w zakresie logiki matematycznej i badań podstawowych to
bezpośredni lub pośredni uczniowie Schrötera. Do tego grona zaliczają się także matematycy
pracujący w różnych dziedzinach.
Jako swoich nauczycieli logiki matematycznej podawał Heinricha Scholza oraz polską
szkołę logiki matematycznej.
Wystąpienie jest kolejnym krokiem do przygotowania pełnego opracowania Schrötera
dorobku naukowego. W tym celu realizujemy dwa zadania. Po pierwsze, przedstawiamy
pełniejszą sylwetkę tego naukowca i spis jego prac naukowych. Związany był w dwoma
uniwersytetami (w Münster oraz w Berlinie) oraz z Niemiecką Akademią Nauk. Naszym
drugim celem jest powiadomić środowisko logiczne o nieznanych dokumentach archiwalnych
świadczących o zainteresowaniu tego badacza dorobkiem polskich logików, w szczególności:
Stanisława Leśniewskiego, Jana Łukasiewicza, Alfreda Tarskiego i Mordechaja Wajsberga.
W celu zrealizowania powyższych dwóch zadań dokonano 1) kwerend w archiwach:
Akademiearchive. Berlin-Brandenburgische Akademie der Wissenschaften, Humboldt-
Universität zu Berlin, Universitätsarchiv, Historische Bestände – Nachlässe und Sammlungen
Universitäts- und Landesbibliothek Münster; 2) wstępnej analizy zebranych dokumentów; 3)
porównania wyników tych badań z już istniejącymi publikacjami na temat Schrötera.

Wróć