Undecidability In Some Field Theories