home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / sci / math / 10709 < prev    next >
Encoding:
Internet Message Format  |  1992-08-30  |  688 b 
  1. Path: sparky!uunet!ulowell!m2c!bu.edu!olivea!mintaka.lcs.mit.edu!zurich.ai.mit.edu!ara
  2. From: ara@zurich.ai.mit.edu (Allan Adler)
  3. Newsgroups: sci.math
  4. Subject: Another induction problem
  5. Message-ID: <ARA.92Aug30103547@camelot.ai.mit.edu>
  6. Date: 30 Aug 92 15:35:47 GMT
  7. Sender: news@mintaka.lcs.mit.edu
  8. Distribution: sci
  9. Organization: M.I.T. Artificial Intelligence Lab.
  10. Lines: 10
  11.  
  12.  
  13.  
  14. Hironaka's proof of resolution of singularities depends on a complicated
  15. induction scheme. I heard a rumor once that the scheme is so complicated
  16. that someone else published a paper proving that such a scheme could work.
  17.  
  18. Is this rumor true and if so, what is a reference?
  19.  
  20. Allan Adler
  21. ara@altdorf.ai.mit.edu
  22.