Task: Text Categorization
Input (English): The principle criteria for strong shockwaves include the detachment criterion and a criterion named for this man that is sometimes known as the mechanical equilibrium criterion. The namesake of a uniqueness theorem with Stone, he is also the namesake of a type of entropy associated with quantum mechanics. A finite axiomatizable set theory is named for this man, along with Bernays and Gdel, and in cellular automata, each individual interacts with its four nearest neighbors in this man's namesake neighborhood. The theoretical proof of the existence of a universal converter was given by this man, and a type of computer organization in which data and instructions are stored together in a common memory is this man's namesake architecture. For 10 points, name this inventor of merge sort, formulator of the minimax theorem, and co-author of Theory of Games and Economic Behavior with Oskar Morgenstern.
Output (English): Science