Ларс Свенониус - Lars Svenonius - Wikipedia

Ларс Свенониус (16 маусым 1927, Skellefteå - 2010 жылғы 27 қыркүйек, Күміс көктем, Мэриленд ) швед болды логик және философ.

Ол 1962-63 жылдары Берклидегі Калифорния университетінің шақырылған профессоры болды, содан кейін 1963–69 жылдары Чикаго университетінде қызмет атқарды және философия профессоры болды. Мэриленд университеті 1969 жылдан 2009 жылға дейін. Ол 2009 жылы зейнетке шықты, бірақ Эмеритус профессоры лауазымына ие болды және 83 жасында қайтыс болғанға дейін курстарда сабақ беріп, студенттерге кеңес берді.

Ол жұмыс жасаған алғашқы швед логигі болды модель теориясы диссертациясымен Үлгілік теориядағы кейбір мәселелер (ол үшін 1960 жылы Упсала университеті оған докторлық дәреже берді). Оның алғашқы жұмысы формальды логикада болды және ол өзінің мансабының басында көптеген дәлелдермен, соның ішінде тәуелсіз дәлелдермен жарқырау үшін беделге ие болды омега-категориялық теориялардың баламалы сипаттамалары. 1959 ж. Қағаз Теория шешімділік туралы әлі күнге дейін «Свенониус теоремасы» деп аталатын нәрсені анықтайды. Швецияда оның жақтастарының бірі болды Линдстрем.[1]

Ларс Свенонийдің алғашқы жұмысы модельдер теориясы деп аталатын логика саласында болды, онда теориялардың интерпретациясының («модельдерінің») қасиеттері зерттеледі. Бұл сала қарқынды зерттеудің объектісі болды және 1950 жылдары үлкен прогреске қол жеткізді, негізінен жұмысының арқасында Альфред Тарски және оның студенттері Берклидегі Калифорния университетінде. Сонымен бірге ол техникада да, қолданылған ұғымдарда да айтарлықтай математикалық болды. Свенонийдің жұмысы қазіргі заманғы математикалық әртүрлілікке жатады.

Свенониустың математикалық модель теоретигі ретіндегі беделі 1959 және 1960 жылдары Теорияда үш мақаланың басылуымен қалыптасты:

  1. - бірінші ретті предикаттар есептеуіндегі категория,
  2. Модельдердегі ауыстырулар туралы теорема,
  3. Бірінші ретті жүйелердің минималды модельдері туралы.

Атап айтқанда (2) қағазда «Свенониус теоремасы» деп аталады, бұл бірінші ретті теориялардағы предикаттардың анықталуының маңызды нәтижесі. Бұл нәтижені тұжырымдаудың өзі математикалық модель-теориялық тұжырымдамаларды қажет етеді. Онда егер бірінші ретті теорияның кез-келген моделіндегі предикатты түсіндіру басқа предикаттарды тіркейтін модельдің ауысуы («автоморфизмдері») бойынша инвариантты болса, онда бұл предикатты түсіндіру әр модельде формула арқылы анықталатыны айтылған. тек басқа предикаттар; сонымен қатар көптеген осындай анықтайтын формулалар қажет. Бет одан ертерек анықталу теоремасы Свенониус теоремасының салдары болып табылады.

Қалған екі құжат поляк логигі алған тек бір есептелетін модельге ие теориялардың сипаттамасын қамтиды Чеслав Рыль-Нарджевский, сондай-ақ алынған қарапайым модельдер бойынша нәтижелер Роберт Вот Берклиде. Бұл нәтижелердің барлығы қазіргі заманғы модельдер теориясының классиктері болып табылады.

Осы қағаздардың нәтижесінде ол 1962-1963 жылдар аралығында Берклидегі Калифорния университетінің шақырылған доценті аталды және 1963 жылы өткен модельдер теориясының халықаралық симпозиумында шақырылған үндеу жасады. Оның мекен-жайы жарияланды Конференция материалдарында (Theory of Models, North-Holland Publishing Co., 1965), «қосымша предикаттары бар теориялардың денуминациялық модельдері туралы», 376–389 бб. Бұл жұмыста ол теорияны анықтауда қолданылатын қосымша предикаттардың интерпретацияларын қосу арқылы теорияның модельдеріне айналуы мүмкін есептелетін («есептелетін») құрылымдарды сипаттайды. Оның сипаттамасы ауыспалы кванторлардың шексіз тізбегінен басталатын (шексіз) өрнектерді қамтиды. Мұндай өрнектер қазір екі адамға арналған ойындар арқылы түсіндіріледі. Бұл жұмыстың маңыздылығы оны Роберт Вот өзінің жұмысында қайта ашып, кеңейткеннен кейін ғана жүзеге асты сипаттамалық жиынтық теориясы және шексіз логика. Свенониустың рөлін жақсы мойындады, мысалы Уилфрид Ходжес өзінің энциклопедиялық трактатында «Свенониус ойындарын» және «Свенониус сөйлемдерін» анықтайтын модель теориясы (Cambridge University Press, 1993).

Әдебиеттер тізімі

  1. ^ Әлемдік философияның анықтамалығы Джон Рой Бурр, 1980 ж. ISBN  0-313-22381-5 (186 бет)

Сыртқы сілтемелер