matematická logika mathematical logic Matematika Obecné úvahy o matematice dějiny matematiky history of mathematics matematické důkazy mathematical proofs proof theory teorie důkazu Gödel, Kurt, filozofie matematiky informatics informatika logic logika matematici matematika mathematicians mathematics philosophy of mathematics pravděpodobnostní metody probabilistic methods probability theory teorie pravděpodobnosti