Mavzu: Aksiomatik usul. Reja

Fandagi aksiomatik tizimlar
Tarixan aksioma tizimining eng muhim maqsadi ba'zi fanlar yoki fanning bir qismi haqida umumiy tasavvurga ega bo'lish edi. Evklid buni geometriya uchun muvaffaqiyatli amalga oshirdi. O'rnatilgan nazariya va matematikada muvaffaqiyatli qo'llanilishidan tashqari, fizikada aksiomatik usuldan (Lyudvig Boltszman, Xaynrix Xertz va Vena doirasining ba'zi a'zolari), biologiya (J.X. Vudger tomonidan), kvant mexanikasi (Gyunter tomonidan) foydalanishga urinishlar bo'ldi. Ludvig) va ehtimol boshqa fanlar.
Bu urinishlar hech bo'lmaganda qisman muvaffaqiyatli bo'ldi. Agar fanlar uchun aksiomatizatsiya bo'yicha bunday harakatlar muvaffaqiyatli bo'lsa, bu yangi fanlarni aksiomalardan mantiqiy xulosalar chiqarish orqali o'rganishga imkon beradi. Umumiy ilmiy qonunlar yoki printsiplardan xulosalar chiqarilganda, ushbu usul amalda qo'llanilgan bo'lsa, bunday nazariy xulosalarni empirik tekshirish hali ham zarur. Shunday qilib, tizimning aksiomatizatsiyasi va rasmiylashtirilishi to'liq emas va tizim haqiqiy ilmiy bilimlarni beradimi degan savolni hal qilmaydi.
Shuningdek qarang

• 
  Aksiomatizatsiya
  
• 
  Model nazariyasi
  
• 
  Gödelning to'liqsizligi teoremasi
  

Foydalanilgan adabiyotlar

Britannica entsiklopediyasi. (2018).Eratosfenlar | Yunon olimi. [onlayn] mavjud: britannica.com [Kirish 2018 yil 3-dekabr]. En.wikipedia.org. (2018).Eratosfen. [onlayn] mavjud: en.wikipedia.org [Kirish 2018 yil 3-dekabr].

Gow, M. (2010).Erni o'lchash: Eratosfen va uning osmon geometriyasi. Berkli Xayts, NJ: Enslou.
Ekkerman, C. (2011). Eratosfen (D.V.) rolik (tahr., Trans.) Eratosfenning geografiyasi. Izohli va qo'shimcha materiallar bilan to'plangan va tarjima qilingan parchalar. Princeton and Oxford: Princeton University Press, 2010. ISBN: 978-0-691-14267-8.Klassik obzor, 61 (01), 78-80-betlar.
Aves, A., Magill, F. va Moose, C. (1998).Jahon biografiyasining lug'ati. Chikago: Fitzroy Dearborn Publishers, 401-405 betlar.
Gregoire, L. (1879).Tarix, biografiya, mifologiya va geografiyaning entsiklopedik lug'ati. Parij: Garnier, 758-bet.
O'Konnor, J. va Robertson, E. (1999).Eratosfenning tarjimai holi. [onlayn] Matematik va statistika maktabi, Sent-Endryus universiteti, Shotlandiya. Mavjud: -groups.dcs.st-and.ac.uk [Kirish 2018 yil 3-dekabr].