William Boone

William Boone William e Eileen Boone na Universidade de Illinois em Urbana-Champaign (1979) Biografia

Aniversário	1920 ou 16 de janeiro de 1920 Cincinnati
Morte	1983 ou 14 de setembro de 1983 Urbana
Nacionalidade	americano
Treinamento	Universidade de Princeton
Atividades	Matemático , filósofo

Outra informação

Trabalhou para	Universidade de Illinois em Urbana-Champaign
Campo	Matemática
Supervisor	Igreja Alonzo
Distinção	Bolsa Guggenheim

Principais contribuições

teorema Teorema de Boone-Higman  (en) Teorema Teorema de Boone Rogers  (em) Teorema de Novikov - Boone

William Werner Boone (nascido em16 de janeiro de 1920em Cincinnati e morreu em14 de setembro de 1983em Urbana (Illinois) ) é um matemático americano.

Carreira

Ele obteve um BA da Universidade de Cincinnati em 1945 e, em seguida, iniciou seus estudos de pós-graduação na Universidade de Princeton . Ele foi instrutor na universidade, depois na Rutgers, antes de ser professor assistente na Universidade Católica da América em Washington em 1950. Ele defendeu sua tese em 1952 sob a supervisão da Igreja Alonzo na Universidade de Princeton . Ele passou os anos 1954-1956 em Princeton com uma bolsa Fulbright . Ele era amigo de Kurt Gödel no Institute for Advanced Study . Ele então viajou para a Europa com uma bolsa Guggenheim . A partir de 1958, Boone trabalhou na Universidade de Illinois em Urbana-Champaign, primeiro como professor associado, depois como professor titular desde 1960.

Contribuições

Piotr Novikov mostrou em 1955 a existência de um grupo finamente apresentado para o qual a palavra problema é indecidível. Uma prova diferente foi obtida por Boone em 1958.

Publicações (seleção)

• William W. Boone, “Problemas de decisão sobre sistemas algébricos e lógicos como um todo e graus recursivamente enumeráveis ​​de insolúvel” , em Contributions to Mathematical Logic (Colloquium, Hannover, 1966) , North-Holland,1968( Math Reviews  0237617 ) , p.  13-33
• William W. Boone, FB Cannonito e Roger C. Lyndon (editores), Word Problems: Decision Problem in Group Theory , North-Holland,1973.
• William W. Boone e G. Higman, "  Uma caracterização algébrica da resolubilidade do problema da palavra  ", J. Austral. Matemática. Soc. , vol.  18,1974, p.  41-53.
• William W. Boone e H. Rogers Jr., “  On a problem of JHC Whitehead and a problem of Alonzo Church,  ” Math. Scand. , vol.  19,1966, p.  185-192.

Referências

1. (em) "  William Werner Boone  " , no site do Mathematics Genealogy Project .
2. Solomon Feferman (editor-chefe), Kurt Gödel: Collected Works , vol.  IV: Correspondência, A - G, Oxford Clarendon Press:,2003, xviii + 662  pág. ( ISBN  978-0-19-850073-5 , leia online ).
3. (ru) Pyotr S. Novikov , “  Sobre a insolubilidade algorítmica do problema da palavra na teoria dos grupos  ” , Proceedings of the Steklov Institute of Mathematics , vol.  44,1955, p.  1-143 ( zbMATH  0068.01301 ).
4. William W. Boone , “  The word problem,  ” Proceedings of the National Academy of Sciences , vol.  44, n o  10,1958, p.  1061-1065 ( PMCID  528.693 , DOI  10.1073 / pnas.44.10.1061 , zbMATH  0.086,24701 , lido on-line [PDF] )

links externos

• Registros de autoridade  :
  • Arquivo de autoridade internacional virtual
  • Identificador de Nome Padrão Internacional
  • Biblioteca Nacional da França ( dados )
  • Sistema de documentação universitária
  • Biblioteca do Congresso
  • Gemeinsame Normdatei
  • Biblioteca Real da Holanda
  • Biblioteca da Universidade da Polônia
  • Id do WorldCat
  • WorldCat
• Recurso de pesquisa  :
  • (pt)  Projeto de Genealogia da Matemática
• DJ Collins, "  Obituary William Werner Boone  ", London Math. Soc. , vol.  17,1985, p.  168-174.
• (pt) John J. O'Connor e Edmund F. Robertson , “William Werner Boone” , no arquivo MacTutor History of Mathematics , University of St Andrews ( ler online ).