Artykuły według tagu: logic

Twierdzenie Gödela: niekompletność systemów formalnych

Analiza twierdzeń Gödela o niekompletności z numeracją i PM-Lisp. Dlaczego niemożliwe jest sformalizowanie całej matematyki. Dla programistów i matematyków.