George Kreisel
| Biografia | |
|---|---|
| Naixement | 15 setembre 1923  Graz (Àustria) |
| Mort | 1r març 2015 (91 anys) Salzburg (Àustria) |
| Sepultura | Cementiri Comunal de Salzburg, Gr 012 Re 07 Or 3 Num 002 47° 46′ 48″ N, 13° 02′ 51″ E / 47.780093°N,13.047573°E |
| Dades personals | |
| Grup ètnic | Jueus |
| Formació | Universitat de Cambridge (1946–1949) Trinity College (1941–1944) |
| Activitat | |
| Camp de treball | Lògica matemàtica, teoria de la demostració, matemàtiques i lògica |
| Ocupació | matemàtic, filòsof, professor d'universitat |
| Ocupador | Universitat de Stanford (1962–1985) Universitat de París (1960–1962) Universitat de Reading (1959–1960) Universitat de Stanford (1958–1959) Universitat de Reading (1957–1958) Institut d'Estudis Avançats de Princeton (1955–1957) Universitat de Reading (1949–1955) Laboratori de Recerca de l'Almirallat (1944–1946) |
| Membre de | |
| Obra | |
| Estudiant doctoral | Henk Barendregt, Michael Beeson, Richard Statman, Richard Platek, Robert Winternitz i Jean-Pierre Ressayre |
| Localització dels arxius | |
Premis
| |
 | |
