Alonzo Church
ಅಲೊಂಜೊ ಚರ್ಚ್ (ಜೂನ್ 14,1903-ಆಗಸ್ಟ್ 11,1995) ಒಬ್ಬ ಅಮೇರಿಕನ್ ಗಣಿತಶಾಸ್ತ್ರಜ್ಞ, ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನಿ, ತರ್ಕಶಾಸ್ತ್ರಜ್ಞ ಮತ್ತು ತತ್ವಶಾಸ್ತ್ರಜ್ಞರಾಗಿದ್ದು, ಅವರು ಗಣಿತದ ತರ್ಕ ಮತ್ತು ಸೈದ್ಧಾಂತಿಕ ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನದ ಅಡಿಪಾಯಗಳಿಗೆ ಪ್ರಮುಖ ಕೊಡುಗೆಗಳನ್ನು ನೀಡಿದ್ದಾರೆ. ಅವರು ಲ್ಯಾಂಬ್ಡಾ ಕ್ಯಾಲ್ಕುಲಸ್, ಚರ್ಚ್-ಟ್ಯೂರಿಂಗ್ ಪ್ರಬಂಧಕ್ಕೆ ಹೆಸರುವಾಸಿಯಾಗಿದ್ದಾರೆ, ಇದು ಎಂಟ್ಚೈಡುಂಗ್ಸ್ ಪ್ರೊಬ್ಲಮ್ ("ನಿರ್ಧಾರದ ಸಮಸ್ಯೆ"), ಫ್ರೆಜ್-ಚರ್ಚ್ ಆಂಟಾಲಜಿ ಮತ್ತು ಚರ್ಚ್-ರಾಸರ್ ಪ್ರಮೇಯದ ಪರಿಹರಿಸಲಾಗದಿಕೆಯನ್ನು ಸಾಬೀತುಪಡಿಸುತ್ತದೆ. ಅವರು ಭಾಷೆಯ ತತ್ವಶಾಸ್ತ್ರದ ಮೇಲೂ ಕೆಲಸ ಮಾಡಿದರು (ಉದಾಹರಣೆಗೆ. ಚರ್ಚ್ 1970). ಅವರ ಡಾಕ್ಟರೇಟ್ ವಿದ್ಯಾರ್ಥಿ ಅಲನ್ ಟ್ಯೂರಿಂಗ್ ಜೊತೆಗೆ, ಚರ್ಚ್ ಅನ್ನು ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನದ ಸಂಸ್ಥಾಪಕರಲ್ಲಿ ಒಬ್ಬರೆಂದು ಪರಿಗಣಿಸಲಾಗಿದೆ. ಲೈಫ್ ಅಲೋಂಜೋ ಚರ್ಚ್ 1903ರ ಜೂನ್ 14ರಂದು ವಾಷಿಂಗ್ಟನ್ ಡಿ. ಸಿ. ಯಲ್ಲಿ ಜನಿಸಿದರು, ಅಲ್ಲಿ ಅವರ ತಂದೆ ಸ್ಯಾಮ್ಯುಯೆಲ್ ರಾಬಿನ್ಸ್ ಚರ್ಚ್, ಶಾಂತಿ ನ್ಯಾಯಮೂರ್ತಿಯಾಗಿದ್ದರು ಮತ್ತು ಕೊಲಂಬಿಯಾ ಜಿಲ್ಲೆಯ ಪುರಸಭಾ ನ್ಯಾಯಾಲಯದ ನ್ಯಾಯಾಧೀಶರಾಗಿದ್ದರು. ಅವರು 1881 ರಿಂದ 1901 ರವರೆಗೆ ಯುನೈಟೆಡ್ ಸ್ಟೇಟ್ಸ್ ಸೆನೆಟ್ ಗ್ರಂಥಪಾಲಕರಾದ ಅಲೊಂಜೊ ವೆಬ್ಸ್ಟರ್ ಚರ್ಚ್ನ ಮೊಮ್ಮಗ ಮತ್ತು ಅಲೊಂಜೊ ಚರ್ಚ್ನ ಮೊಮ್ಮಗ, ಗಣಿತ ಮತ್ತು ಖಗೋಳಶಾಸ್ತ್ರದ ಪ್ರಾಧ್ಯಾಪಕ ಮತ್ತು ಜಾರ್ಜಿಯಾ ವಿಶ್ವವಿದ್ಯಾಲಯದ 6 ನೇ ಅಧ್ಯಕ್ಷರಾಗಿದ್ದರು. ಚಿಕ್ಕ ಹುಡುಗನಾಗಿದ್ದಾಗ, ಏರ್ ಗನ್ ಅಪಘಾತದಿಂದ ಚರ್ಚ್ ಭಾಗಶಃ ಕುರುಡಾಗಿತ್ತು. ದೃಷ್ಟಿ ಕೊರತೆಯಿಂದಾಗಿ ಅವರ ತಂದೆ ವಿಶ್ವವಿದ್ಯಾನಿಲಯದಲ್ಲಿ ತಮ್ಮ ಸ್ಥಾನವನ್ನು ಕಳೆದುಕೊಂಡ ನಂತರ ಕುಟುಂಬವು ನಂತರ ವರ್ಜಿನಿಯಾಗೆ ಸ್ಥಳಾಂತರಗೊಂಡಿತು. ತನ್ನ ಚಿಕ್ಕಪ್ಪನ ಸಹಾಯದಿಂದ, ಅಲೋಂಜೋ ಚರ್ಚ್ ಎಂದೂ ಹೆಸರಿಸಲಾದ ಮಗ ಕನೆಕ್ಟಿಕಟ್ನ ರಿಡ್ಜ್ಫೀಲ್ಡ್ನಲ್ಲಿರುವ ಖಾಸಗಿ ರಿಡ್ಜ್ಫೀಲ್ಡ್ ಸ್ಕೂಲ್ ಫಾರ್ ಬಾಯ್ಸ್ನಲ್ಲಿ ವ್ಯಾಸಂಗ ಮಾಡಿದನು. 1920ರಲ್ಲಿ ರಿಡ್ಜ್ಫೀಲ್ಡ್ನಿಂದ ಪದವಿ ಪಡೆದ ನಂತರ, ಚರ್ಚ್ ಪ್ರಿನ್ಸ್ಟನ್ ವಿಶ್ವವಿದ್ಯಾನಿಲಯಕ್ಕೆ ಸೇರಿದರು, ಅಲ್ಲಿ ಅವರು ಅಸಾಧಾರಣ ವಿದ್ಯಾರ್ಥಿಯಾಗಿದ್ದರು. ಅವರು 1924 ರಲ್ಲಿ ಲೊರೆಂಟ್ಜ್ ರೂಪಾಂತರಗಳ ಕುರಿತು ತಮ್ಮ ಮೊದಲ ಪ್ರಬಂಧವನ್ನು ಪ್ರಕಟಿಸಿದರು ಮತ್ತು ಅದೇ ವರ್ಷ ಗಣಿತಶಾಸ್ತ್ರದಲ್ಲಿ ಪದವಿ ಪಡೆದರು. ಓಸ್ವಾಲ್ಡ್ ವೆಬ್ಲೆನ್ ಅವರ ಅಡಿಯಲ್ಲಿ ಮೂರು ವರ್ಷಗಳಲ್ಲಿ ಗಣಿತಶಾಸ್ತ್ರದಲ್ಲಿ ಪಿಎಚ್ಡಿ ಗಳಿಸಿದ ಅವರು ಪದವಿ ಕೆಲಸಕ್ಕಾಗಿ ಪ್ರಿನ್ಸ್ಟನ್ನಲ್ಲಿ ಉಳಿದರು. ಆತ 1925ರಲ್ಲಿ ಮೇರಿ ಜೂಲಿಯಾ ಕುಕ್ಜಿನ್ಸ್ಕಿಯನ್ನು ವಿವಾಹವಾದರು. ಈ ದಂಪತಿಗೆ ಅಲೋಂಜೋ ಜೂನಿಯರ್ (1929), ಮೇರಿ ಆನ್ (1933) ಮತ್ತು ಮಿಲ್ಡ್ರೆಡ್ (1938) ಎಂಬ ಮೂವರು ಮಕ್ಕಳಿದ್ದರು. ಪಿಎಚ್ಡಿ ಪಡೆದ ನಂತರ, ಅವರು ಚಿಕಾಗೊ ವಿಶ್ವವಿದ್ಯಾಲಯದಲ್ಲಿ ಸಂಕ್ಷಿಪ್ತವಾಗಿ ಬೋಧಕರಾಗಿದ್ದರು. ಅವರು ಎರಡು ವರ್ಷಗಳ ರಾಷ್ಟ್ರೀಯ ಸಂಶೋಧನಾ ಫೆಲೋಶಿಪ್ ಅನ್ನು ಪಡೆದರು, ಅದು ಅವರಿಗೆ 1927-1928 ನಲ್ಲಿ ಹಾರ್ವರ್ಡ್ ವಿಶ್ವವಿದ್ಯಾಲಯಕ್ಕೆ ಮತ್ತು ಮುಂದಿನ ವರ್ಷ ಗೊಟ್ಟಿಂಗನ್ ವಿಶ್ವವಿದ್ಯಾಲಯ ಮತ್ತು ಆಮ್ಸ್ಟರ್ಡ್ಯಾಮ್ ವಿಶ್ವವಿದ್ಯಾಲಯಕ್ಕೆ ಹಾಜರಾಗಲು ಅನುವು ಮಾಡಿಕೊಟ್ಟಿತು. ಅವರು ಪ್ರಿನ್ಸ್ಟನ್ನಲ್ಲಿ 1929ರಿಂದ 1967ರವರೆಗೆ ಸುಮಾರು ನಾಲ್ಕು ದಶಕಗಳ ಕಾಲ ತತ್ವಶಾಸ್ತ್ರ ಮತ್ತು ಗಣಿತವನ್ನು ಬೋಧಿಸಿದರು. ಅವರು ಲಾಸ್ ಏಂಜಲೀಸ್ನ ಕ್ಯಾಲಿಫೋರ್ನಿಯಾ ವಿಶ್ವವಿದ್ಯಾಲಯದಲ್ಲಿ ತತ್ವಶಾಸ್ತ್ರ ಮತ್ತು ಗಣಿತಶಾಸ್ತ್ರದ ಫ್ಲಿಂಟ್ ಪ್ರಾಧ್ಯಾಪಕರಾಗಿದ್ದರು. ಅವರು 1962ರಲ್ಲಿ ಸ್ಟಾಕ್ಹೋಮ್ನಲ್ಲಿ ನಡೆದ ಐ. ಸಿ. ಎಂ. ನಲ್ಲಿ ಸರ್ವಸದಸ್ಯರಾಗಿದ್ದರು. 1969ರಲ್ಲಿ ಕೇಸ್ ವೆಸ್ಟರ್ನ್ ರಿಸರ್ವ್ ವಿಶ್ವವಿದ್ಯಾಲಯದಿಂದ, 1985ರಲ್ಲಿ ಪ್ರಿನ್ಸ್ಟನ್ ವಿಶ್ವವಿದ್ಯಾಲಯದಿಂದ ಮತ್ತು 1990ರಲ್ಲಿ ಜಾನ್ ಕೊರ್ಕೊರನ್ ಅವರು ಆಯೋಜಿಸಿದ್ದ ಅಂತಾರಾಷ್ಟ್ರೀಯ ವಿಚಾರ ಸಂಕಿರಣಕ್ಕೆ ಸಂಬಂಧಿಸಿದಂತೆ ಬಫಲೋ ವಿಶ್ವವಿದ್ಯಾಲಯ, ದಿ ಸ್ಟೇಟ್ ಯೂನಿವರ್ಸಿಟಿ ಆಫ್ ನ್ಯೂಯಾರ್ಕ್ನಿಂದ ಗೌರವ ಡಾಕ್ಟರ್ ಆಫ್ ಸೈನ್ಸ್ ಪದವಿಗಳನ್ನು ಪಡೆದರು. ಅವರು 1966ರಲ್ಲಿ ಬ್ರಿಟಿಷ್ ಅಕಾಡೆಮಿಯ (ಎಫ್. ಬಿ. ಎ.) ಅನುಗುಣವಾದ ಫೆಲೋ ಆಗಿ, 1967ರಲ್ಲಿ ಅಮೇರಿಕನ್ ಅಕಾಡೆಮಿ ಆಫ್ ಆರ್ಟ್ಸ್ ಅಂಡ್ ಸೈನ್ಸಸ್ಗೆ, 1978ರಲ್ಲಿ ನ್ಯಾಷನಲ್ ಅಕಾಡೆಮಿ ಆಫ್ ಸೈನ್ಸಸ್ಗೆ ಆಯ್ಕೆಯಾದರು. ಆಳವಾದ ಧಾರ್ಮಿಕ ವ್ಯಕ್ತಿಯಾಗಿದ್ದ ಚರ್ಚ್, ಪ್ರೆಸ್ಬಿಟೇರಿಯನ್ ಚರ್ಚ್ನ ಆಜೀವ ಸದಸ್ಯರಾಗಿದ್ದರು. ಅವರು 1995ರ ಆಗಸ್ಟ್ 11ರಂದು ತಮ್ಮ 92ನೇ ವಯಸ್ಸಿನಲ್ಲಿ ನಿಧನರಾದರು. ಆತನನ್ನು ಪ್ರಿನ್ಸ್ಟನ್ ಸ್ಮಶಾನದಲ್ಲಿ ಸಮಾಧಿ ಮಾಡಲಾಗಿದೆ. ಗಣಿತಶಾಸ್ತ್ರದ ಕೃತಿ ಚರ್ಚ್ ಈ ಕೆಳಗಿನ ಮಹತ್ವದ ಸಾಧನೆಗಳಿಗೆ ಹೆಸರುವಾಸಿಯಾಗಿದೆಃ ಮೊದಲ-ಕ್ರಮಾಂಕದ ಗಣಿತಶಾಸ್ತ್ರದ ಸಿದ್ಧಾಂತದಲ್ಲಿ ಅನಿಯಂತ್ರಿತ ಪ್ರತಿಪಾದನೆಗಳ ಸತ್ಯವನ್ನು ನಿರ್ಧರಿಸಲು ನಿರ್ಧಾರದ ಕಾರ್ಯವಿಧಾನವನ್ನು ಕೇಳುವ ಎಂಟ್ಚೈಡುಂಗ್ಸ್ ಪ್ರಾಬ್ಲಮ್, ಅನಿಶ್ಚಿತವಾಗಿದೆ ಎಂಬುದಕ್ಕೆ ಆತ ನೀಡಿದ ಪುರಾವೆ. ಇದನ್ನು ಚರ್ಚ್ನ ಪ್ರಮೇಯ ಎಂದು ಕರೆಯಲಾಗುತ್ತದೆ. ಆತನ ಲ್ಯಾಂಬ್ಡಾ ಕಲನಶಾಸ್ತ್ರದ ಆವಿಷ್ಕಾರ. ಪೀನೋ ಅಂಕಗಣಿತವು ಅನಿಶ್ಚಿತವಾಗಿದೆ ಎಂದು ಸಾಬೀತುಪಡಿಸಲು ಅವರು ಲ್ಯಾಂಬ್ಡಾ ಕಲನಶಾಸ್ತ್ರವನ್ನು ಬಳಸಿದರು. ಅವರ ಅಭಿವ್ಯಕ್ತಿಯು ಚರ್ಚ್-ಟ್ಯೂರಿಂಗ್ ಪ್ರಬಂಧ ಎಂದು ಕರೆಯಲ್ಪಟ್ಟಿದೆ. ಜರ್ನಲ್ ಆಫ್ ಸಿಂಬಾಲಿಕ್ ಲಾಜಿಕ್ ನ ಸ್ಥಾಪಕ ಸಂಪಾದಕರಾಗಿದ್ದ ಅವರು, 1936ರಿಂದ 1979ರವರೆಗೆ 43 ವರ್ಷಗಳ ಕಾಲ ಅದರ ವಿಮರ್ಶೆ ವಿಭಾಗವನ್ನು ಸಂಪಾದಿಸಿದರು. ಗಣಿತದ ತರ್ಕಶಾಸ್ತ್ರದ ಕ್ಷೇತ್ರದಲ್ಲಿನ ಪ್ರಮುಖ ಪಠ್ಯಪುಸ್ತಕವಾದ ಇಂಟ್ರೊಡಕ್ಷನ್ ಟು ಮ್ಯಾಥಮೆಟಿಕಲ್ ಲಾಜಿಕ್ ಅನ್ನು ಅವರು ಬರೆದಿದ್ದಾರೆ. ಚರ್ಚ್-ರಾಸರ್ ಪ್ರಮೇಯ ಲ್ಯಾಂಬ್ಡಾ ಕಲನಶಾಸ್ತ್ರವು ತನ್ನ 1936ರ ಪ್ರಬಂಧದಲ್ಲಿ ಹೊರಹೊಮ್ಮಿತು, ಇದು ಎಂಟ್ಚೈಡುಂಗ್ಸ್ ಸಮಸ್ಯೆಯ ಪರಿಹಾರಸಾಧ್ಯತೆಯನ್ನು ತೋರಿಸುತ್ತದೆ. ಈ ಫಲಿತಾಂಶವು ಅಲನ್ ಟ್ಯೂರಿಂಗ್ ಅವರ ನಿಲುಗಡೆ ಸಮಸ್ಯೆಯ ಕುರಿತಾದ ಕೆಲಸಕ್ಕೆ ಮುಂಚಿತವಾಗಿತ್ತು, ಇದು ಯಾಂತ್ರಿಕ ವಿಧಾನಗಳಿಂದ ಪರಿಹರಿಸಲಾಗದ ಸಮಸ್ಯೆಯ ಅಸ್ತಿತ್ವವನ್ನು ಸಹ ಪ್ರದರ್ಶಿಸಿತು. ಚರ್ಚ್ನ ಕೆಲಸವನ್ನು ಕೇಳಿದ ನಂತರ, ಟ್ಯೂರಿಂಗ್ ಆ ವರ್ಷದ ಕೊನೆಯಲ್ಲಿ ಪ್ರಿನ್ಸ್ಟನ್ನಲ್ಲಿ ಪಿಎಚ್ಡಿಗಾಗಿ ಚರ್ಚ್ ಮತ್ತು ಟ್ಯೂರಿಂಗ್ನಲ್ಲಿ ಸೇರಿಕೊಂಡರು, ನಂತರ ಟ್ಯೂರಿಂಗ್ನ ನಿಲುಗಡೆ ಸಮಸ್ಯೆಯಲ್ಲಿ ಬಳಸಲಾದ ಲ್ಯಾಂಬ್ಡಾ ಕಲನಶಾಸ್ತ್ರ ಮತ್ತು ಟ್ಯೂರಿಂಗ್ ಯಂತ್ರವು ಸಾಮರ್ಥ್ಯಗಳಲ್ಲಿ ಸಮಾನವಾಗಿವೆ ಎಂದು ತೋರಿಸಿದರು ಮತ್ತು ತರುವಾಯ ವಿವಿಧ ಪರ್ಯಾಯ "ಗಣನೆಗಾಗಿ ಯಾಂತ್ರಿಕ ಪ್ರಕ್ರಿಯೆಗಳನ್ನು" ಪ್ರದರ್ಶಿಸಿದರು. ಇದು ಚರ್ಚ್-ಟ್ಯೂರಿಂಗ್ ಪ್ರಬಂಧಕ್ಕೆ ಕಾರಣವಾಯಿತು. ನಿರ್ದಿಷ್ಟತೆಗಳಿಂದ ನಿಯಂತ್ರಕ ಅನುಷ್ಠಾನವನ್ನು ಸ್ವಯಂಚಾಲಿತವಾಗಿ ಉತ್ಪಾದಿಸುವ ಪ್ರಯತ್ನಗಳು ಅವರ ಆಲೋಚನೆಗಳಿಂದ ಹುಟ್ಟಿಕೊಳ್ಳುತ್ತವೆ. ಲ್ಯಾಂಬ್ಡಾ ಕಲನಶಾಸ್ತ್ರವು ಸಾಮಾನ್ಯವಾಗಿ ಲಿಸ್ಪ್ ಮತ್ತು ಕ್ರಿಯಾತ್ಮಕ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಭಾಷೆಗಳ ವಿನ್ಯಾಸದ ಮೇಲೆ ಪ್ರಭಾವ ಬೀರಿತು. ಚರ್ಚ್ ಎನ್ಕೋಡಿಂಗ್ ಅನ್ನು ಅವರ ಗೌರವಾರ್ಥವಾಗಿ ಹೆಸರಿಸಲಾಗಿದೆ. ಅವರ ಗೌರವಾರ್ಥವಾಗಿ, ಅಸೋಸಿಯೇಷನ್ ಫಾರ್ ಕಂಪ್ಯೂಟಿಂಗ್ ಮೆಷಿನರಿ ಸ್ಪೆಷಲ್ ಇಂಟರೆಸ್ಟ್ ಗ್ರೂಪ್ ಫಾರ್ ಲಾಜಿಕ್ ಅಂಡ್ ಕಂಪ್ಯೂಟೇಶನ್ (ಎಸಿಎಂ ಸಿಗ್ಲೋಗ್), ಯುರೋಪಿಯನ್ ಅಸೋಸಿಯೇಷನ್ ಫಾರ್ ಥಿಯೊರೆಟಿಕಲ್ ಕಂಪ್ಯೂಟರ್ ಸೈನ್ಸ್ (ಇಎಟಿಸಿಎಸ್), ಯುರೋಪಿಯನ್ ಅಸೋಸಿಯೇಷನ್ ಫಾರ್ ಕಂಪ್ಯೂಟರ್ ಸೈನ್ಸ್ ಲಾಜಿಕ್ (ಇಎಸಿಎಸ್ಎಲ್) ಮತ್ತು ಕರ್ಟ್ ಗೊಡೆಲ್ ಸೊಸೈಟಿ (ಕೆಜಿಎಸ್) 2015 ರಲ್ಲಿ ತರ್ಕ ಮತ್ತು ಗಣನೆಗೆ ಅತ್ಯುತ್ತಮ ಕೊಡುಗೆಗಳಿಗಾಗಿ ಅಲೊಂಜೊ ಚರ್ಚ್ ಪ್ರಶಸ್ತಿಯನ್ನು ಸ್ಥಾಪಿಸಿತು. ಈ ಪ್ರಶಸ್ತಿಯು ಕಳೆದ 25 ವರ್ಷಗಳಲ್ಲಿ ಪ್ರಕಟವಾದ ಕ್ಷೇತ್ರಕ್ಕೆ ನೀಡಿದ ಅತ್ಯುತ್ತಮ ಕೊಡುಗೆಗಾಗಿ ಮತ್ತು ಟ್ಯೂರಿಂಗ್ ಪ್ರಶಸ್ತಿ, ಪ್ಯಾರಿಸ್ ಕನೆಲ್ಲಾಕಿಸ್ ಪ್ರಶಸ್ತಿ ಅಥವಾ ಗೊಡೆಲ್ ಪ್ರಶಸ್ತಿಯಂತಹ ಮತ್ತೊಂದು ಪ್ರಮುಖ ಪ್ರಶಸ್ತಿಯ ಮೂಲಕ ಇನ್ನೂ ಮನ್ನಣೆ ಪಡೆದಿರಬಾರದು. ತಾತ್ವಿಕ ಕೃತಿಯಾದ ಚರ್ಚ್, ಗಾಟ್ಲಾಬ್ ಫ್ರೆಜ್ ಅವರ ತಾತ್ವಿಕ ವಿಚಾರಗಳ ಆಧಾರದ ಮೇಲೆ ಅವರು ರಚಿಸಿದ ಫ್ರೆಜ್-ಚರ್ಚ್ ಆಂಟಾಲಜಿಗೆ ಹೆಸರುವಾಸಿಯಾಗಿದೆ. ಅವರ ಶೈಕ್ಷಣಿಕ ವೃತ್ತಿಜೀವನದ ಅವಧಿಯಲ್ಲಿ, ಚರ್ಚ್ 31 ಡಾಕ್ಟರೇಟ್ ವಿದ್ಯಾರ್ಥಿಗಳನ್ನು ಮೇಲ್ವಿಚಾರಣೆ ಮಾಡಿತು. ಆಂಥೋನಿ ಆಂಡರ್ಸನ್, ಪೀಟರ್ ಬಿ. ಆಂಡ್ರ್ಯೂಸ್, ಜಾರ್ಜ್ ಎ. ಬರ್ನಾರ್ಡ್, ಡೇವಿಡ್ ಬರ್ಲಿನ್ಸ್ಕಿ, ವಿಲಿಯಂ ಡಬ್ಲ್ಯೂ. ಬೂನ್, ಮಾರ್ಟಿನ್ ಡೇವಿಸ್, ಆಲ್ಫ್ರೆಡ್ ಎಲ್. ಫೋಸ್ಟರ್, ಲಿಯಾನ್ ಹೆನ್ಕಿನ್, ಜಾನ್ ಜಿ. ಕೆಮೆನಿ, ಸ್ಟೀಫನ್ ಸಿ. ಕ್ಲೈನ್, ಸೈಮನ್ ಬಿ. ಕೊಚೆನ್, ಮಾರಿಸ್ ಎಲ್ 'ಅಬೆ, ಐಸಾಕ್ ಮಾಲಿಟ್ಜ್, ಗ್ಯಾರಿ ಆರ್. ಮಾರ್, ಮೈಕೆಲ್ ಒ. ರಾಬಿನ್, ನಿಕೋಲಸ್ ರೆಷರ್, ಹಾರ್ಟ್ಲಿ ರೋಜರ್ಸ್, ಜೂನಿಯರ್, ಜೆ. ಬಾರ್ಕ್ಲಿ ರೋಸರ್, ಡಾನಾ ಸ್ಕಾಟ್, ರೇಮಂಡ್ ಸ್ಮುಲ್ಲಿಯನ್ ಮತ್ತು ಅಲನ್ ಟ್ಯೂರಿಂಗ್ ಸೇರಿದಂತೆ ಅನೇಕರು ಗಣಿತ, ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನ ಮತ್ತು ಇತರ ಶೈಕ್ಷಣಿಕ ವಿಷಯಗಳಲ್ಲಿ ವಿಶಿಷ್ಟ ವೃತ್ತಿಜೀವನವನ್ನು ಮುನ್ನಡೆಸಿದ್ದಾರೆ. ಅವರು ನೇರವಾಗಿ ಮೇಲ್ವಿಚಾರಣೆ ಮಾಡಿದವರ ಜೊತೆಗೆ, ಚರ್ಚ್ ಇತರ ಗಣಿತಶಾಸ್ತ್ರಜ್ಞರು ಮತ್ತು ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನಿಗಳ ಮೇಲೂ ದೊಡ್ಡ ಪ್ರಭಾವವನ್ನು ಬೀರಿತು. ಅಡುಗೆ ಮಾಡುವ ಪರಿಕಲ್ಪನೆಯೊಂದಿಗೆ ಚರ್ಚ್ನ ಆಲೋಚನೆಗಳನ್ನು ವಿಸ್ತರಿಸಿದ ಹ್ಯಾಸ್ಕೆಲ್ ಕರಿ, ಅವರ ಪಠ್ಯಪುಸ್ತಕಗಳಲ್ಲಿ ಒಂದಾದ ಇಂಟ್ರೊಡಕ್ಷನ್ ಟು ಮ್ಯಾಥಮೆಟಿಕಲ್ ಲಾಜಿಕ್ (ಮೊದಲ ಬಾರಿಗೆ 1944 ರಲ್ಲಿ ಪ್ರಕಟವಾಯಿತು) ಅನ್ನು "ಲೇಖಕರ ಕೃತಿಯನ್ನು ಸಾಮಾನ್ಯವಾಗಿ ನಿರೂಪಿಸುವ ನಿಖರವಾದ ನಿಖರತೆಯೊಂದಿಗೆ ಬರೆಯಲಾಗಿದೆ" ಎಂದು ಹೇಳಿದ್ದಾರೆ. ಗ್ರಂಥಸೂಚಿ ಪುಸ್ತಕಗಳು ಅಲೋಂಜೋ ಚರ್ಚ್, ಇಂಟ್ರೊಡಕ್ಷನ್ ಟು ಮ್ಯಾಥಮೆಟಿಕಲ್ ಲಾಜಿಕ್ (1944) () ಅಲೋಂಜೋ ಚರ್ಚ್, ದಿ ಕ್ಯಾಲ್ಕುಲಿ ಆಫ್ ಲ್ಯಾಂಬ್ಡಾ-ಕನ್ವರ್ಷನ್ (1941) () ಅಲೋಂಜೋ ಚರ್ಚ್, ಎ ಬಿಬ್ಲಿಯೋಗ್ರಫಿ ಆಫ್ ಸಿಂಬಾಲಿಕ್ ಲಾಜಿಕ್, 1666-1935 () ಸಿ. ಆಂಥೋನಿ ಆಂಡರ್ಸನ್ ಮತ್ತು ಮೈಕೆಲ್ ಝೆಲೆನಿ, (ಆವೃತ್ತಿಗಳು. ), ಲಾಜಿಕ್, ಮೀನಿಂಗ್ ಅಂಡ್ ಕಂಪ್ಯೂಟೇಶನ್ಃ ಎಸ್ಸೇಸ್ ಇನ್ ಮೆಮೊರಿ ಆಫ್ ಅಲೋಂಜೋ ಚರ್ಚ್ () ಟೈಲರ್ ಬರ್ಜ್ ಮತ್ತು ಹರ್ಬರ್ಟ್ ಎಂಡರ್ಟನ್ (ಆವೃತ್ತಿಗಳು. ), ದಿ ಕಲೆಕ್ಟೆಡ್ ವರ್ಕ್ಸ್ ಆಫ್ ಅಲೊಂಜೊ ಚರ್ಚ್ (2019) (ISBN 978-0-262-02564-5) ಸಹ ನೋಡಿ ಚರ್ಚ್-ಟ್ಯೂರಿಂಗ್-ಡಾಯ್ಚ್ನ ತತ್ವ ಹೈಯರ್-ಆರ್ಡರ್ ಲಾಜಿಕ್ ಲಿಸ್ಟ್ ಆಫ್ ಪಯನೀರ್ಸ್ ಇನ್ ಕಂಪ್ಯೂಟರ್ ಸೈನ್ಸ್ Platonism#Modern ಪ್ಲಾಟೋನಿಸಂ ಯೂನಿವರ್ಸಲ್ ಸೆಟ್ ನೋಟ್ಸ್ ರೆಫರೆನ್ಸಸ್ ಎಂಡರ್ಟನ್, ಹರ್ಬರ್ಟ್ ಬಿ., ಅಲೊಂಜೊ ಚರ್ಚ್ಃ ಲೈಫ್ ಅಂಡ್ ವರ್ಕ್. ದಿ ಕಲೆಕ್ಟೆಡ್ ವರ್ಕ್ಸ್ ಆಫ್ ಅಲೋಂಜೋ ಚರ್ಚ್ನ ಪರಿಚಯ, ಎಂಐಟಿ ಪ್ರೆಸ್, 2019. ಎಂಡರ್ಟನ್, ಹರ್ಬರ್ಟ್ ಬಿ., ಇನ್ ಮೆಮೋರಿಯಂಃ ಅಲೋಂಜೋ ಚರ್ಚ್, ದಿ ಬುಲೆಟಿನ್ ಆಫ್ ಸಿಂಬಾಲಿಕ್ ಲಾಜಿಕ್, ಸಂಪುಟ. 1, ಇಲ್ಲ. 4 (ಡಿಸೆಂಬರ್ 1995), ಪುಟಗಳು. 486-488. ವೇಡ್, ನಿಕೋಲಸ್, ಅಲೋಂಜೋ ಚರ್ಚ್, 92, ಥಿಯೋರಿಸ್ಟ್ ಆಫ್ ದಿ ಲಿಮಿಟ್ಸ್ ಆಫ್ ಮ್ಯಾಥಮ್ಯಾಟಿಕ್ಸ್ (ಸಂತಾಪ), ದಿ ನ್ಯೂಯಾರ್ಕ್ ಟೈಮ್ಸ್, ಸೆಪ್ಟೆಂಬರ್ 5,1995, ಪು. ಬಿ6. ಹಾಡ್ಜಸ್, ವಿಲ್ಫ್ರೆಡ್, ಸಂತಾಪಃ ಅಲೋಂಜೋ ಚರ್ಚ್, ದಿ ಇಂಡಿಪೆಂಡೆಂಟ್ (ಲಂಡನ್), ಸೆಪ್ಟೆಂಬರ್ 14,1995. ವಿಲಿಯಂ ಆಸ್ಪ್ರೇ ಅವರು 1984ರ ಮೇ 17ರಂದು ಅಲೋಂಜೋ ಚರ್ಚ್ಗೆ ಸಂದರ್ಶನ ನೀಡಿದರು. ದಿ ಪ್ರಿನ್ಸ್ಟನ್ ಮ್ಯಾಥಮ್ಯಾಟಿಕ್ಸ್ ಕಮ್ಯುನಿಟಿ ಇನ್ ದಿ 1930s: ಆನ್ ಓರಲ್-ಹಿಸ್ಟರಿ ಪ್ರಾಜೆಕ್ಟ್, ಟ್ರಾನ್ಸ್ಕ್ರಿಪ್ಟ್ ಸಂಖ್ಯೆ 5. ರೋಟಾ, ಜಿಯಾನ್-ಕಾರ್ಲೋ, ಫೈನ್ ಹಾಲ್ ಇನ್ ಇಟ್ಸ್ ಗೋಲ್ಡನ್ ಏಜ್ಃ ರಿಮೆಂಬ್ರನ್ಸ್ ಆಫ್ ಪ್ರಿನ್ಸ್ಟನ್ ಇನ್ ದಿ ಅರ್ಲಿ ಫಿಫ್ಟೀಸ್. ಪೀಟರ್ ಡ್ಯೂರೆನ್ ಸಂಪಾದಿಸಿದ ಎ ಸೆಂಚುರಿ ಆಫ್ ಮ್ಯಾಥಮ್ಯಾಟಿಕ್ಸ್ ಇನ್ ಅಮೇರಿಕಾ, ಪಾರ್ಟ್ II, ಎ. ಎಂ. ಎಸ್ ಹಿಸ್ಟರಿ ಆಫ್ ಮ್ಯಾಥಮ್ಯಾಟಿಕ್ಸ್, ಸಂಪುಟ 2, ಅಮೆರಿಕನ್ ಮ್ಯಾಥಮ್ಯಾಟಿಕಲ್ ಸೊಸೈಟಿ, 1989, ಪುಟಗಳು. ಇಲ್ಲಿ ಕೂಡ ಲಭ್ಯವಿದೆ. ಬಾಹ್ಯ ಕೊಂಡಿಗಳು ಪ್ರಿನ್ಸ್ಟನ್ ಯೂನಿವರ್ಸಿಟಿ ಲೈಬ್ರರಿ, ಹಸ್ತಪ್ರತಿ ವಿಭಾಗ, ದಿ ಅಲೊಂಜೊ ಚರ್ಚ್ ಪೇಪರ್ಸ್, 1924-1995: ಸಹಾಯವನ್ನು ಹುಡುಕುವುದು. ದಿ ಜರ್ನಲ್ ಆಫ್ ಸಿಂಬಾಲಿಕ್ ಲಾಜಿಕ್ಗಾಗಿ ಚರ್ಚ್ನ ವಿಮರ್ಶೆಗಳ ಗ್ರಂಥಸೂಚಿ, ಪ್ರತಿ ಅಲೋಂಜೋ ಚರ್ಚ್ಗೆ ಲಿಂಕ್, 92, ಥಿಯೋರಿಸ್ಟ್ ಆಫ್ ದಿ ಲಿಮಿಟ್ಸ್ ಆಫ್ ಮ್ಯಾಥಮ್ಯಾಟಿಕ್ಸ್ ನ್ಯೂಯಾರ್ಕ್ ಟೈಮ್ಸ್ ಸಂತಾಪ OBITUARY: ಅಲೋಂಜೋ ಚರ್ಚ್ ಫ್ರಮ್ ದಿ ಇಂಡಿಪೆಂಡೆಂಟ್ ಇನ್ ಮೆಮೊರಿಯಮ್ಃ ಅಲೋಂಜೋ ಚರ್ಚ್ (1903-1995) ಇರ್ವಿಂಗ್ ಎಚ್. ಅನೆಲ್ಲಿಸ್, ಮಾಡರ್ನ್ ಲಾಜಿಕ್ ಸಂಪುಟ. 5, ನಂ. 4 (1995). ನೆನಪಿಗಾಗಿಃ ಎಚ್. ಬಿ. ಎಂಡರ್ಟನ್ ಬರೆದ ಅಲೋಂಜೋ ಚರ್ಚ್ 1903-1995, ದಿ ಬುಲೆಟಿನ್ ಆಫ್ ಸಿಂಬಾಲಿಕ್ ಲಾಜಿಕ್ ಸಂಪುಟ. 1, ನಂ. 5 (1995). 1903 ಜನನಗಳು 1995 ಸಾವುಗಳು 20ನೇ ಶತಮಾನದ ಅಮೇರಿಕನ್ ಗಣಿತಶಾಸ್ತ್ರಜ್ಞರು ಅಮೇರಿಕನ್ ತರ್ಕಶಾಸ್ತ್ರಜ್ಞರು ಅಮೇರಿಕನ್ ಪ್ರೆಸ್ಬಿಟೇರಿಯನ್ಸ್ ಕಂಪ್ಯೂಟಬಿಲಿಟಿ ಸಿದ್ಧಾಂತಿಗಳು ಪ್ರಿನ್ಸ್ಟನ್ ವಿಶ್ವವಿದ್ಯಾನಿಲಯದ ಹಳೆಯ ವಿದ್ಯಾರ್ಥಿಗಳು ಹಾರ್ವರ್ಡ್ ವಿಶ್ವವಿದ್ಯಾನಿಲಯದ ಹಳೆಯ ವಿದ್ಯಾರ್ಥಿಗಳು ಪ್ರಿನ್ಸ್ಟನ್ ವಿಶ್ವವಿದ್ಯಾನಿಲಯದ ಫ್ಯಾಕಲ್ಟಿ ಯೂನಿವರ್ಸಿಟಿ ಆಫ್ ಕ್ಯಾಲಿಫೋರ್ನಿಯಾ, ಲಾಸ್ ಏಂಜಲೀಸ್ ಬೋಧನಾ ವಿಭಾಗ ಪ್ರಿನ್ಸ್ಟನ್ ಸ್ಮಶಾನದಲ್ಲಿ ಸಮಾಧಿಗಳು ವಾಷಿಂಗ್ಟನ್, ಡಿ. ಸಿ. ಯಿಂದ ತತ್ವಜ್ಞಾನಿಗಳು ಕ್ಯಾಲಿಫೋರ್ನಿಯಾದಿಂದ ತತ್ವಜ್ಞಾನಿಗಳು ವಾಷಿಂಗ್ಟನ್, ಡಿ. ಸಿ. ಯಿಂದ ನ್ಯೂಜೆರ್ಸಿಯ ಗಣಿತಶಾಸ್ತ್ರಜ್ಞರು 20ನೇ ಶತಮಾನದ ಅಮೇರಿಕನ್ ತತ್ವಜ್ಞಾನಿಗಳು ಬ್ರಿಟಿಷ್ ಅಕಾಡೆಮಿಯ ಫೆಲೋಗಳಿಗೆ ಅನುಗುಣವಾಗಿರುತ್ತಾರೆ