Wielomiany, logika i geometria Lorenzo Clemente pokazuje jak automatycznie rozwiązywać zadania geometryczne wykorzystując do tego twierdzenie Tarskiego–Seidenberga informatyka algorytmy geometria logika Delta 2/2023
Jak nie wierzyć w liczby rzeczywiste? Aleksy Schubert prowokuje do refleksji nad istnieniem liczb rzeczywistych matematyka analiza logika teoria mnogości Delta 7/2021
Niniejszy tytuł orzeka o samym sobie Jędrzej Kołodziejski przygląda się zagrożeniom płynącym z samoodnośności matematyka logika Delta 5/2021
Musimy wiedzieć. Ale czy będziemy wiedzieć? Michał Skrzypczak zastanawia się czy wszystko da się udowodnić informatyka logika Delta 4/2021
Logika implikacji Aleksy Schubert opisuje trudności z intuicyjnym pojmowaniem prawdziwości implikacji oraz to, jak temu można zaradzić matematyka logika Delta 1/2021