- Wiktor Bartol Każda nauka ścisła ma własne metody potwierdzania swoich tez Dla większości z nich weryfikacja twierdzeń polega na konfrontacji rzeczywistością Matematyka j

- Jerzy Tyszkiewicz Po to żeby twierdzenie o pełności zachodziło Wiem że po tej deklaracji nie mam wyjścia i muszę wytłumaczyć o co chodzi Zajmuję się logiką Logika dla mat

- Wiktor Bartol Gdy w połowie XIX wieku odkryto geometrie nieeuklidesowe zainteresowanie matematyków zaczęło zwracać się w stronę podstaw matematyki Na jakich podstawach mo

- Mariusz Zając W pierwszej części artykułu Delta 7 2020 omówiliśmy pojęcia funkcji logicznej jej czułości i przedstawiliśmy na razie bez dowodów pewne związane z nimi twie

- Aleksy Schubert Naszą wiedzę o zjawiskach lub przedmiotach wygodnie jest zapisywać w postaci koniunkcji wyrażanej za pomocą spójnika i np ten sposób można powiedzieć że k

- Andrzej Pelc Co to znaczy udowodnić twierdzenie matematycznej Logicy dawno już odpowiedzieli na pytanie podając definicję dowodu formalnego jako ciągu zdań kończącego się

- Mariusz Zając Najpierw jednak spróbujmy wyjaśnić dlaczego poważni specjaliści chcieli w ogóle rozważać tak pozornie niepoważne zagadnienie Zacznijmy od dwóch powiązanych

- Krzysztof Piecuch Rys 1 Przykładowa Hydra Drodzy Poszukiwacze Przygód witam Was na kolejnym szkoleniu Dzisiaj nauczymy się jak rozpoznawać znajdować i radzić sobie w boju

- Michał Korch W październikowym numerze Delty przedyskutowaliśmy hipotezę continuum i zaskakujące rozwiązanie problemu dotyczącego jej prawdziwości o ile Czytelnik zgodzi

- Damian Niwiński Ten list uczyniłem dłuższym tylko dlatego że nie miałem dość czasu by napisać go krócej Usprawiedliwienie jakie Blaise Pascal wkłada w swój XVI List prowi