>
Fa   |   Ar   |   En
   A Constructive Study of Landau's Summability Theorem  
   
نویسنده Berger Josef ,Bridges Douglas
منبع journal of universal computer science - 2010 - دوره : 16 - شماره : 18 - صفحه:2523 -2534
چکیده    A summability theorem of landau, which classically is a simple consequence of the uniform boundedness theorem, is examined within bishop-style constructive mathematics. it is shown that the original theorem is nonconstructive, and that a natural weakening of the theorem is constructively equivalent to ishihara's principle bd-n. the paper ends with a number of results that, while not as strong as landau's theorem, nevertheless contain positive computational information related to its conclusion.
کلیدواژه space ,Landau ,constructive ,summability
آدرس Universit¨at M¨unchen Theresienstrasze, Mathematisches Institut der Ludwig-Maximilians, Germany, University of Canterbury Private Bag, Department of Mathematics & Statistics, New Zealand
پست الکترونیکی d.bridges@math.canterbury.ac.nz
 
     
   
Authors
  
 
 

Copyright 2023
Islamic World Science Citation Center
All Rights Reserved