Diskussion:Formellt system
Wikipedia
Anledningen till KK skulle vara att artikeln innehåller för lite information, är det inte bättre att stubba den då? /Grillo 13 januari 2005 kl.01.59 (CET)
[redigera] Faktakoll
Jag sätter faktakoll pga omfattande felaktigheter. Till exempel:
- Formellt system är inte detsamma som logik
- Utöver axiom och härledning behövs ett begrepp "välformad sträng"
- Beskrivningen av formalismen är felaktig
- Beskrivningen av Gödels teorem är felaktig, t.ex. är det avgörande att de bevisbara strängarna är rekursivt enumerabla.
Spakoj 10 oktober 2006 kl. 15.57 (CEST)
