Tag: Logika

Jakub Filipek snuje rozważania wokół definicji liczb naturalnych

Lorenzo Clemente pokazuje jak automatycznie rozwiązywać zadania geometryczne wykorzystując do tego twierdzenie Tarskiego–Seidenberga

Aleksy Schubert prowokuje do refleksji nad istnieniem liczb rzeczywistych

Jędrzej Kołodziejski przygląda się zagrożeniom płynącym z samoodnośności

Michał Skrzypczak zastanawia się czy wszystko da się udowodnić

Aleksy Schubert opisuje trudności z intuicyjnym pojmowaniem prawdziwości implikacji oraz to, jak temu można zaradzić

Mariusz Zając

Mariusz Zając

Michał Korch

Krzysztof Piecuch

Aleksy Schubert

Wiktor Bartol

Jerzy Tyszkiewicz

Marek Kordos

Wiktor Bartol

Damian Niwiński