Helena Rasiowa (20 June 1917 – 9 August 1994) was a Polish mathematician. She worked in the foundations of mathematics and algebraic logic. Rasiowa was...
6 KB (675 words) - 02:00, 26 February 2024
In axiomatic set theory, the Rasiowa–Sikorski lemma named after Helena Rasiowa and Roman Sikorski is one of the most fundamental facts used in the technique...
4 KB (424 words) - 11:17, 19 November 2024
Helena Ranaldi (born 1966), Brazilian actress Helena Rasiowa (1917–1994), Polish mathematician Helena Resano (born 1974), Spanish journalist Helena Rojo...
8 KB (913 words) - 16:28, 9 November 2024
Leśniewski Adolf Lindenbaum Alfred Tarski Jan Łukasiewicz Andrzej Mostowski Helena Rasiowa Fourier analysis has been advanced at Warsaw by: Aleksander Rajchman...
2 KB (197 words) - 21:52, 9 October 2024
relations with his 1941 essay "On the Calculus of Relations". According to Helena Rasiowa, "The years 1920-40 saw, in particular in the Polish school of logic...
19 KB (2,222 words) - 23:08, 23 August 2024
1–2 1958–59) The Mathematics of Metamathematics (1963, together with Helena Rasiowa) Rachunek rózniczkowy i całkowy — funkcje wielu zmiennych (1967) Warsaw...
2 KB (121 words) - 00:47, 2 November 2024
American country music singer-songwriter and guitarist (d. 1972) 1917 – Helena Rasiowa, Austrian-Polish mathematician and academic (d. 1994) 1918 – George...
44 KB (4,377 words) - 17:41, 17 November 2024
Systems and Recursive Functions. Amsterdam: North-Holland, pp. 92–130. Helena Rasiowa; Roman Sikorski (1963). The Mathematics of Metamathematics. Państwowe...
44 KB (6,245 words) - 17:26, 5 November 2024
Frank Plumpton Ramsey (UK, 1903–1930) Petrus Ramus (France, 1515–1572) Helena Rasiowa (Poland, 1917–1994) Carveth Read (UK, 1848–1931) Abraham Robinson (Israel...
16 KB (1,908 words) - 17:23, 22 September 2024
1971. The dissertation, Theorem Proving Systems, was supervised by Helena Rasiowa. She completed her habilitation there in 1978, with the habilitation...
5 KB (493 words) - 02:08, 22 September 2023
elected a real member of the PAS. After the World War II he supervised Rasiowa's both master and doctoral theses in logic and the foundations of mathematics...
10 KB (799 words) - 16:01, 18 November 2024
Rabinowitz Tibor Radó M. S. Raghunathan Srinivasa Ramanujan Norman Ramsey Helena Rasiowa Douglas Ravenel Michael C. Reed David Rees Aviv Regev Zinovy Reichstein...
60 KB (5,797 words) - 14:45, 12 November 2024
Olle Johansson, 66, Swedish swimmer, water polo player and Olympian. Helena Rasiowa, 77, Polish mathematician. Biswamoy Biswas, 71, Indian ornithologist...
45 KB (3,508 words) - 17:04, 5 July 2024
GND 131832093 BnF 12859886s O'Connor, John J.; Robertson, Edmund F., "Helena Rasiowa", MacTutor History of Mathematics Archive, University of St Andrews...
5 KB (1,508 words) - 23:18, 8 October 2024
mathematician, models cell membranes and other thin nanostructures Helena Rasiowa (1917–1994), Polish researcher in the foundations of mathematics and...
192 KB (22,925 words) - 20:54, 17 November 2024
Heisenberg uncertainty principle HeLa Helen Longino Helen Lynd Helen Zimmern Helena Rasiowa Hélène Cixous Helene von Druskowitz Helga Kuhse Helio Gallardo Heliodoro...
73 KB (7,034 words) - 20:17, 4 November 2024
Andrew Odlyzko Władysław Orlicz Józef H. Przytycki Maksym Radziwill Helena Rasiowa Marian Rejewski, mathematician-cryptologist who broke the German Enigma...
180 KB (1,690 words) - 13:08, 19 November 2024
logic that emerged in Poland during the 1950s and 60s with the work of Helena Rasiowa, Roman Sikorski, Jerzy Łoś, and Roman Suszko (to name but a few). It...
9 KB (1,017 words) - 13:36, 28 February 2024
Przełęcki (Alternate Assessor 1975–1979) Dhruv Raina (Assessor 2020-2023) Helena Rasiowa (Alternate Assessor 1971–1975; Assessor 1975–1979) Alexander Razborov...
18 KB (1,683 words) - 13:14, 2 November 2024
Structure, Springer Universitext, (see section 1.2) ISBN 978-3-540-20879-2 Rasiowa, Helena; Sikorski, Roman (1970), The Mathematics of Metamathematics (3rd ed...
3 KB (355 words) - 14:06, 13 August 2024
formulae were introduced around 1956 by Ronald Harrop and independently by Helena Rasiowa. Variations of the fundamental concept are used in different branches...
4 KB (573 words) - 11:02, 1 September 2024
(Hungary, 1905–1977) Marian Pour-El Val Plumwood (Australia) Rose Rand Helena Rasiowa (Poland, 1917–1994) Adriane Rini Julia Robinson (US, 1919–1985) Cristina...
3 KB (276 words) - 08:20, 13 September 2024
et al.] |Banachowski, Lech; Kreczmar, Antoni; Mirkowska, Grażyna; Rasiowa, Helena; Salwicki, Andrzej (1977). An introduction to Algorithmic Logic - Metamathematical...
3 KB (392 words) - 00:15, 1 August 2024
propositionnelle S4 et logique intuitioniste propositionnelle (PDF) (in French) Rasiowa, Helena; Sikorski, Roman (1963). The Mathematics of Metamathematics. Monografie...
51 KB (7,741 words) - 06:43, 7 November 2024
Transcomputational problem Mazur, Stanisław (1963). Grzegorczyk, Andrzej; Rasiowa, Helena (eds.). Computable analysis. Rozprawy Matematyczne. Vol. 33. Institute...
24 KB (3,269 words) - 13:32, 8 November 2024
In Kuratowski, Kazimierz; Marek, Wiktor Witold; Pacholski, Leszek; Rasiowa, Helena; Ryll-Nardzewski, Czesław; Zbierski, Paweł (editors): Andrzej Mostowski:...
36 KB (2,886 words) - 17:46, 8 October 2024