William Boone

William Boone William și Eileen Boone la Universitatea din Illinois la Urbana-Champaign (1979) Biografie

Naștere	1920 sau 16 ianuarie 1920 Cincinnati
Moarte	1983 sau 14 septembrie 1983 Urbana
Naţionalitate	american
Instruire	Universitatea Princeton
Activități	Matematician , filosof

Alte informații

Lucrat pentru	Universitatea din Illinois la Urbana-Champaign
Camp	Matematică
Supervizor	Biserica Alonzo
Distincţie	Bursa Guggenheim

Contribuții principale

teorema Boone-Higman teorema  (ro) Teorema Boone Rogers teorema  (în) Novikov - Teorema lui Boone

William Werner Boone (născut la16 ianuarie 1920la Cincinnati și a murit pe14 septembrie 1983în Urbana (Illinois) ) este un matematician american.

Carieră

A obținut un BA de la Universitatea din Cincinnati în 1945, apoi a început studiile postuniversitare la Universitatea Princeton . A fost instructor la universitate, apoi la Rutgers înainte de a fi profesor asistent la Universitatea Catolică a Americii din Washington în 1950. Și-a susținut teza în 1952 sub supravegherea Bisericii Alonzo de la Universitatea Princeton . A petrecut anii 1954-1956 la Princeton cu o bursă Fulbright . A fost prieten cu Kurt Gödel la Institutul pentru Studii Avansate . Apoi a călătorit în Europa cu o bursă Guggenheim . Din 1958, Boone a lucrat la Universitatea din Illinois la Urbana-Champaign mai întâi ca profesor asociat, apoi ca profesor titular din 1960.

Contribuții

Piotr Novikov a arătat în 1955 existența unui grup fin prezentat pentru care cuvântul problemă este indecisabil. O altă dovadă a fost obținută de Boone în 1958.

Publicații (selecție)

• William W. Boone, „Probleme de decizie cu privire la sistemele algebrice și logice în ansamblu și recursiv enumerabile grade de insolvabilitate” , în Contribuții la logica matematică (colocviu, Hanovra, 1966) , Olanda de Nord,1968( Math Reviews  0237617 ) , p.  13-33
• William W. Boone, FB Cannonito și Roger C. Lyndon (editori), Word Problems: Decision Problem in Group Theory , North-Holland,1973.
• William W. Boone și G. Higman, „  O caracterizare algebrică a rezolvabilității cuvântului problemă  ”, J. Austral. Matematica. Soc. , vol.  18,1974, p.  41-53.
• William W. Boone și H. Rogers Jr., „  Cu privire la o problemă a lui JHC Whitehead și o problemă a bisericii Alonzo  ” , Math. Scand. , vol.  19,1966, p.  185-192.

Referințe

1. (în) „  William Werner Boone  ” , pe site-ul web al Mathematics Genealogia Project .
2. Solomon Feferman (redactor-șef), Kurt Gödel: Collected Works , vol.  IV: Corespondență, A - G, Oxford Clarendon Press:,2003, xviii + 662  p. ( ISBN  978-0-19-850073-5 , citit online ).
3. (ru) Pyotr S. Novikov , „  Despre insolvabilitatea algoritmică a cuvântului problemă în teoria grupurilor  ” , Proceedings of the Steklov Institute of Mathematics , vol.  44,1955, p.  1-143 ( zbMATH  0068.01301 ).
4. William W. Boone , „  Cuvântul problemă  ” , Proceedings of the National Academy of Sciences , vol.  44, nr .  10,1958, p.  1061–1065 ( PMCID  528693 , DOI  10.1073 / pnas.44.10.1061 , zbMATH  0086.24701 , citiți online [PDF] )

linkuri externe

• Înregistrări de autoritate  :
  • Fișier autoritate internațională virtuală
  • Identificator de nume internațional standard
  • Biblioteca Națională a Franței ( date )
  • Sistem de documentare universitară
  • Biblioteca Congresului
  • Gemeinsame Normdatei
  • Biblioteca Regală Olandeză
  • Biblioteca Universitară din Polonia
  • WorldCat Id
  • WorldCat
• Resurse de cercetare  :
  • (ro)  Proiectul genealogiei matematice
• DJ Collins, „  Obituary William Werner Boone  ”, London Math. Soc. , vol.  17,1985, p.  168-174.
• (ro) John J. O'Connor și Edmund F. Robertson , „William Werner Boone” , în arhiva MacTutor History of Mathematics , Universitatea din St Andrews ( citește online ).