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	Trinity College; Universidade de Cambridge;
Ocupação	matemático, filósofo, professor universitário
Distinções	membro da Royal Society (1966);
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.

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)

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.