Analiz ve Fizikte Hesaplanabilirlik - Computability in Analysis and Physics

Analiz ve Fizikte Hesaplanabilirlik bir monografi açık hesaplanabilir analiz tarafından Marian Pour-El ve J. Ian Richards. Tarafından yayınlandı Springer-Verlag Perspectives in Mathematical Logic serisinde 1989 yılında ve Sembolik Mantık Derneği ve Cambridge University Press Perspectives in Logic serisinde 2016 yılında.

Konular

Kitap endişeleri hesaplanabilir analiz bir dalı matematiksel analiz Tarafından kuruldu Alan Turing ve ilgili hesaplanabilirlik analizde yapıların. Bu alan bağlantılıdır, ancak bundan farklıdır: yapıcı analiz, ters matematik, ve Sayısal analiz. Alanın erken gelişimi, Oliver Aberth'in bir kitabında özetlendi, Hesaplanabilir Analiz (1980) ve Analiz ve Fizikte Hesaplanabilirlik yazarları tarafından bu alandaki önemli gelişmeleri içeren bir güncelleme sağlar.[1] Önderlik ettiği Rus hesaplanabilir analiz okulunun aksine Andrey Markov Jr., hesaplanabilirliği, yalnızca hesaplanabilir nesnelerle ilgili bir teori geliştirmek yerine, matematiksel nesnelerin diğerlerinden ayırt edici bir özelliği olarak görür.[2]

Kitabın ilk bölümünden sonra, hesaplanabilir analiz tanıtıldı ve bir örnek John Myhill hesaplanabilir sürekli türevlenebilir işlev türevi hesaplanamayan,[1] kitabın geri kalan iki bölümü yazarların sonuçlarıyla ilgilidir.[3] Bunlar, hesaplanabilir öz-eş operatör, özdeğerler bireysel olarak hesaplanabilir, ancak dizileri (genel olarak) değildir; 0'ın hesaplanabilir özvektörleri olmayan çokluğun bir özdeğer olduğu hesaplanabilir bir öz-eşlenik operatörün varlığı; ve operatörler için hesaplanabilirlik ve sınırlılığın denkliği.[1] Yazarların ana araçları, hesaplanabilirlik yapısı, bir çift Banach alanı ve aksiyomatik olarak karakterize edilmiş bir dizi dizisinin ve bir etkili jeneratör setiuzayda doğrusal yayılma alanı yoğun olan dizi dizisinin bir üyesi.[3][4]

Yazarlar, çözümlerin hesaplanabilirliği ile kısmen motive edilmektedir. diferansiyel denklemler. Bir hesaplanabilir ve sürekli başlangıç ​​koşulları örneği sağlarlar. dalga denklemi (ancak hesaplanamayan bir gradyan ile) daha sonra sürekli ancak hesaplanamayan bir çözüme yol açar.[3][4] Ancak, bu fenomenin şu anda gerçekleşemeyeceğini gösteriyorlar. ısı denklemi yada ... için Laplace denklemi.[2]

Kitap ayrıca açık problemlerin bir derlemesini de içeriyor.[2][4] okuyucularına bu alanda daha fazla araştırma yapma konusunda ilham verme olasılığı yüksektir.[3]

Seyirci ve resepsiyon

Kitap bağımsızdır ve matematiksel analiz ve hesaplanabilirlik alanındaki araştırmacıları hedeflemektedir;[1] yorumcular Douglas Bridges ve Robin Gandy Bu iki gruptan hangisinin hedeflenmesinin daha iyi olduğu konusunda anlaşamıyorum.[3][4] Ortak yazar olmasına rağmen Marian Pour-El bir arka plandan geldi matematiksel mantık ve kitabın yayınlandığı iki serinin başlıklarında mantık var, okuyucuların mantığa aşina olması beklenmiyor.[2]

Sunumun resmiyetinden ve yazarların hesaplanabilir analizdeki tüm son gelişmeleri dahil etmeyi amaçlamadığından şikayetçi olmasına rağmen, hakem Rod Downey bu kitabın "bu alanda araştırma yapan herkes için kesinlikle bir zorunluluk olduğunu" yazıyor,[1] ve Gandy buna "ilginç, okunabilir ve çok iyi yazılmış bir kitap" diyor.[4]

Referanslar

  1. ^ a b c d e Downey, Rodney G. (1990), Matematiksel İncelemeler, BAY  1005942CS1 Maint: başlıksız süreli yayın (bağlantı); yeniden basıldı zbMATH gibi Zbl  0678.03027
  2. ^ a b c d Aberth, Oliver (Haziran 1991), Journal of Symbolic Logic, 56 (2): 749–750, doi:10.2307/2274716, JSTOR  2274716CS1 Maint: başlıksız süreli yayın (bağlantı)
  3. ^ a b c d e Bridges, Douglas S. (Ocak 1991), Amerikan Matematik Derneği Bülteni, Yeni seri, 24 (1): 216–228, doi:10.1090 / S0273-0979-1991-15994-X, BAY  1567904CS1 Maint: başlıksız süreli yayın (bağlantı)
  4. ^ a b c d e Gandy, R. O. (Mayıs 1991), Londra Matematik Derneği Bülteni, 23 (3): 303–305, doi:10.1112 / blms / 23.3.303bCS1 Maint: başlıksız süreli yayın (bağlantı)