Články podle tagu: logic

Gödelova věta: neúplnost formálních systémů

Rozbor Gödelových vět o neúplnosti s numerací a PM-Lisp. Proč nelze formalizovat celou matematiku. Pro vývojáře a matematiky.