Mathématiciens

Ligne de temps Photos Argent Timbres Croquis Recherche

Helena Rasiowa

Date de naissance:

Endroit de naissance:

Date de la mort:

Endroit de la mort:

20 June 1917

Vienna, Austria

9 Aug 1994

Warsaw, Poland

Présentation
ATTENTION - traduction automatique de la version anglaise

Bien que Helena Rasiowa est né à Vienne, ses parents étaient polonais. En 1918 la Pologne a retrouvé son statut de nation indépendante et Rasiowa de parents ont déménagé à Varsovie. Elle a fait ses études, obtenir une bonne éducation secondaire avec des cours de musique prises au cours d'une école de musique. Après avoir terminé ses études de l'école, elle a pris un cours en gestion d'entreprise avant d'entrer dans l'université.

Rasiowa entre à l'Université de Varsovie en 1938, mais après l'invasion allemande de la Pologne en 1939, l'université privée. Rasiowa et ses parents ont déménagé à Lvov, mais les Polonais sont restés coincés entre les Soviétiques et les Allemands sont venus et Lvov sous contrôle soviétique. La vie semble encore plus difficile que sous l'occupation allemande, après une année, la famille retourne à Varsovie.

Il y avait une impressionnante collection de mathématiques à l'Université de Varsovie à ce moment-là y compris Borsuk, Lukasiewicz, Mazurkiewicz, Sierpinski, Mostowski et autres. Ils ont organisé une sous-version de l'université qui a été fortement contestée par les autorités nazies. Borsuk, par exemple, a été emprisonné après les autorités ont trouvé qu'il était à la gestion du métro université.

Dans cette situation dangereuse Rasiowa appris les mathématiques, sachant que les peines d'être découvert a été extrême. Pourtant, dans cet environnement Rasiowa étudié pour son Master's Degree en vertu de Lukasiewicz 's supervision.

Lorsque les forces soviétiques se sont rapprochés à Varsovie en 1944, de Varsovie a augmenté de résistance contre l'affaiblissement garnison allemande. Toutefois allemand renforts sont arrivés et ont mis à la résistance. Environ 160000 personnes sont mortes dans l'Insurrection de Varsovie de 1944 et la ville a été laissé dans un état de dévastation quasi totale. Rasiowa du temps pendant le soulèvement est décrit dans:

En 1944, l'Insurrection de Varsovie a éclaté et, par conséquent, Varsovie a été presque complètement détruites, non seulement en raison de la guerre, mais aussi en raison de la destruction systématique qui a suivi le soulèvement après avoir été écrasée. Rasiowa la thèse de brûlé avec toute la maison. Elle-même a survécu avec sa mère dans une cave couverte de ruines de l'immeuble démoli.

Après la guerre Rasiowa enseigné dans une école secondaire, tandis que son superviseur Lukasiewicz quitté la Pologne après les terribles souffrances qu'il a connu. Mostowski toutefois rappeler Rasiowa du travail impressionnant et convaincu de son retour à l'Université de Varsovie pour compléter une deuxième thèse de maîtrise sous sa supervision.

En 1946, après avoir obtenu sa maîtrise, elle a été nommée en qualité d'assistant à l'Université de Varsovie et a continué à travailler pour son doctorat sous Mostowski 's supervision. Sa thèse, présenté en 1950, sur l'algèbre et la logique algébrique traitement des techniques de calcul Lewis et Heyting et ces questions seront les principaux domaines de sa recherche tout au long de sa vie.

Rasiowa a été promu de façon régulière, atteignant le grade de professeur en 1957 et professeur titulaire en 1967. Elle a mené les fondements de la Section Mathématiques de 1964 et la logique mathématique section après sa création en 1970.

Son principal domaine de recherche était en logique algébrique et les fondements mathématiques de l'informatique. Dans la logique algébrique elle la poursuite des travaux par la poste, Stone, Tarski et Lukasiewicz:

... visant à trouver une description précise de la structure mathématique de la logique formelle.

Bien sûr Rasiowa travaux du algébriques logique est précisément dans la partie droite de faire un son naturel contribue à l'informatique théorique. Toutefois, il est une chose que d'être dans le bon domaine et encore un autre d'avoir la capacité de voir l'importance d'une nouvelle discipline comme l'informatique. Ses contributions sont décrits dans:

Sa contribution théorique à l'informatique découle de sa conviction qu'il existe des relations profondes entre les méthodes de l'algèbre et la logique d'une part et les problèmes essentiels des fondations de l'informatique sur l'autre. Parmi ces problèmes, elle distingue clairement les méthodes d'inférence caractéristique de l'informatique et ses applications. Cette conviction de la sienne a été soutenu par ses résultats sur les valeurs multiples et non-classique logiques, en particulier sur les applications des différentes généralisations de la Poste algèbres de logiques de programmes de rapprochement et logiques.

En fait en 1984 Rasiowa introduit une notion importante de l'inférence de base où les informations étaient incomplètes. Cela a conduit à rapprocher raisonnement approximatif et logiques qui sont aujourd'hui un élément central de l'étude de l'intelligence artificielle.

Rasiowa a écrit plus de 100 documents, livres et monographies. Elle a également supervisé les thèses de doctorat de plus de 20 étudiants. Toutefois ses contributions n'étaient pas limitées à la recherche. Elle a aidé à mettre sur pied la revue Fundamenta Informaticae qui elle a été rédacteur en chef de sa création en 1977 jusqu'à sa mort. En plus de ces tâches de rédaction, elle a également été rédacteur en chef de collecte Studia Logica de 1974 et, à partir de 1986, un rédacteur associé du Journal of Approximate Reasoning.

Elle a également joué un rôle majeur dans la vie mathématique de la Pologne. Un membre de la Société mathématique du polonais, elle a été sa secrétaire en 1955-57 et son vice-président en 1958/59. Elle a siégé au Comité des Mathématiques de l'Académie polonaise des sciences et présidé divers comités du Ministère polonais de la science et de l'enseignement supérieur. C'est en partie grâce à ses efforts que la Société polonaise en logique et la philosophie des sciences a été mis en place.

Rasiowa est resté actif jusqu'à sa mort, après avoir terminé huit chapitres d'une nouvelle monographie analyse algébrique de la non-classique de premier ordre logique avant d'entrer dans l'hôpital avec sa dernière maladie.

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