ಗೋಡೆಲ್‌ರ ಅಪೂರ್ಣತೆಯ ಪ್ರಮೇಯ
ವಿಶಾಲವಾದ ತಾರ್ಕಿಕ ವ್ಯವಸ್ಥೆಗಳು ಸ್ಥಿರ ಮತ್ತು ಪೂರ್ಣವಾಗಿರಬಾರದು ಎಂಬ ಸಿದ್ಧಾಂತವು
ಈ ಲೇಖನದಲ್ಲಿ ಸರಿಯಾದ ಉಲ್ಲೇಖದ ಅಗತ್ಯವಿದೆ ಸರಿಯಾದ ಉಲ್ಲೇಖಗಳನ್ನು ಸೇರಿಸಿ ಲೇಖನವನ್ನು ಉತ್ತಮಗೊಳಿಸಿ. ಲೇಖನದ ಬಗ್ಗೆ ಚರ್ಚೆ ನಡೆಸಲು ಚರ್ಚೆ ಪುಟವನ್ನು ನೋಡಿ. |
 |
ಈ ಲೇಖನ ಒಂದು ಚುಟುಕು. ಇದರ ಬಗ್ಗೆ ಹೆಚ್ಚಿನ ಮಾಹಿತಿ ತಿಳಿದಿದ್ದಲ್ಲಿ, ನೀವು ಈ ವಿಷಯವನ್ನು ವಿಸ್ತರಿಸಿ ಕನ್ನಡ ವಿಕಿಪೀಡಿಯ ಯೋಜನೆಯನ್ನು ಉತ್ತಮಗೊಳಿಸುವಲ್ಲಿ ಸಹಕರಿಸಬಹುದು. |
ಗೋಡೆಲ್ಲರ ಅಪೂರ್ಣತೆಯ ಪ್ರಮೇಯಗಳು (Gödel's incompleteness theorems) ಎರಡು ಉಪಪ್ರಮೇಯಗಳನ್ನೊಳಗೊಂಡಿವೆ.
ಬಾಹ್ಯ ಸಂಪರ್ಕಗಳು ಬದಲಾಯಿಸಿ
- Kurt Gödel entry by Juliette Kennedy in the Stanford Encyclopedia of Philosophy, July 5, 2011.
- Gödel's Incompleteness Theorems entry by Panu Raatikainen in the Stanford Encyclopedia of Philosophy, November 11, 2013.
- Paraconsistent Logic § Arithmetic and Gödel's Theorem entry in the Stanford Encyclopedia of Philosophy.
- MacTutor biographies:
- Kurt Gödel. Archived 2005-10-13 ವೇಬ್ಯಾಕ್ ಮೆಷಿನ್ ನಲ್ಲಿ.
- Gerhard Gentzen.
- What is Mathematics:Gödel's Theorem and Around by Karlis Podnieks. An online free book.
- World's shortest explanation of Gödel's theorem using a printing machine as an example.
- October 2011 RadioLab episode about/including Gödel's Incompleteness theorem