Формалды ғылым

Формалды ғылым (ағылш. Formal science) — логика, математика, статистика, теориялық информатика, жасанды интеллект, ақпарат теориясы, ойындар теориясы, жүйелер теориясы, шешім теориясы және теориялық лингвистика сияқты формалды жүйелерге қатысты формалды тіл пәндерін зерттейтін ғылым саласы.

Тарихы

Формалды ғылымдар ғылыми әдісті тұжырымдамас бұрын басталды, ең көне математикалық мәтіндер біздің заманымызыға дейінгі 1800 (Вавилон математикасы), б.з.д. 1600 (Египет математикасы) және 1000 жыл (Үнді математикасы). Содан бері әртүрлі мәдениеттер, мысалы грек, араб және парсы, математикаға үлкен үлестерін қосты, ал қытайлар мен жапондар, алыс мәдениеттерге қарамастан, өздерінің математикалық дәстүрлерін дамыта бастады.

Математикадан басқа, логика формалды ғылымдар саласындағы ежелгі пәндердің тағы бір мысалы болып табылады. Ақыл-ой әдістерін нақты талдау ретінде логика бастапқыда тұрақты түрде үш жерде дамыды: біздің дәуірімізге дейінгі VI ғасырдан бастап Үндістан, б.з.д V ғасырда Қытай және біздің дәуірімізге дейінгі 4 ғасыр мен б.з. I ғасыр арасындағы Греция. Қазіргі логиканың формалды түрі грек дәстүрінен басталады, Аристотель логикасының берілуінен кейін пайда болып, оны исламдық логистер одан әрі дамытты. Үнді дәстүрі ерте заманнан келіп жалғасқан. Қытай дәстүрі ежелгі дәуірден тыс өмір сүрген жоқ, дегенмен үнді логикасы кейінірек ортағасырлық Қытайда қабылданды.

Формалды ғылымның басқа да көптеген пәндері математикаға қатты сүйенетіндіктен, олар математика дамыған деңгейге жеткенге дейін болған да жоқ. Пьер де Ферма мен Блез Паскаль (1654) және Кристиаан Гюйгенс (1657) ықтималдықтар теориясын ең алғашқы зерттеуді бастады. 1800 жылдардың басында Гаусс пен Лаплас статистиканың математикалық теориясын жасап шығарды, ол сонымен қатар статистикалық сақтандыру мен мемлекеттік бухгалтерлік есепте қолдануды түсіндірді. Математикалық статистика математикалық пән ретінде ХХ ғасырдың басында танылды.

20 ғасырдың ортасында математика операциялар зерттеу мен жүйелерді жобалау сияқты жаңа математикалық ғылымдар мен инженерлік пәндердің пайда болуымен кеңейтіліп, байыды. Бұл ғылымдар электротехника саласындағы негізгі зерттеулерден, содан кейін ақпараттық есептеу, сандық талдау (ғылыми есептеу) және теориялық информатиканы ынталандыратын электрлік есептеулерді дамытудың пайдасын көрді. Теориялық информатика Есептеу теориясын қамтыған математикалық логика теориялық информатиканың дамуына пайда әкеледі.