William Werner Boone (16 January 1920 in Cincinnati – 14 September 1983 in Urbana, Illinois) was an American mathematician. Alonzo Church was his Ph.D. advisor at Princeton, and Kurt Gödel was his friend at the Institute for Advanced Study. Pyotr Novikov showed in 1955 that there exists a finitely presented group G such that the word problem for G is undecidable. A different proof was obtained by Boone in 1958.

Property Value
dbo:abstract
  • William Werner Boone (16 January 1920 in Cincinnati – 14 September 1983 in Urbana, Illinois) was an American mathematician. Alonzo Church was his Ph.D. advisor at Princeton, and Kurt Gödel was his friend at the Institute for Advanced Study. Pyotr Novikov showed in 1955 that there exists a finitely presented group G such that the word problem for G is undecidable. A different proof was obtained by Boone in 1958. (en)
dbo:academicDiscipline
dbo:almaMater
dbo:birthDate
  • 1920-01-16 (xsd:date)
dbo:birthPlace
dbo:deathDate
  • 1983-09-14 (xsd:date)
dbo:deathPlace
dbo:doctoralAdvisor
dbo:institution
dbo:knownFor
dbo:thumbnail
dbo:wikiPageEditLink
dbo:wikiPageExtracted
  • 2019-06-20 13:26:03Z (xsd:date)
dbo:wikiPageHistoryLink
dbo:wikiPageID
  • 34399699 (xsd:integer)
dbo:wikiPageLength
  • 3105 (xsd:integer)
dbo:wikiPageModified
  • 2018-06-09 15:15:13Z (xsd:date)
dbo:wikiPageOutDegree
  • 29 (xsd:integer)
dbo:wikiPageRevisionID
  • 845124190 (xsd:integer)
dbo:wikiPageRevisionLink
dbp:wikiPageUsesTemplate
dct:subject
rdf:type
rdfs:comment
  • William Werner Boone (16 January 1920 in Cincinnati – 14 September 1983 in Urbana, Illinois) was an American mathematician. Alonzo Church was his Ph.D. advisor at Princeton, and Kurt Gödel was his friend at the Institute for Advanced Study. Pyotr Novikov showed in 1955 that there exists a finitely presented group G such that the word problem for G is undecidable. A different proof was obtained by Boone in 1958. (en)
rdfs:label
  • William Boone (mathematician) (en)
owl:sameAs
foaf:depiction
foaf:gender
  • male (en)
foaf:isPrimaryTopicOf
foaf:name
  • William Werner Boone (en)
is dbo:doctoralStudent of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is foaf:primaryTopic of