William Boone (mathematician)
ವಿಲಿಯಂ ವರ್ನರ್ ಬೂನ್ (ಸಿನ್ಸಿನಾಟಿಯಲ್ಲಿ 16 ಜನವರಿ 1920-ಇಲಿನಾಯ್ಸ್ನ ಉರ್ಬಾನಾದಲ್ಲಿ 14 ಸೆಪ್ಟೆಂಬರ್ 1983) ಅಮೆರಿಕಾದ ಗಣಿತಶಾಸ್ತ್ರಜ್ಞರಾಗಿದ್ದರು. ಅವರು ಸಿನ್ಸಿನ್ನಾಟಿ ವಿಶ್ವವಿದ್ಯಾಲಯದಲ್ಲಿ ಅರೆಕಾಲಿಕ ವಿದ್ಯಾರ್ಥಿಯಾಗಿ ತಮ್ಮ ಪದವಿಪೂರ್ವ ಪದವಿಯನ್ನು ಪೂರ್ಣಗೊಳಿಸಿದರು. ಅಲೊಂಜೊ ಚರ್ಚ್ ಪ್ರಿನ್ಸ್ಟನ್ನಲ್ಲಿ ಅವರ ಪಿಎಚ್ಡಿ ಸಲಹೆಗಾರರಾಗಿದ್ದರು ಮತ್ತು ಕರ್ಟ್ ಗೊಡೆಲ್ ಇನ್ಸ್ಟಿಟ್ಯೂಟ್ ಫಾರ್ ಅಡ್ವಾನ್ಸ್ಡ್ ಸ್ಟಡಿಯಲ್ಲಿ ಅವರ ಸ್ನೇಹಿತರಾಗಿದ್ದರು. ಪ್ಯೋಟರ್ ನೊವಿಕೋವ್ 1955ರಲ್ಲಿ, 'ಜಿ' ಎಂಬ ಪದದ ಸಮಸ್ಯೆಯನ್ನು ನಿರ್ಧರಿಸಲಾಗದ ರೀತಿಯಲ್ಲಿ ಒಂದು ಸೀಮಿತವಾಗಿ ಪ್ರಸ್ತುತಪಡಿಸಲಾದ ಗುಂಪು 'ಜಿ' ಅಸ್ತಿತ್ವದಲ್ಲಿದೆ ಎಂದು ತೋರಿಸಿದರು. 1958ರಲ್ಲಿ ಪ್ರಕಟವಾದ ಪ್ರಬಂಧವೊಂದರಲ್ಲಿ ಬೂನ್ ಬೇರೊಂದು ಪುರಾವೆಯನ್ನು ಪಡೆದರು. ಆಯ್ದ ಪ್ರಕಟಣೆಗಳಾದ ಡಬ್ಲ್ಯೂ. ಡಬ್ಲ್ಯೂ. ಬೂನ್, ಒಟ್ಟಾರೆಯಾಗಿ ಬೀಜಗಣಿತ ಮತ್ತು ತಾರ್ಕಿಕ ವ್ಯವಸ್ಥೆಗಳ ಬಗೆಗಿನ ನಿರ್ಧಾರದ ಸಮಸ್ಯೆಗಳು ಮತ್ತು ಪುನರಾವರ್ತಿತವಾಗಿ ಪರಿಹರಿಸಲಾಗದ ಮಟ್ಟಗಳ ಎಣಿಕೆ. 1968 ಗಣಿತಕ್ಕೆ ಕೊಡುಗೆಗಳು. ಲಾಜಿಕ್ (ಕೊಲೋಕ್ವಿಯಂ, ಹ್ಯಾನೋವರ್, 1966), ಉತ್ತರ-ಹಾಲೆಂಡ್, ಆಮ್ಸ್ಟರ್ಡ್ಯಾಮ್. ಡಬ್ಲ್ಯೂ. ಡಬ್ಲ್ಯೂ. ಬೂನ್, ರೋಜರ್ ಲಿಂಡನ್, ಫ್ರಾಂಕ್ ಕ್ಯಾನೊನಿಟೋ, ವರ್ಡ್ ಪ್ರಾಬ್ಲಮ್ಸ್ಃ ಡೆಸಿಷನ್ ಪ್ರಾಬ್ಲಮ್ ಇನ್ ಗ್ರೂಪ್ ಥಿಯರಿ, ನಾರ್ತ್-ಹಾಲೆಂಡ್, 1973. ಕರ್ಟ್ ಗೊಡೆಲ್ಃ ಕಲೆಕ್ಟೆಡ್ ವರ್ಕ್ಸ್ಃ ಆಕ್ಸ್ಫರ್ಡ್ ಯೂನಿವರ್ಸಿಟಿ ಪ್ರೆಸ್ಃ ನ್ಯೂಯಾರ್ಕ್. ಮುಖ್ಯ ಸಂಪಾದಕಃ ಸೊಲೊಮನ್ ಫೆಫರ್ಮಾನ್, ಸಂಪುಟ IV: ಕರೆಸ್ಪಾಂಡೆನ್ಸ್, ಎ-ಜಿ,. 1920 ಜನನಗಳು 1983 ಸಾವುಗಳು 20ನೇ ಶತಮಾನದ ಅಮೇರಿಕನ್ ಗಣಿತಶಾಸ್ತ್ರಜ್ಞರು ಸಿನ್ಸಿನ್ನಾಟಿ ವಿಶ್ವವಿದ್ಯಾನಿಲಯದ ಹಳೆಯ ವಿದ್ಯಾರ್ಥಿಗಳು ಪ್ರಿನ್ಸ್ಟನ್ ವಿಶ್ವವಿದ್ಯಾನಿಲಯದ ಹಳೆಯ ವಿದ್ಯಾರ್ಥಿಗಳು ಅಮೇರಿಕನ್ ತರ್ಕಶಾಸ್ತ್ರಜ್ಞರು ಇಲಿನಾಯ್ಸ್ ವಿಶ್ವವಿದ್ಯಾನಿಲಯ ಅರ್ಬಾನಾ-ಷಾಂಪೈನ್ ಬೋಧಕವರ್ಗ ಓಹಿಯೋದ ಸಿನ್ಸಿನ್ನಾಟಿ ಗಣಿತಶಾಸ್ತ್ರಜ್ಞರಿಂದ ಜನರು ಗುಂಪು ಸಿದ್ಧಾಂತಿಗಳು