Stephen Cole Kleene (1909–1994)
Autor(a) de Introduction to Metamathematics
About the Author
Obras de Stephen Cole Kleene
The foundations of intuitionistic mathematics : especially in relation to recursive functions (1965) 2 cópias
Permutability of Inferences in Gentzen's Calculi LK and LJ, and Finite Axiomatizability of Theories int e Predicate… 1 exemplar(es)
Kurt Gödel 1906-1978. A biographical memoir 1 exemplar(es)
Etiquetado
Conhecimento Comum
- Data de nascimento
- 1909-01-05
- Data de falecimento
- 1994-01-25
- Sexo
- male
- Nacionalidade
- USA
- Educação
- Amherst College (BA)
Princeton University (PhD,Mathematics) - Organizações
- University of Wisconsin-Madison
Institute for Advanced Study - Premiações
- National Medal of Science (Mathematics and Computer Science, 1990)
Membros
You May Also Like
Estatísticas
- Obras
- 8
- Membros
- 255
- Popularidade
- #89,877
- Avaliação
- 4.0
- ISBNs
- 15
- Idiomas
- 2