George Kreisel (Graz, 15 de setembre de 1923 - Salzburg, 1 de març de 2015) va ser un matemàtic i filòsof jueu austríac, que va treballar al Regne Unit i els Estats Units.
Kreisel va néixer en una família jueva benestant de Graz, Àustria. Els seus pares, preveient els problemes polítics que sorgirien a Àustria després de l'arribada dels nazis al poder a Alemanya, van enviar els seus fills a estudiar a Anglaterra amb el patrocini del polític britànic Stanley Baldwin.[1] El 1942 va començar els estudis de matemàtiques al Trinity College de la universitat de Cambridge, on va coincidir amb Freeman J. Dyson,[2] amb qui va mantenir una amistat de per vida,[3] i amb altres alumnes que després serien grans matemàtics com James Lighthill o John Myhill. Els darrers anys de la Segona Guerra Mundial va treballar al Laboratori de Recerca de l'Almirallat Britànic, on va coincidir amb Francis Crick amb qui també va establir una amistat duradora;[4] acabada la guerra va tornar a Cambridge per acabar el màster el 1947.[5]
A continuació va ser professor de la universitat de Reading fins al 1960,[6] excepte els cursos 1958-59 que va estar a la universitat de Stanford[7][8] i 1955-1957 que va estar a l'Institut d'Estudis Avançats de Princeton.[9] Posteriorment, i després d'estar dos anys a la universitat de París, va ser professor de la universitat de Stanford des de 1962 fins que es va retirar el 1983.[10] Després de retirar-se va viure a Salzburg on va morir el 2015 amb 91 anys.
Kreisel, a cavall entre filosofia i matemàtiques, va fer importants aportacions en filosofia de les matemàtiques i lògica matemàtica, des d'un punt de vista intuïcionista.[11] D'especial rellevància son els seus treballs sobre el càlcul lambda,[12] sobre la recursivitat[13][14] en la construcció dels ordinals[15] i sobre el que ell va anomenar unwinding program (que podria traduir-se com programa de desplegament o de desenrotllament), que consisteix en dotar d'elements constructius a demostracions exclusivament formals.[16]
Sembla que el personatge de Julius King, de la novel·la A fairly honourable defeat (1970) d'Iris Murdoch està basat en la personalitat de Kreisel, a qui Murdoch va dedicar una altra de les seves novel·les: An Accidental Man (1971).[17]
Referències[modifica]
- ↑ Crick, 1996, p. 27.
- ↑ Huber-Dyson, 1996, p. 54.
- ↑ Dyson, 1996, p. 75.
- ↑ Odifreddi, 2015, p. 16.
- ↑ Feferman, 1996, p. 252.
- ↑ Crick, 1996, p. 28.
- ↑ Burdman-Feferman, 1996, p. 44.
- ↑ Huber-Dyson, 1996, p. 58.
- ↑ Huber-Dyson, 1996, p. 55-57.
- ↑ Barwise, 1996, p. 22.
- ↑ Nerode, 1996, p. 85.
- ↑ Barendregt, 1996, p. 6 i ss.
- ↑ Platek, 1996, p. 99 i ss.
- ↑ Sacks, 1996, p. 104 i ss.
- ↑ Crossley, 1996, p. 34 i ss.
- ↑ Feferman, 1996, p. 251 i ss.
- ↑ Barwise, 1996, p. 20.
Bibliografia[modifica]
- Barendregt, Henk. «Kreisel, Lambda Calculus, a Windmill and a Castle». A: Piergiorgio Odifreddi. Kreiseliana: About and Around Georg Kreisel (en anglès). Taylor and Francis, 1996, p. 3-14. ISBN 9781568810614.
- Barwise, Jon. «The Right Things for the Right Reasons». A: Piergiorgio Odifreddi. Kreiseliana: About and Around Georg Kreisel (en anglès). Taylor and Francis, 1996, p. 15-24. ISBN 9781568810614.
- Burdman-Feferman, Anita. «Kreisel on the Telephone: an Appreciation». A: Piergiorgio Odifreddi. Kreiseliana: About and Around Georg Kreisel (en anglès). Taylor and Francis, 1996, p. 43-50. ISBN 9781568810614.
- Crick, Francis. «Georg Kreisel: a Few Personal Recollections». A: Piergiorgio Odifreddi. Kreiseliana: About and Around Georg Kreisel (en anglès). Taylor and Francis, 1996, p. 25-32. ISBN 9781568810614.
- Crossley, John N. «Kreisel’s Effectiveness». A: Piergiorgio Odifreddi. Kreiseliana: About and Around Georg Kreisel (en anglès). Taylor and Francis, 1996, p. 33-42. ISBN 9781568810614.
- Feferman, Solomon. «Kreisel’s “Unwinding” Program». A: Piergiorgio Odifreddi. Kreiseliana: About and Around Georg Kreisel (en anglès). Taylor and Francis, 1996, p. 251-278. ISBN 9781568810614.
- Huber-Dyson, Verena. «Thoughts on the Occasion of Kreisel’s 70th Birthday». A: Piergiorgio Odifreddi. Kreiseliana: About and Around Georg Kreisel (en anglès). Taylor and Francis, 1996, p. 51-74. ISBN 9781568810614.
- Dyson, Freeman. «Addendum». A: Piergiorgio Odifreddi. Kreiseliana: About and Around Georg Kreisel (en anglès). Taylor and Francis, 1996, p. 75-76. ISBN 9781568810614.
- Jockusch, Jr., Carl G. «A Letter from Professor Kreisel». A: Piergiorgio Odifreddi. Kreiseliana: About and Around Georg Kreisel (en anglès). Taylor and Francis, 1996, p. 77-78. ISBN 9781568810614.
- Morly, Michael. «Two Insights». A: Piergiorgio Odifreddi. Kreiseliana: About and Around Georg Kreisel (en anglès). Taylor and Francis, 1996, p. 79-80. ISBN 9781568810614.
- Nerode, Anil. «An Appreciation of Kreisel». A: Piergiorgio Odifreddi. Kreiseliana: About and Around Georg Kreisel (en anglès). Taylor and Francis, 1996, p. 81-88. ISBN 9781568810614.
- Odifreddi, Piergiorgio «Un ricordo di Georg Kreisel» (en italià). Le Scienze, Num. 560, 2015, pàg. 16. ISSN: 0036-8083.
- Parikh, Rohit. «Some Reminiscences of Kreisel». A: Piergiorgio Odifreddi. Kreiseliana: About and Around Georg Kreisel (en anglès). Taylor and Francis, 1996, p. 89-98. ISBN 9781568810614.
- Platek, Richard A. «Kreisel, Generalized Recursion Theory, Stanford and Me». A: Piergiorgio Odifreddi. Kreiseliana: About and Around Georg Kreisel (en anglès). Taylor and Francis, 1996, p. 99-104. ISBN 9781568810614.
- Sacks, Gerald E. «Kreisel, Generalized Recursion Theory and Me». A: Piergiorgio Odifreddi. Kreiseliana: About and Around Georg Kreisel (en anglès). Taylor and Francis, 1996, p. 105-108. ISBN 9781568810614.
- Takeuti, Gaisi. «Kreisel and I». A: Piergiorgio Odifreddi. Kreiseliana: About and Around Georg Kreisel (en anglès). Taylor and Francis, 1996, p. 109-114. ISBN 9781568810614.
Enllaços externs[modifica]
- O'Connor, John J.; Robertson, Edmund F. «George Kreisel» (en anglès). MacTutor History of Mathematics archive. School of Mathematics and Statistics, University of St Andrews, Scotland.