| RefNo | EC/1966/18 |
| Previous numbers | Cert XVIII, 18 |
| Level | Item |
| Title | Kreisel, Georg: certificate of election to the Royal Society |
| Description | Citation typed |
| Citation | Dr Kriesel is the most distinguished of the British mathematicians currently working in mathematical logic. He has made notable contributions to model theory, to the development of formalisations of intuitionism, to the theory of recursive functionals, and to the exploration of the notion of predictativity. His work is characterized on the one hand by extreme formal elegance, but on the other hand he never loses sight, in technical details, of the fundamental ism of clarifying the foundations of mathematics. A list of some seventy publications is attached. |
| Proposers | From Personal Knowledge: Graham Higman; Michael Atiyah; Walter Heyman; B H Neumann; J A Todd; P Hall |
| Notes | Kreisel's certificate states that he held a PhD from Cambridge, but this is not correct. He was awarded a higher doctorate of ScD in 1962 based on his published works. |
| AccessStatus | Open |
| Image | 
|
Fellows associated with this archive
| Code | PersonName | Dates |
| NA4214 | Kreisel; Georg (1923 - 2015) | 1923 - 2015 |