WikiDer > Leo Xarrington
Leo Harrington
Leo A. Xarrington | |
|---|---|
 | |
| Tug'ilgan | 1946 yil 17-may (yosh74) |
| Fuqarolik | Qo'shma Shtatlar |
| Olma mater | MIT |
| Ilmiy martaba | |
| Maydonlar | Matematika |
| Institutlar | Berkli Kaliforniya universiteti |
| Doktor doktori | Jerald E. Saks |
| Doktorantlar | |
Leo Entoni Xarrington (1946 yil 17-mayda tug'ilgan) professor matematika da Berkli Kaliforniya universiteti kim ishlaydi rekursiya nazariyasi, model nazariyasiva to'plam nazariyasi.
- Harrington va Jeff Parij isbotladi Parij-Xarrington teoremasi.[1]
- Harrington buni ko'rsatdi qat'iyatlilik aksiomasi hamma uchun amal qiladi analitik to'plamlar keyin x# hamma uchun mavjud reallar x.[2]
- Harrington va Saharon Shelah ekanligini ko'rsatdi birinchi darajali nazariya ning qisman buyurtma qilingan to'plam ning rekursiv ravishda sanab o'tish mumkin Turing darajalari bu hal qilib bo'lmaydigan.[3]
Adabiyotlar
- ^ Parij, J .; Harrington, L. (1977), "Peano arifmetikasidagi matematik tugallanmaslik", yilda Barwise, J. (tahr.), Matematik mantiq bo'yicha qo'llanma, Shimoliy-Gollandiya, 1133–1142-betlar
- ^ Harrington, L. (1978), "Analitik qat'iyat va 0#", Symbolic Logic jurnali, 43 (4): 685–693, doi:10.2307/2273508, JSTOR 2273508
- ^ Xarrington, L .; Shelah, S. (1982), "Rekursiv ravishda sanab o'tiladigan darajalarning hal etilmasligi", Buqa. Amer. Matematika. Soc. (N.S.), 6 (1): 79–80, doi:10.1090 / S0273-0979-1982-14970-9
Tashqi havolalar
   | Amerikalik matematik haqida ushbu maqola a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish. |