"ആൽഫ്രഡ് ടാർസ്കി" എന്ന താളിന്റെ പതിപ്പുകൾ തമ്മിലുള്ള വ്യത്യാസം

ഗണിതശാസ്ത്രത്തിൽ ഗണിത മോഡലുകളുടെ സിദ്ധാന്തത്തെക്കുറിച്ചുള്ള ആദ്യകാല പഠനങ്ങൾക്കു നേതൃത്വം നൽകിയവരിൽ ടാർസ്കിയും ഉൾപ്പെടുന്നു. നിഗമനാത്മക (deductive) തർക്കശാസ്ത്രതത്ത്വങ്ങളുടെ പഠനമായ മെറ്റാമാത്തമാറ്റിക്സ്, ഗണ സിദ്ധാന്തം (set theory), ആൾജിബ്ര, മെഷർ തിയറി, ഇൻഅസ്സെസ്സിബിൾ കാർഡിനലുകൾ, വൃത്തത്തിന്റെ ഡികോമ്പോസിഷൻ തിയറം എന്നിവയിലെല്ലാം ടാർസ്കി പഠനങ്ങൾ നടത്തിയിട്ടുണ്ട്. പദങ്ങളുടെ അർഥവിജ്ഞാനീയ ശാഖയായ സെമാന്റിക്സിൽ സെമാന്റിക് മെഥേഡിനു സൂത്രവാക്യം നൽകിയതാണ് തർക്കശാസ്ത്രത്തിൽ ടാർസ്കിയുടെ പ്രധാന സംഭാവന.

 

 

നാഷണൽ അക്കാദമി ഓഫ് സയൻസസിൽ അംഗം, അസോസ്സിയേഷൻ ഒഫ് സിംബോളിക് ലോജിക്കിന്റെ പ്രസിഡന്റ് എന്നീ നിലകളിലും ടാർസ്കി പ്രവർത്തിച്ചിട്ടുണ്ട്. 1983-ൽ ഇദ്ദേഹം നിര്യാതനായി.