Georg Kreisel
Georg Kreisel | |
---|---|
Nascimento | 15 de setembro de 1923 Graz |
Morte | 1 de março de 2015 (91 anos) Salzburgo |
Sepultamento | Salzburger Kommunalfriedhof |
Cidadania | Reino Unido, Estados Unidos, Áustria |
Etnia | judeus |
Alma mater |
|
Ocupação | matemático, filósofo, professor universitário |
Prêmios |
|
Empregador(a) | Admiralty Research Laboratory, Universidade de Reading, Instituto de Estudos Avançados de Princeton, Universidade de Reading, Universidade Stanford, Universidade de Reading, Universidade de Paris, Universidade Stanford |
[edite no Wikidata] |
Georg Kreisel (Graz, 15 de setembro de 1923 – Salzburgo, 1 de março de 2015) foi um matemático britânico.
Em 1966 foi eleito membro da Royal Society.
Foi palestrante do Congresso Internacional de Matemáticos em Edimburgo (1958: Ordinal logics and the characterization of informal concepts of proof).
Publicações selecionadas
- On the interpretation of non-finitist proofs – Part I, J. Symbolic Logic, Volume 16, 1951, p. 241-267, Parte II, Volume 17, 1952, p. 43-58
- Mathematical significance of consistency proofs, J. Symbolic Logic, Volume 23, 1958, p. 155-182
- A survey of proof theory, J. Symbolic Logic, Volume 33, 1968, p. 321-388
- Hilbert`s Programme, Dialectica, Band 12, 1958, S. 346-372, Nachdruck in Benacerraf, Putnam (Ed.), Philosophy of Mathematics. Selected Readings, Prentice Hall 1964
- Proof theory: Some personal recollections, in Gaisi Takeuti (Herausgeber) Proof Theory, 2. Ed., Elsevier 1987, p. 395-405
- Logical aspects of computation: Contributions and distractions, in Odifreddi (Herausgeber): Logic and Computer Science, Academic Press, 1990
- On the idea(l) of logical closure, Annals of Pure and Applied Logic, Volume 56, 1992, p. 19-41
- com Jean-Louis Krivine: Elements of mathematical logic (model theory), North Holland 1967 (französisches Original Dunod 1966)
- Deutsche Übersetzung: Modelltheorie: eine Einführung in die mathematische Logik und Grundlagentheorie, Springer Verlag 1972
- Piergiorgio Odifreddi (Ed.): Kreiseliana: about and around Georg Kreisel, Wellesley, Massachusetts, A. K. Peters 1996 (Aufsatzsammlung von und über Georg Kreisel)
Bibliografia
- S. Feferman: Kreisel’s „unwinding“ Program, in Odifreddi (Hrsg.) Kreisleriana, 1996, S. 247-273
- C.N. Delzell: Kreisel’s unwinding of Artin‘ s proof, in Odifreddi (Hrsg.) Kreisleriana, 1996, S. 113-246
- Luiz Carlos Pereira: Besprechung von Odifreddi (Hrsg.) Kreiseliana: About and Around Georg Kreisel, Review of Modern Logic, Band 8, 2000, S. 127/131, Online.
Ligações externas
- Literatura de e sobre Georg Kreisel (em alemão) no catálogo da Biblioteca Nacional da Alemanha
- O'Connor, John J.; Robertson, Edmund F., «Georg Kreisel», MacTutor History of Mathematics archive, Universidade de St. Andrews