Kurt Gödel: Dallime mes rishikimesh
| [redaktim i pashqyrtuar] | [redaktim i pashqyrtuar] |
Content deleted Content added
No edit summary |
No edit summary |
||
Rreshti 20:
==Vizitat në SHBA==
Ne 1933 Gödel shkoi per here te pare ne SHBA, ku takoi [[Albert Einstein]]. Qe atehere e ne vazhdim te dy paten nje miqesi te ngushte. Ai mbajti nje fjalim ne takimin vjetor te American Mathematical Society (Shoqata Matematikore Amerikane). Po ne kete vit, Gödel gjithashtu i zhvilloi idete e kompjuetshmerise dhe funksioneve rekursive aq shume saqe qe ne gjendje te mbante nje leksion mbi funksionet gjithkund rekursive dhe mbi konceptin e se vertetes. Keto punime jane zhvilluar ne teorine e numrave nepermjet Gödel numbering.
Ne 1934 Gödel dha nje seri leksionesh per Institute for Advanced Study (IAS) ne Princeton, New Jersey, te titullara On undecidable propositions of formal mathematical systems. Keto leksione jane mbajtur shenim nga Stephen Kleene, qe sapo kishte perfunduar Ph.D. e tij ne Princeton dhe me vone jane publikuar.
| |||