Jan Łukasiewicz
Videos
Jan Łukasiewicz was a Polish logician and philosopher who is best known for Polish notation and Łukasiewicz logic. His work centred on philosophical logic, mathematical logic and history of logic. He
Łukasiewicz in 1935
Warsaw University Library – at entrance (seen from rear) are pillared statues of Lwów-Warsaw School philosophers (right to left) Kazimierz Twardowski, Jan Łukasiewicz, Alfred Tarski, Stanisław Leśniewski.
Mathematical logic
Videos
Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly address
Portrait of young Kurt Gödel as a student in Vienna, 1925
