Теория вычислимости - вполне себе перевод. Я как-то видел (может быть даже читал) книжку, в названии которой было это слово...

Экзамен по мат.логике на 2 курсе не забуду никогда, хотя весь материал забыл давно. К его концу у меня не получалось сформулировать даже пресловутую теорему Геделя :)

Про парашют... и что это всем на земле не сидится? ;)