WikiDer > Uilyam Bun (matematik)
William Boone (mathematician)
Uilyam Verner Boon | |
|---|---|
 Uilyam V. Boon va Eile Boone Illinoys universiteti Altgeld Xollda, 1979 y | |
| Tug'ilgan | 1920 yil 16-yanvar |
| O'ldi | 1983 yil 14 sentyabr (63 yosh) |
| Millati | Amerika |
| Olma mater | Princeton universiteti |
| Ma'lum | Boone - Higman teoremasi Boon-Rojers teoremasi Novikov - Boon teoremasi |
| Ilmiy martaba | |
| Maydonlar | Matematika |
| Institutlar | Illinoys universiteti Urbana-Shampan Malaka oshirish instituti |
| Doktor doktori | Alonzo cherkovi |
Uilyam Verner Boon (16 yanvar 1920 yilda Sinsinnati - 1983 yil 14 sentyabr Urbana, Illinoys) amerikalik matematik edi. Alonzo cherkovi uning nomzodi edi. maslahatchi Prinstonva Kurt Gödel uning do'sti edi Malaka oshirish instituti.
Pyotr Novikov 1955 yilda cheklangan bir guruh mavjudligini ko'rsatdi G shunday so'z muammosi uchun G hal qilish mumkin emas.[1] 1958 yilda Boone tomonidan boshqa dalil olingan.[2]
Tanlangan nashrlar
- W. W. Boone, Umuman olganda algebraik va mantiqiy tizimlar bo'yicha echimlar va rekursiv ravishda sanab o'tiladigan darajalar. 1968 yil matematikaga qo'shgan hissasi. Mantiq (Kollokvium, Gannover, 1966), Shimoliy Gollandiya, Amsterdam.
- W. W. Boone, Rojer Lindon, Frank Kannonito, So'z bilan bog'liq muammolar: guruh nazariyasida qaror qabul qilish muammosi, Shimoliy Gollandiya, 1973 yil.
Adabiyotlar
- ^ Novikov, Pyotr S. (1955), "Guruh nazariyasida so'z so'zining algoritmik echimsizligi to'g'risida", Steklov nomidagi Matematika instituti materiallari (rus tilida), 44: 1–143, Zbl 0068.01301
- ^ Boone, Uilyam V. (1958), "Muammo so'zi" (PDF), Milliy fanlar akademiyasi materiallari, 44 (10): 1061–1065, doi:10.1073 / pnas.44.10.1061, PMC 528693, PMID 16590307, Zbl 0086.24701
- Kurt Gödel: To'plangan asarlar: Oksford universiteti matbuoti: Nyu-York. Bosh muharrir: Sulaymon Feferman, IV jild: Xatlar, A-G, ISBN 978-0-19-850073-5.
- O'Konnor, Jon J.; Robertson, Edmund F., "Uilyam Verner Boon", MacTutor Matematika tarixi arxivi, Sent-Endryus universiteti.
- Uilyam Verner Boon da Matematikaning nasabnomasi loyihasi
