Gödels teorem och limiterna formal systemen – vad det betyder för matematik och teknik
1. Först: Gödels teorem och limiterna formal systemen – grundläggande concept för matematik och teknik a. Gödels berättelse: Singulärvärdesnedbrytning och grannlega som förutsättning för vollständlig formal system Gödel’s famous undefinability theorem och incompleteness theorems (1931) visar att inget formal system…