ಯುನೈಟೆಡ್ ಸ್ಟೇಟ್ಸ್ನ ಗಣಿತಜ್ಞ (ಜನನ ಆಸ್ಟ್ರಿಯಾ),

Noun:

ಅಚ್ಚು, ಆದರ್ಶ, ನಕಲಿ ವ್ಯಕ್ತಿ, ಅನುಕರಣೆ ವಸ್ತುಗಳು, ಮಾದರಿ, ಕಲಾವಿದ ಮಾದರಿ, ಅನುಪಾತ, ಅನುಕರಣೀಯ ವ್ಯಕ್ತಿ, ನಕಲಿ ವಸ್ತುಗಳು, ವಿನ್ಯಾಸ, ಆದ್ರ,

Verb:

ನಕಲು, ಅದ್ರ ಪ್ರಕಾರ ರೂಪುಗೊಂಡಿದೆ, ವಿನ್ಯಾಸ ಕೆಲಸ, ರೂಪಿಸಲು,

godel ಕನ್ನಡದಲ್ಲಿ ಉದಾಹರಣೆ:

ಗೋಡೆಲ್ ಪ್ರಶಸ್ತಿ (೨೦೦೬).

ಯಂತ್ರಗಳು ಏನೇನು ಮಾಡಬಲ್ಲದೆಂಬುದರ ಬಗ್ಗೆ ಗೋಡೆಲ್‌ರ ಪ್ರಮೇಯ ಮಿತಿಯನ್ನು ಹಾಕುತ್ತದೆ ಎಂದು ಪ್ರತಿಪಾದಿಸುವವರ ಪೈಕಿ ರೊಜರ್ ಪೆನ್ರೊಸ್‌ ಕೂಡ ಒಬ್ಬರು.

ಗೋಡೆಲ್‌ರ ಅಪೂರ್ಣತೆಯ ಪ್ರಮೇಯ.

Noble Eightfold Path ಗೋಡೆಲ್ಲರ ಅಪೂರ್ಣತೆಯ ಪ್ರಮೇಯಗಳು (Gödel's incompleteness theorems) ಎರಡು ಉಪಪ್ರಮೇಯಗಳನ್ನೊಳಗೊಂಡಿವೆ.

ಇದಕ್ಕಾಗಿ ಅವರು ಮತ್ತು ಅವರ ಸಹ-ಲೇಖಕರು ೨೦೦೬ರಲ್ಲಿ ಫುಲ್ಕರ್ಸನ್ ಪ್ರಶಸ್ತಿಯನ್ನು ಮತ್ತು ಗೋಡೆಲ್ ಪ್ರಶಸ್ತಿಯನ್ನು ಪಡೆದರು.