Leo Harrington - Leo Harrington
Leo A. Harrington | |
---|---|
narozený | 17. května 1946 | (stáří74)
Státní občanství | Spojené státy |
Alma mater | MIT |
Vědecká kariéra | |
Pole | Matematika |
Instituce | University of California, Berkeley |
Doktorský poradce | Gerald E. Pytle |
Doktorandi |
Leo Anthony Harrington (narozený 17. května 1946) je profesorem matematika na University of California, Berkeley kdo pracuje v teorie rekurze, teorie modelů, a teorie množin.
- Harrington a Jeff Paris prokázal Paříž – Harringtonova věta.[1]
- Harrington ukázal, že pokud axiom determinovanosti platí pro všechny analytické sady pak X# existuje pro všechny skutečné X.[2]
- Harrington a Saharon Shelah ukázal, že teorie prvního řádu z částečně objednaná sada z rekurzivně spočetné Turingovy stupně je nerozhodnutelný.[3]
Reference
- ^ Paris, J .; Harrington, L. (1977), „Matematická neúplnost v Peano aritmetice“, v Barwise, J. (vyd.), Příručka matematické logiky, Severní Holandsko, str. 1133–1142
- ^ Harrington, L. (1978), „Analytic Determinacy and 0#", Journal of Symbolic Logic, 43 (4): 685–693, doi:10.2307/2273508, JSTOR 2273508
- ^ Harrington, L .; Shelah, S. (1982), „Nerozhodnutelnost rekurzivně spočetných stupňů“, Býk. Amer. Matematika. Soc. (N.S.), 6 (1): 79–80, doi:10.1090 / S0273-0979-1982-14970-9
externí odkazy
Tento článek o americkém matematikovi je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |