We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
e twenty-three problems and the challenge they offered. Although not known until very recently, there xisted yet one more challenge offered by Hilbert, his twenty-fourth problem. This problem focuses on f t finding simpler proofs, on the criteria for measuring simplicity, and on the ‘‘development of a theory o he method of proof in mathematics in general’’.(More)
This paper reports three cases of stellate rupture of the spleen in children treated by wrapping with the omentum, following the use of the absorbable spleen net (ASN), which is made of the ordinary surgical sutures. All patients were cured with spleen preservation. No complications occurred.
m f The research reported in this technical report was spawned by the request to find an elegant proof (of a theore rom Boolean algebra) to replace the known proof consisting of 816 deduced steps. The request was met by s p finding a proof consisting of 100 deduced steps. The methodology used to obtain the far shorter proof i resented in detail through a(More)
t Experimentation strongly suggests that, for attacking deep questions and hard problems with the assis ance of an automated reasoning program, the more effective paradigms rely on the retention of a deduced information. A significant obstacle ordinarily presented by such a paradigm is the deduction nd retention of one or more needed conclusions whose(More)
  • 1