A boolean ternary operator that holds if and only if its arguments are an encoding of a program, an input, and a halting computation of that program on that input is named for this man; that T-predicate named for this non-Chomsky person is used to develop his "normal form." This man is the alphabeti
A boolean ternary operator that holds if and only if its arguments are an encoding of a program, an input, and a halting computation of that program on that input is named for this man; that T-predicate named for this non-Chomsky person is used to develop his "normal form." This man is the alphabetically first author of a paper that recreates the Richard paradox titled "The inconsistency of certain formal logics" which earned an identically titled response from (*) Haskell Curry; that paper coauthored by this man introduced a paradox he co-names with J. B. Rosser. A state with an epsilon transition and a self-loop that consumes a character can be used to represent a unary operator named for this man that indicates zero or more of a string. For 10 points, identify this namesake of a recursion theorem as well as the regular-expression operator known as his "star."
A boolean ternary operator that holds if and only if its arguments are an encoding of a program, an input, and a halting computation of that program on that input is named for this man; that T-predicate named for this non-Chomsky person is used to develop his "normal form.
Stephen Cole Kleene