ಕಂಪ್ಯುಟೇಷನ್ (ಗಣನಾ) ಸಿದ್ಧಾಂತವನ್ನು ಗಣಕಶಾಸ್ತ್ರದ ಕ್ಷೇತ್ರದಲ್ಲಿ ಎಲ್ಲಾ ವಿಧವಾದ ಮಾದರಿಗಳನ್ನು ಸೃಷ್ಟಿಸುವ ಸಿದ್ಧಾಂತವೆನ್ನಬಹುದು. ಆದ್ದರಿಂದ ಗಣಿತ ಮತ್ತು ತರ್ಕ ಎರಡನ್ನೂ ಬಳಸಲಾಗುತ್ತದೆ. ಕಳೆದ ಶತಮಾನದಲ್ಲಿ ಅದು ಸ್ವತಂತ್ರ ಶಿಕ್ಷಣ ವಿಷಯವೆಂದು ಪರಿಗಣಿಸಲ್ಪಟ್ಟಿತು ಮತ್ತು ಗಣಿತದಿಂದ ಬೇರ್ಪಡಿಸಲಾಯಿತು.

ಕಂಪ್ಯುಟೇಷನ್ ಸಿದ್ಧಾಂತದ ಹರಿಕಾರರೆಂದರೆ ಅಲೋನ್ಝೋ ಚರ್ಚ್, ಅಲನ್ ಟ್ಯೂರಿಂಗ್, ಸ್ಟೀಫನ್ ಕ್ಲೀನೆಲ್, ಜಾನ್ ವಾನ್ ನ್ಯೂಮನ್, ಕ್ಲಾಡ್ ಶನ್ನೋನಿ, ಮತ್ತು ನೊಆಮ್ ಚಾಮ್ಸ್ ಕಿ.

ಇತಿಹಾಸ
ಗಣನಾವಿಧಿಯ ಇತರ ಔಪಚಾರಿಕ ವ್ಯಾಖ್ಯೆಗಳು
ಇವನ್ನೂ ನೋಡಿ
ಗಣನಾರ್ಹತಾ(ಕಂಪ್ಯೂಟೆಬಲಿಟಿ) ಸಿದ್ಧಾಂತ