Monster Math.

This article reports on the history and context of mathematical proofs. It references Euclid's invention of the form in the third century B.C. and the fact that Johannes Kepler's method of stacking data in three dimensions would not be proven for 400 years as it requires super computers to write and...

Descripción completa

Detalles Bibliográficos
Publicado en:Wilson Quarterly Vol. 31; no. 3; pp. 80 - 82
Formato: Artículo
Publicado: Woodrow Wilson International Center for Scholars Summer2007
Materias:
Acceso en línea:Ver este registro en EBSCOhost
fields @attributes:
  recordID: 1
pdfLink:
plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=25796207&site=ehost-live
header:
  @attributes:
    shortDbName: hlh
    uiTerm: 25796207
    longDbName: Humanities International Complete
    uiTag: AN
  controlInfo:
    bkinfo:
    jinfo:
      jid:
        03633276
        WLQ
      jtl: Wilson Quarterly
      issn: 03633276
      maglogo: N
    pubinfo:
      dt: Summer2007
      vid: 31
      iid: 3
      pid: 965
      pub: Woodrow Wilson International Center for Scholars
    artinfo:
      ui: 25796207
      ppf: 80
      ppct: 2
      formats:
        fmt:
          @attributes:
            type: T
      tig:
        atl: Monster Math.
      aug:
      su:
        Mathematical analysis
        Kepler, Johannes, 1571-1630
        Quantitative analysts
        Mathematical programming
        Euclidean algorithm
        Number theory
        Computational mathematics
      sug:
        subj:
          Mathematical analysis
          Kepler, Johannes, 1571-1630
          Quantitative analysts
          Mathematical programming
          Euclidean algorithm
          Number theory
          Computational mathematics
      ab: This article reports on the history and context of mathematical proofs. It references Euclid's invention of the form in the third century B.C. and the fact that Johannes Kepler's method of stacking data in three dimensions would not be proven for 400 years as it requires super computers to write and verify it. How proofs are reduced to essentials and examples of how computer methodology frees up mathematicians to discover the larger ramifications of theory are explored.
      pubtype: Periodical
      doctype: Article
      src: R
    language: English
    refInfo:
    copyright:
      @attributes:
        flag: Y
      custom: Copyright of Wilson Quarterly is the property of Woodrow Wilson International Center for Scholars and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use.
      item: Wilson Quarterly
      holder: Woodrow Wilson International Center for Scholars
      dt:
        @attributes:
          year: 2007
    holdings:
      @attributes:
        islocal: N