DISKRET MATEMATIKA VA MATEMATIK MANTIQ TARIXI VA UNING ASOSLARI. TARIXIY MAʼLUMOTLAR
Keywords:
Diskret matematika, Matematik mantiq, Tarixiy rivojlanish, Mulohaza, Algoritm, Graf nazariyasi, To'liqsizlik teoremalari, Kompyuter fanlariAbstract
Ushbu maqola diskret matematika va matematik mantiqning tarixiy ildizlari, rivojlanish bosqichlari va fundamental asoslarini chuqur tahlil qiladi. Antik davrdagi mantiqiy tafakkur va kombinatorik g'oyalardan boshlab, sembolik mantiqning shakllanishi, to'plamlar nazariyasining paydo bo'lishi, asoslar inqirozi va zamonaviy fundamental teoremalargacha bo'lgan evolyutsiya izchil yoritiladi. Maqola bu ikki sohaning zamonaviy axborot texnologiyalari, kompyuter fanlari va sun'iy intellekt rivojidagi o'rnini ham ko'rsatib o'tadi.
References
1. I. Grattan-Guinness. Matematik ildizlarni qidirish, 1870-1940: Mantiqlar, To'plam nazariyalari va Matematika asoslari Cantordan Gödelgacha. Princeton: Princeton University Press, 2000.
2. Jean van Heijenoort. Fregedan Godelga: Matematik mantiq bo'yicha manba kitobi, 1879-1931. Cambridge, MA: Harvard University Press, 1967.
3. John W. Dawson Jr. "Gödelning To'liqsizlik Teoremalarining Qabul Qilinishi." Falsafiy Matematika, jild. 18, son. 1, 2010, sahifalar. 27-49.
4. Wilfried Sieg. "Hilbert dasturi oltmish yildan keyin." The Journal of Symbolic Logic, vol. 53, no. 2, 1988, pp. 338-348.
5. Morris Kline. Matematik Fikr Qadimgi Davrlardan Zamonaviy Davrlargacha. New York: Oxford University Press, 1972.
