Definition: In this task you will be given a text passage from a trivia quiz. You should choose the category this question belongs to from these categories: History, Science, Social Science, Fine Arts, Literature. You can only choose one category, so if in doubt, please choose the closest match.
Input: Rado developed a sigma function for one of these objects, and Martin developed one of the first of a special variety, which are named for Post and are defined as program formulations of simple ones. The Cohen-Kung theorem guarantees that the trajectory of one of them, Langton's Ant, is unbounded, and another example of them is the Busy Beaver. It is undecidable whether a particular one will stop for a certain input, a dilemma called the halting problem, and their namesake lends his name along with Church's to a thesis governing them. Consisting of a tape, action table, state register and a read/write 'head,' FTP, name these simple devices which can be adapted to perform the logic of any computer.
Output:
Science