Document (#15513)

Author

Velleman, D.J.

Title

Fermat's last theorem and Hilbert's program

Source

Mathematical intelligencer. 19(1997) no.1, S.64-67

Year

1997

Abstract

Most mathematicians are aware of the controversies in the foundations of mathematics that ocurred earlier in this century: the debate between logicists and the intuitionists, and Hilbert's proposal of a prgram that he hoped would resolve the issue. But the controversies have died down since then, and few mathematicians worry about these issues anymore. The recent excitement over the proof of Fermat's Last Theorem provides an opportunity to reexamnine these issues, because Wiles's proof is an excellent example of precisely the kind of mathematics that Hilbert hopes to justify with his program

Similar documents (content)

1. Balaguer, M.: ¬A guide for the perplexed : what mathematicians need to know to understand philosophers of mathematics (2014) 0.10

   0.09570771 = sum of:
     0.09570771 = product of:
       0.79756427 = sum of:
         0.0120131215 = weight(abstract_txt:that in 3661) [ClassicSimilarity], result of:
           0.0120131215 = score(doc=3661,freq=1.0), product of:
             0.040559605 = queryWeight, product of:
               1.084391 = boost
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.015785402 = queryNorm
             0.2961844 = fieldWeight in 3661, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.125 = fieldNorm(doc=3661)
         0.31075746 = weight(abstract_txt:mathematics in 3661) [ClassicSimilarity], result of:
           0.31075746 = score(doc=3661,freq=3.0), product of:
             0.21488199 = queryWeight, product of:
               2.0379496 = boost
               6.6796074 = idf(docFreq=150, maxDocs=44218)
               0.015785402 = queryNorm
             1.4461774 = fieldWeight in 3661, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               6.6796074 = idf(docFreq=150, maxDocs=44218)
               0.125 = fieldNorm(doc=3661)
         0.47479373 = weight(abstract_txt:mathematicians in 3661) [ClassicSimilarity], result of:
           0.47479373 = score(doc=3661,freq=2.0), product of:
             0.32630172 = queryWeight, product of:
               2.511326 = boost
               8.231152 = idf(docFreq=31, maxDocs=44218)
               0.015785402 = queryNorm
             1.4550757 = fieldWeight in 3661, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               8.231152 = idf(docFreq=31, maxDocs=44218)
               0.125 = fieldNorm(doc=3661)
       0.12 = coord(3/25)
   

2. Falkowski, B.-J.: On certain generalizations of inner product similarity measures (1998) 0.08

   0.08348519 = sum of:
     0.08348519 = product of:
       1.0435649 = sum of:
         0.28624514 = weight(abstract_txt:proof in 3555) [ClassicSimilarity], result of:
           0.28624514 = score(doc=3555,freq=1.0), product of:
             0.29339415 = queryWeight, product of:
               2.3813276 = boost
               7.805067 = idf(docFreq=48, maxDocs=44218)
               0.015785402 = queryNorm
             0.9756334 = fieldWeight in 3555, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.805067 = idf(docFreq=48, maxDocs=44218)
               0.125 = fieldNorm(doc=3555)
         0.75731975 = weight(abstract_txt:theorem in 3555) [ClassicSimilarity], result of:
           0.75731975 = score(doc=3555,freq=3.0), product of:
             0.38913935 = queryWeight, product of:
               2.742496 = boost
               8.988837 = idf(docFreq=14, maxDocs=44218)
               0.015785402 = queryNorm
             1.9461403 = fieldWeight in 3555, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               8.988837 = idf(docFreq=14, maxDocs=44218)
               0.125 = fieldNorm(doc=3555)
       0.08 = coord(2/25)
   

3. Borwein, J.; Stanway, T.: Knowledge and community in mathematics (2005) 0.08

   0.08329153 = sum of:
     0.08329153 = product of:
       0.41645765 = sum of:
         0.0127418395 = weight(abstract_txt:that in 3662) [ClassicSimilarity], result of:
           0.0127418395 = score(doc=3662,freq=8.0), product of:
             0.040559605 = queryWeight, product of:
               1.084391 = boost
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.015785402 = queryNorm
             0.314151 = fieldWeight in 3662, product of:
               2.828427 = tf(freq=8.0), with freq of:
                 8.0 = termFreq=8.0
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.046875 = fieldNorm(doc=3662)
         0.017971484 = weight(abstract_txt:issues in 3662) [ClassicSimilarity], result of:
           0.017971484 = score(doc=3662,freq=1.0), product of:
             0.089123964 = queryWeight, product of:
               1.3124739 = boost
               4.3017797 = idf(docFreq=1627, maxDocs=44218)
               0.015785402 = queryNorm
             0.20164593 = fieldWeight in 3662, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.3017797 = idf(docFreq=1627, maxDocs=44218)
               0.046875 = fieldNorm(doc=3662)
         0.04289265 = weight(abstract_txt:last in 3662) [ClassicSimilarity], result of:
           0.04289265 = score(doc=3662,freq=1.0), product of:
             0.15916972 = queryWeight, product of:
               1.753976 = boost
               5.7488523 = idf(docFreq=382, maxDocs=44218)
               0.015785402 = queryNorm
             0.26947746 = fieldWeight in 3662, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.7488523 = idf(docFreq=382, maxDocs=44218)
               0.046875 = fieldNorm(doc=3662)
         0.16480404 = weight(abstract_txt:mathematics in 3662) [ClassicSimilarity], result of:
           0.16480404 = score(doc=3662,freq=6.0), product of:
             0.21488199 = queryWeight, product of:
               2.0379496 = boost
               6.6796074 = idf(docFreq=150, maxDocs=44218)
               0.015785402 = queryNorm
             0.7669514 = fieldWeight in 3662, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               6.6796074 = idf(docFreq=150, maxDocs=44218)
               0.046875 = fieldNorm(doc=3662)
         0.17804764 = weight(abstract_txt:mathematicians in 3662) [ClassicSimilarity], result of:
           0.17804764 = score(doc=3662,freq=2.0), product of:
             0.32630172 = queryWeight, product of:
               2.511326 = boost
               8.231152 = idf(docFreq=31, maxDocs=44218)
               0.015785402 = queryNorm
             0.5456534 = fieldWeight in 3662, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               8.231152 = idf(docFreq=31, maxDocs=44218)
               0.046875 = fieldNorm(doc=3662)
       0.2 = coord(5/25)
   

4. Lange, C.: Ontologies and languages for representing mathematical knowledge on the Semantic Web (2011) 0.07

   0.07307779 = sum of:
     0.07307779 = product of:
       0.4567362 = sum of:
         0.00910321 = weight(abstract_txt:that in 135) [ClassicSimilarity], result of:
           0.00910321 = score(doc=135,freq=3.0), product of:
             0.040559605 = queryWeight, product of:
               1.084391 = boost
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.015785402 = queryNorm
             0.22444029 = fieldWeight in 135, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.0546875 = fieldNorm(doc=135)
         0.17551894 = weight(abstract_txt:mathematics in 135) [ClassicSimilarity], result of:
           0.17551894 = score(doc=135,freq=5.0), product of:
             0.21488199 = queryWeight, product of:
               2.0379496 = boost
               6.6796074 = idf(docFreq=150, maxDocs=44218)
               0.015785402 = queryNorm
             0.81681556 = fieldWeight in 135, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               6.6796074 = idf(docFreq=150, maxDocs=44218)
               0.0546875 = fieldNorm(doc=135)
         0.12523223 = weight(abstract_txt:proof in 135) [ClassicSimilarity], result of:
           0.12523223 = score(doc=135,freq=1.0), product of:
             0.29339415 = queryWeight, product of:
               2.3813276 = boost
               7.805067 = idf(docFreq=48, maxDocs=44218)
               0.015785402 = queryNorm
             0.4268396 = fieldWeight in 135, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.805067 = idf(docFreq=48, maxDocs=44218)
               0.0546875 = fieldNorm(doc=135)
         0.14688182 = weight(abstract_txt:mathematicians in 135) [ClassicSimilarity], result of:
           0.14688182 = score(doc=135,freq=1.0), product of:
             0.32630172 = queryWeight, product of:
               2.511326 = boost
               8.231152 = idf(docFreq=31, maxDocs=44218)
               0.015785402 = queryNorm
             0.4501411 = fieldWeight in 135, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.231152 = idf(docFreq=31, maxDocs=44218)
               0.0546875 = fieldNorm(doc=135)
       0.16 = coord(4/25)
   

5. Berry, M.W.; Browne, M.: Understanding search engines : mathematical modeling and text retrieval (1999) 0.07

   0.07198916 = sum of:
     0.07198916 = product of:
       0.44993222 = sum of:
         0.0127418395 = weight(abstract_txt:that in 5777) [ClassicSimilarity], result of:
           0.0127418395 = score(doc=5777,freq=2.0), product of:
             0.040559605 = queryWeight, product of:
               1.084391 = boost
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.015785402 = queryNorm
             0.314151 = fieldWeight in 5777, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.3694751 = idf(docFreq=11241, maxDocs=44218)
               0.09375 = fieldNorm(doc=5777)
         0.050831035 = weight(abstract_txt:issues in 5777) [ClassicSimilarity], result of:
           0.050831035 = score(doc=5777,freq=2.0), product of:
             0.089123964 = queryWeight, product of:
               1.3124739 = boost
               4.3017797 = idf(docFreq=1627, maxDocs=44218)
               0.015785402 = queryNorm
             0.5703408 = fieldWeight in 5777, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.3017797 = idf(docFreq=1627, maxDocs=44218)
               0.09375 = fieldNorm(doc=5777)
         0.13456194 = weight(abstract_txt:mathematics in 5777) [ClassicSimilarity], result of:
           0.13456194 = score(doc=5777,freq=1.0), product of:
             0.21488199 = queryWeight, product of:
               2.0379496 = boost
               6.6796074 = idf(docFreq=150, maxDocs=44218)
               0.015785402 = queryNorm
             0.6262132 = fieldWeight in 5777, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.6796074 = idf(docFreq=150, maxDocs=44218)
               0.09375 = fieldNorm(doc=5777)
         0.2517974 = weight(abstract_txt:mathematicians in 5777) [ClassicSimilarity], result of:
           0.2517974 = score(doc=5777,freq=1.0), product of:
             0.32630172 = queryWeight, product of:
               2.511326 = boost
               8.231152 = idf(docFreq=31, maxDocs=44218)
               0.015785402 = queryNorm
             0.77167046 = fieldWeight in 5777, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.231152 = idf(docFreq=31, maxDocs=44218)
               0.09375 = fieldNorm(doc=5777)
       0.16 = coord(4/25)