Teoremo de Trahtenbrot
En logiko kaj finia modela teorio, la teoremo de Trahtenbrot (de Boris Trahtenbrot) statas ke la problemo de vereco en la klaso de ĉiuj finiaj modeloj estas nedecidebla. Fakte, la klaso de validaj frazoj super finiaj modeloj estas ne rikure numerigebla, kvankam ĝi estas kun-rikure numerigebla.
Eksteraj ligiloj redakti
- [1] Arkivigite je 2008-07-04 per la retarkivo Wayback Machine Simpson, S. "Teoremoj de Church kaj Trahtenbrot". 2001.