The following pages link to Stephen Cole Kleene
External toolsShowing 50 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Natural deduction (links | edit)
- Barbara McClintock (links | edit)
- Gödel's incompleteness theorems (links | edit)
- History of logic (links | edit)
- John Milnor (links | edit)
- Norbert Wiener (links | edit)
- Jack Kilby (links | edit)
- John Backus (links | edit)
- J. Presper Eckert (links | edit)
- Hilary Putnam (links | edit)
- Equality (mathematics) (links | edit)
- National Medal of Science (links | edit)
- Roger Wolcott Sperry (links | edit)
- Automata theory (links | edit)
- Jared Diamond (links | edit)
- Sandra Faber (links | edit)
- Bill Hewlett (links | edit)
- Kleene's recursion theorem (links | edit)
- Computability theory (links | edit)
- Kleene algebra (links | edit)
- Frederick Reines (links | edit)
- Intuitionistic logic (links | edit)
- Elias James Corey (links | edit)
- Edwin H. Land (links | edit)
- David Baltimore (links | edit)
- Dudley R. Herschbach (links | edit)
- Henry Eyring (chemist) (links | edit)
- Severo Ochoa (links | edit)
- Metamathematics (links | edit)
- Arithmetical hierarchy (links | edit)
- Eric Kandel (links | edit)
- Theodore von Kármán (links | edit)
- Igor Sikorsky (links | edit)
- William Feller (links | edit)
- Leroy Hood (links | edit)
- Robert Solow (links | edit)
- Paul Samuelson (links | edit)
- Floyd–Warshall algorithm (links | edit)
- Robert K. Merton (links | edit)
- Erwin Chargaff (links | edit)
- Robert Axelrod (political scientist) (links | edit)
- Albert Bandura (links | edit)
- Vladimir K. Zworykin (links | edit)
- Three-valued logic (links | edit)
- Yang Chen-Ning (links | edit)
- Chien-Shiung Wu (links | edit)
- Sequent calculus (links | edit)
- Sequent (links | edit)
- Yuan T. Lee (links | edit)
- Curry–Howard correspondence (links | edit)