|
|
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
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|