When1: 1952
Who: Stephen Cole Kleene [Kleene, Stephen Cole]
What: mathematician
Where: USA
works\ Introduction to Metamathematics [1952]
Detail: He lived 1909 to 1994, studied recursion theory and formal logic, and added subtraction to lambda calculus. At least one mathematical truth is true intuitionistically but not Platonically [Kleene, 1952].
Mathematical Sciences>Mathematics>History>Logic
Outline of Knowledge Database Home Page
Description of Outline of Knowledge Database
Date Modified: 2022.0224