Periodical
View in EDS
HTML Full Text

Proof of concept.

Bibliographic Details
Title: Proof of concept. (cover story)
Authors: Aron, Jacob
Source: New Scientist. 8/29/2015, Vol. 227 Issue 3036, p28-31. 4p. 3 Color Photographs, 1 Diagram.
Subjects: COMPUTERS in mathematics, AUTOMATIC theorem proving, MATHEMATICAL proofs, FOUR-color theorem, LOGICAL prediction, GRAPH theory, MATHEMATICS research
Abstract: The article discusses the use of computers to check mathematical proofs and the possibility of computers making mathematical breakthroughs or discoveries of their own. Topics include Kenneth Appel and Wolfgang Haken's use of a computer in 1976 to check the four-color theorum, the use of software known as proof assistants to check software that tests mathematical conjectures, and a transition from the use of graph theory to the use of algebra in order to use computers to check proofs.
Database: MAS Ultra - School Edition
Full text is not displayed to guests.
FullText Text:
  Availability: 1
CustomLinks:
  – Url: https://www.doi.org/10.1016/S0262-4079(15)31078-2?
    Name: ScienceDirect (all content)-s8985755
    Category: fullText
    Text: View record from ScienceDirect
    MouseOverText: View record from ScienceDirect
  – Url: https://resolver.ebsco.com/c/xy5jbn/result?sid=EBSCO:ulh&genre=article&issn=02624079&ISBN=&volume=227&issue=3036&date=20150829&spage=28&pages=28-31&title=New Scientist&atitle=Proof%20of%20concept.&aulast=Aron%2C%20Jacob&id=DOI:10.1016/S0262-4079(15)31078-2
    Name: Full Text Finder (for New FTF UI) (s8985755)
    Category: fullText
    Text: Find It @ SCU Libraries
    MouseOverText: Find It @ SCU Libraries
Header DbId: ulh
DbLabel: MAS Ultra - School Edition
An: 109175879
AccessLevel: 6
PubType: Periodical
PubTypeId: serialPeriodical
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Proof of concept. (cover story)
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Aron%2C+Jacob%22">Aron, Jacob</searchLink>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22New+Scientist%22">New Scientist</searchLink>. 8/29/2015, Vol. 227 Issue 3036, p28-31. 4p. 3 Color Photographs, 1 Diagram.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22COMPUTERS+in+mathematics%22">COMPUTERS in mathematics</searchLink><br /><searchLink fieldCode="DE" term="%22AUTOMATIC+theorem+proving%22">AUTOMATIC theorem proving</searchLink><br /><searchLink fieldCode="DE" term="%22MATHEMATICAL+proofs%22">MATHEMATICAL proofs</searchLink><br /><searchLink fieldCode="DE" term="%22FOUR-color+theorem%22">FOUR-color theorem</searchLink><br /><searchLink fieldCode="DE" term="%22LOGICAL+prediction%22">LOGICAL prediction</searchLink><br /><searchLink fieldCode="DE" term="%22GRAPH+theory%22">GRAPH theory</searchLink><br /><searchLink fieldCode="DE" term="%22MATHEMATICS+research%22">MATHEMATICS research</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: The article discusses the use of computers to check mathematical proofs and the possibility of computers making mathematical breakthroughs or discoveries of their own. Topics include Kenneth Appel and Wolfgang Haken's use of a computer in 1976 to check the four-color theorum, the use of software known as proof assistants to check software that tests mathematical conjectures, and a transition from the use of graph theory to the use of algebra in order to use computers to check proofs.
PLink https://login.libproxy.scu.edu/login?url=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=ulh&AN=109175879
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1016/S0262-4079(15)31078-2
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 4
        StartPage: 28
    Subjects:
      – SubjectFull: COMPUTERS in mathematics
        Type: general
      – SubjectFull: AUTOMATIC theorem proving
        Type: general
      – SubjectFull: MATHEMATICAL proofs
        Type: general
      – SubjectFull: FOUR-color theorem
        Type: general
      – SubjectFull: LOGICAL prediction
        Type: general
      – SubjectFull: GRAPH theory
        Type: general
      – SubjectFull: MATHEMATICS research
        Type: general
    Titles:
      – TitleFull: Proof of concept.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Aron, Jacob
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 29
              M: 08
              Text: 8/29/2015
              Type: published
              Y: 2015
          Identifiers:
            – Type: issn-print
              Value: 02624079
          Numbering:
            – Type: volume
              Value: 227
            – Type: issue
              Value: 3036
          Titles:
            – TitleFull: New Scientist
              Type: main
ResultId 1