Математиците

Час линия Снимки Пари Марки Скица Търся

Helena Rasiowa

Дата на раждане:

Родно място:

Дата на смъртта:

Място на смърт:

20 June 1917

Vienna, Austria

9 Aug 1994

Warsaw, Poland

Представяне
ВНИМАНИЕ - Автоматичен превод от английски език

Макар и Елена Rasiowa е роден във Виена, родителите ѝ са полски. През 1918 Полша възвърна статута си на независима нация и Rasiowa родителите преместен на Варшава. Тя е образовани там, получаване на добро образование в средното училище музика поуките, взети на специален музикално училище. След завършване на училището си проучвания тя е на курс по бизнес управление, преди въвеждане на университета.

Rasiowa влезли в Университета на Варшава през 1938 г., но след като немската инвазия в Полша през 1939 г., Университета приключи. Rasiowa и родителите ѝ преместени Lvov но поляци са хванати между Soviets и германците и Lvov дойде под съветски контрол. Животът там изглеждаше още по-трудно, отколкото при немската окупация, така че след една година семейството върнати Варшава.

Имаше една впечатляваща колекция от математиците в Университета на Варшава в този момент, включително Borsuk, Lukasiewicz, Mazurkiewicz, Sierpinski, Mostowski и др. Те са организирани подземна версия на университета, която беше силно се противопоставя на нацистките власти. Borsuk, например, беше поставен след като властите установено, че той ще спомогне за стартиране на подземни университет.

В тази опасна ситуация Rasiowa уча математика, знаейки, че санкциите, за да бъдат открити бяха екстремни. Но в тази среда Rasiowa учи за нея степен "Магистър" по Lukasiewicz "и надзор.

След разпадането на Съветския сили дойде в близост до Варшава през 1944 г., от Варшава до резистентност розово срещу отслабен немски гарнизон. Въпреки това немски подкрепления пристигнаха и задал резистентност. Около 160000 души загинаха във Варшава въстание от 1944 и градът е оставена в състояние на почти пълна опустошение. Rasiowa време по време на въстание е описано в:

На Варшава през 1944 г. избухва въстание и в последствие Варшава бе почти напълно унищожени, не само защото на война, но и защото на системното разрушаване, които са следвали въстание, след като е била установена squashed. Rasiowa на тезата изгорени заедно с цялата къща. Тя оцелява яви с майка си в мазето, обхванати от развалините на разрушени сградата.

След войната Rasiowa изучавани в средното училище, докато си ръководител Lukasiewicz ляво Полша след ужасните страдания той трябваше преживяхме. Mostowski обаче запомнят Rasiowa на впечатляваща работа и си принуден да се върнете към Университета на Варшава да завърши втора магистърска Дипломна работа под негов контрол.

През 1946 г., след като я получи магистърска степен, тя е назначен като асистент в университета на Варшава и продължи да работи за нейната докторска степен по Mostowski "и надзор. Нейната теза, представена през 1950 г., беше по алгебра и логика алгебрични лечение на функционални смятане на Луис и Heyting и тези теми ще бъдат основните области на изследване в целия си живота си.

Rasiowa бе превърната стабилно, достигайки в ранг на професор през 1957 г. и пълното професор през 1967 г.. Извежда основите на математиката раздел от 1964 г. и математическата логика Раздел след създаването си през 1970 година.

Нейните основни изследователски беше в алгебрични логика и математическите основи на компютърните науки. В алгебрични логика тя продължава работата по пощата, камък, Tarski и Lukasiewicz:

... насочени към намиране на точно описание на структурата на математическите официално логически системи.

Разбира се Rasiowa работата на алгебрични логика е точно в областта на правото, за да си естествен сътрудник на теоретичната информатика. Все пак това е едно нещо да бъде в правилната зона и още един да имат възможност да разгледат значението на нов обект, като компютърни науки. Нейното участие са описани в:

Нейният принос към теоретичните компютърни науки произтича от убеждението си, че има дълбоки отношения между методите на алгебра и логика от една страна и основни проблеми на основите на компютърните науки, от друга. Сред тези проблеми, тя ясно разграничава извод за дисперсията методи, характерни за компютърни науки и нейните приложения. Тази присъда на hers бяха подкрепени от нея резултатите от много-ценни и не-класическа логиката, по-специално по молби на различни обобщения на Post algebras към логиката на програми за сближаване и логиката.

В действителност през 1984 г. Rasiowa въведен един важен извод за дисперсията на концепцията, когато основната информация е непълна. Това доведе до сближаване на мотиви и сближават логиката, които са сега в центъра на изследването на изкуствения интелект.

Rasiowa написал над 100 статии, книги и монографии. Тя също контролирано от докторски дисертации с повече от 20 студенти. Все пак си вноски, не са ограничени до проучване. Тя помогна, създаден от списание Fundamenta Informaticae, които тя е главен редактор от създаването му през 1977 г. до нейната смърт. В допълнение към тези редакционни мита, тя също беше Събиране на редактора на Studia Logica от 1974 г. и от 1986 г., асоцииран редактор на вестник "на Приблизителна мотиви.

Тя също играе важна роля в живота на математически Полша. Член на полски Математическо общество, тя е неговата секретарка в 1955-57 и неговите заместник-председател на 1958/59. Тя работи в Комитета по математика на полски академия на науките и се председателства различните комисии на полското Министерство на науката и висшето образование. Той беше отчасти чрез нея се стреми, че полското общество за логика и философия на науката е създадена.

Rasiowa останаха активни право до нейната смърт, след като приключи осем глави на нова монография алгебрични анализ на не-класическа за първи логиката преди влизането болница окончателното ѝ заболяване.

Source:School of Mathematics and Statistics University of St Andrews, Scotland