Document (#15512)

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.09585108 = sum of:
     0.09585108 = product of:
       0.798759 = sum of:
         0.011969169 = weight(abstract_txt:that in 4661) [ClassicSimilarity], result of:
           0.011969169 = score(doc=4661,freq=1.0), product of:
             0.040488783 = queryWeight, product of:
               1.0825198 = boost
               2.3649352 = idf(docFreq=11344, maxDocs=44421)
               0.015815381 = queryNorm
             0.2956169 = fieldWeight in 4661, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.3649352 = idf(docFreq=11344, maxDocs=44421)
               0.125 = fieldNorm(doc=4661)
         0.3102089 = weight(abstract_txt:mathematics in 4661) [ClassicSimilarity], result of:
           0.3102089 = score(doc=4661,freq=3.0), product of:
             0.21477847 = queryWeight, product of:
               2.0357208 = boost
               6.6710296 = idf(docFreq=152, maxDocs=44421)
               0.015815381 = queryNorm
             1.4443202 = fieldWeight in 4661, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               6.6710296 = idf(docFreq=152, maxDocs=44421)
               0.125 = fieldNorm(doc=4661)
         0.47658095 = weight(abstract_txt:mathematicians in 4661) [ClassicSimilarity], result of:
           0.47658095 = score(doc=4661,freq=2.0), product of:
             0.32734782 = queryWeight, product of:
               2.513203 = boost
               8.235732 = idf(docFreq=31, maxDocs=44421)
               0.015815381 = queryNorm
             1.4558855 = fieldWeight in 4661, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               8.235732 = idf(docFreq=31, maxDocs=44421)
               0.125 = fieldNorm(doc=4661)
       0.12 = coord(3/25)
   

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

   0.08379298 = sum of:
     0.08379298 = product of:
       1.0474123 = sum of:
         0.2873487 = weight(abstract_txt:proof in 4555) [ClassicSimilarity], result of:
           0.2873487 = score(doc=4555,freq=1.0), product of:
             0.29435253 = queryWeight, product of:
               2.3831794 = boost
               7.809647 = idf(docFreq=48, maxDocs=44421)
               0.015815381 = queryNorm
             0.9762059 = fieldWeight in 4555, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.809647 = idf(docFreq=48, maxDocs=44421)
               0.125 = fieldNorm(doc=4555)
         0.7600636 = weight(abstract_txt:theorem in 4555) [ClassicSimilarity], result of:
           0.7600636 = score(doc=4555,freq=3.0), product of:
             0.3903503 = queryWeight, product of:
               2.744417 = boost
               8.993418 = idf(docFreq=14, maxDocs=44421)
               0.015815381 = queryNorm
             1.947132 = fieldWeight in 4555, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               8.993418 = idf(docFreq=14, maxDocs=44421)
               0.125 = fieldNorm(doc=4555)
       0.08 = coord(2/25)
   

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

   0.08338696 = sum of:
     0.08338696 = product of:
       0.4169348 = sum of:
         0.01269522 = weight(abstract_txt:that in 4662) [ClassicSimilarity], result of:
           0.01269522 = score(doc=4662,freq=8.0), product of:
             0.040488783 = queryWeight, product of:
               1.0825198 = boost
               2.3649352 = idf(docFreq=11344, maxDocs=44421)
               0.015815381 = queryNorm
             0.31354907 = fieldWeight in 4662, product of:
               2.828427 = tf(freq=8.0), with freq of:
                 8.0 = termFreq=8.0
               2.3649352 = idf(docFreq=11344, maxDocs=44421)
               0.046875 = fieldNorm(doc=4662)
         0.017982012 = weight(abstract_txt:issues in 4662) [ClassicSimilarity], result of:
           0.017982012 = score(doc=4662,freq=1.0), product of:
             0.089220844 = queryWeight, product of:
               1.3120669 = boost
               4.299626 = idf(docFreq=1638, maxDocs=44421)
               0.015815381 = queryNorm
             0.20154497 = fieldWeight in 4662, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.299626 = idf(docFreq=1638, maxDocs=44421)
               0.046875 = fieldNorm(doc=4662)
         0.043026574 = weight(abstract_txt:last in 4662) [ClassicSimilarity], result of:
           0.043026574 = score(doc=4662,freq=1.0), product of:
             0.15961191 = queryWeight, product of:
               1.7549126 = boost
               5.750825 = idf(docFreq=383, maxDocs=44421)
               0.015815381 = queryNorm
             0.26956993 = fieldWeight in 4662, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.750825 = idf(docFreq=383, maxDocs=44421)
               0.046875 = fieldNorm(doc=4662)
         0.16451313 = weight(abstract_txt:mathematics in 4662) [ClassicSimilarity], result of:
           0.16451313 = score(doc=4662,freq=6.0), product of:
             0.21477847 = queryWeight, product of:
               2.0357208 = boost
               6.6710296 = idf(docFreq=152, maxDocs=44421)
               0.015815381 = queryNorm
             0.76596653 = fieldWeight in 4662, product of:
               2.4494898 = tf(freq=6.0), with freq of:
                 6.0 = termFreq=6.0
               6.6710296 = idf(docFreq=152, maxDocs=44421)
               0.046875 = fieldNorm(doc=4662)
         0.17871787 = weight(abstract_txt:mathematicians in 4662) [ClassicSimilarity], result of:
           0.17871787 = score(doc=4662,freq=2.0), product of:
             0.32734782 = queryWeight, product of:
               2.513203 = boost
               8.235732 = idf(docFreq=31, maxDocs=44421)
               0.015815381 = queryNorm
             0.5459571 = fieldWeight in 4662, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               8.235732 = idf(docFreq=31, maxDocs=44421)
               0.046875 = fieldNorm(doc=4662)
       0.2 = coord(5/25)
   

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

   0.073188595 = sum of:
     0.073188595 = product of:
       0.45742875 = sum of:
         0.009069903 = weight(abstract_txt:that in 1135) [ClassicSimilarity], result of:
           0.009069903 = score(doc=1135,freq=3.0), product of:
             0.040488783 = queryWeight, product of:
               1.0825198 = boost
               2.3649352 = idf(docFreq=11344, maxDocs=44421)
               0.015815381 = queryNorm
             0.22401026 = fieldWeight in 1135, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               2.3649352 = idf(docFreq=11344, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1135)
         0.1752091 = weight(abstract_txt:mathematics in 1135) [ClassicSimilarity], result of:
           0.1752091 = score(doc=1135,freq=5.0), product of:
             0.21477847 = queryWeight, product of:
               2.0357208 = boost
               6.6710296 = idf(docFreq=152, maxDocs=44421)
               0.015815381 = queryNorm
             0.81576663 = fieldWeight in 1135, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               6.6710296 = idf(docFreq=152, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1135)
         0.12571505 = weight(abstract_txt:proof in 1135) [ClassicSimilarity], result of:
           0.12571505 = score(doc=1135,freq=1.0), product of:
             0.29435253 = queryWeight, product of:
               2.3831794 = boost
               7.809647 = idf(docFreq=48, maxDocs=44421)
               0.015815381 = queryNorm
             0.42709008 = fieldWeight in 1135, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.809647 = idf(docFreq=48, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1135)
         0.1474347 = weight(abstract_txt:mathematicians in 1135) [ClassicSimilarity], result of:
           0.1474347 = score(doc=1135,freq=1.0), product of:
             0.32734782 = queryWeight, product of:
               2.513203 = boost
               8.235732 = idf(docFreq=31, maxDocs=44421)
               0.015815381 = queryNorm
             0.4503916 = fieldWeight in 1135, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.235732 = idf(docFreq=31, maxDocs=44421)
               0.0546875 = fieldNorm(doc=1135)
       0.16 = coord(4/25)
   

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

   0.072100095 = sum of:
     0.072100095 = product of:
       0.45062563 = sum of:
         0.01269522 = weight(abstract_txt:that in 777) [ClassicSimilarity], result of:
           0.01269522 = score(doc=777,freq=2.0), product of:
             0.040488783 = queryWeight, product of:
               1.0825198 = boost
               2.3649352 = idf(docFreq=11344, maxDocs=44421)
               0.015815381 = queryNorm
             0.31354907 = fieldWeight in 777, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.3649352 = idf(docFreq=11344, maxDocs=44421)
               0.09375 = fieldNorm(doc=777)
         0.05086081 = weight(abstract_txt:issues in 777) [ClassicSimilarity], result of:
           0.05086081 = score(doc=777,freq=2.0), product of:
             0.089220844 = queryWeight, product of:
               1.3120669 = boost
               4.299626 = idf(docFreq=1638, maxDocs=44421)
               0.015815381 = queryNorm
             0.57005525 = fieldWeight in 777, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.299626 = idf(docFreq=1638, maxDocs=44421)
               0.09375 = fieldNorm(doc=777)
         0.13432439 = weight(abstract_txt:mathematics in 777) [ClassicSimilarity], result of:
           0.13432439 = score(doc=777,freq=1.0), product of:
             0.21477847 = queryWeight, product of:
               2.0357208 = boost
               6.6710296 = idf(docFreq=152, maxDocs=44421)
               0.015815381 = queryNorm
             0.625409 = fieldWeight in 777, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.6710296 = idf(docFreq=152, maxDocs=44421)
               0.09375 = fieldNorm(doc=777)
         0.2527452 = weight(abstract_txt:mathematicians in 777) [ClassicSimilarity], result of:
           0.2527452 = score(doc=777,freq=1.0), product of:
             0.32734782 = queryWeight, product of:
               2.513203 = boost
               8.235732 = idf(docFreq=31, maxDocs=44421)
               0.015815381 = queryNorm
             0.77209985 = fieldWeight in 777, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.235732 = idf(docFreq=31, maxDocs=44421)
               0.09375 = fieldNorm(doc=777)
       0.16 = coord(4/25)