De Bruijn Factor
ಡಿ ಬ್ರುಯಿನ್ ಅಂಶವು ಅನೌಪಚಾರಿಕ ಪುರಾವೆಯ ಬದಲಿಗೆ ಔಪಚಾರಿಕ ಗಣಿತದ ಪುರಾವೆಯನ್ನು ಬರೆಯುವುದು ಎಷ್ಟು ಕಷ್ಟ ಎಂಬುದರ ಅಳತೆಯಾಗಿದೆ. ಇದನ್ನು ಡಚ್ ಕಂಪ್ಯೂಟರ್-ಪ್ರೂಫ್ ಪ್ರವರ್ತಕ ನಿಕೋಲಾಸ್ ಗೋವರ್ಟ್ ಡಿ ಬ್ರುಯಿನ್ ರಚಿಸಿದ್ದಾರೆ. ಡಿ ಬ್ರುಯಿನ್ ಇದನ್ನು ಅನೌಪಚಾರಿಕ ಪುರಾವೆಯ ಗಾತ್ರಕ್ಕಿಂತ ಔಪಚಾರಿಕ ಪುರಾವೆಯ ಗಾತ್ರ ಎಂದು ಲೆಕ್ಕ ಹಾಕಿದರು. ಫ್ರೀಕ್ ವೈಡಿಜ್ಕ್ ಅನೌಪಚಾರಿಕ ಪುರಾವೆಯ ಸಂಕುಚಿತ ಗಾತ್ರದ ಮೇಲೆ ಔಪಚಾರಿಕ ಪುರಾವೆಯ ಸಂಕುಚಿತ ಗಾತ್ರವನ್ನು ಬಳಸಲು ವ್ಯಾಖ್ಯಾನವನ್ನು ಪರಿಷ್ಕರಿಸಿದರು. ಅವರು ಇದನ್ನು "ಇಂಟ್ರಿನ್ಸಿಕ್ ಡಿ ಬ್ರುಯಿಜಿನ್ ಫ್ಯಾಕ್ಟರ್" ಎಂದು ಕರೆದರು. ಸಂಕೋಚನವು ಪುರಾವೆಗಳಲ್ಲಿನ ಗುರುತಿಸುವಿಕೆಗಳ ಉದ್ದವು ಹೊಂದಿರಬಹುದಾದ ಪರಿಣಾಮವನ್ನು ತೆಗೆದುಹಾಕುತ್ತದೆ. ಉಲ್ಲೇಖಗಳು ಗಣಿತದ ತರ್ಕ