Joan Moschovakis

Joan R. Moschovakis
Urodzić się
Joanny Rand

1937
Alma Mater Uniwersytet Kalifornijski – Berkeley Uniwersytet Wisconsin – Madison
Znany z Matematyka intuicjonistyczna , logika intuicjonistyczna
Kariera naukowa
Pola Matematyka
Instytucje Kolegium Zachodnie
Doradca doktorski Stefana Kleene'a

Joan Rand Moschovakis jest logikiem i matematykiem zajmującym się logiką intuicjonistyczną i matematyką. Jest emerytowanym profesorem w Occidental College i gościem na UCLA .

Moschovakis zdobyła tytuł doktora. z University of Wisconsin-Madison w 1965 pod kierunkiem Stephena Kleene z rozprawą zatytułowaną Disjunction, Existence and *-Eliminability in Formalized Intuitionistic Analysis .

Moschovakis jest żoną Yiannisa Moschovakisa , z którym w 2014 roku prowadziła wykłady Lindströma na Uniwersytecie w Göteborgu .

Wybrane publikacje

  • Moschovakis, Joan (2015). „Logika intuicjonistyczna” . W Zalta, Edward N. (red.). Stanford Encyklopedia filozofii .
  •     Moschovakis, Joan Rand (2009). „Logika Brouwera i Heytinga”. W Gabbay, Dov M.; Woods, John (red.). Podręcznik historii logiki . Tom. 5. Logika od Russella do Kościoła . Podręcznik historii logiki . Tom. 5. Amsterdam: Elsevier/Holandia Północna. s. 77–125. CiteSeerX 10.1.1.117.9445 . doi : 10.1016/S1874-5857(09)70007-X . ISBN 9780444516206 . MR 2668177 .
  •    Moschovakis, Joan Rand (1987). „Względne bezprawie w analizie intuicjonistycznej”. Dziennik logiki symbolicznej . 52 (1): 68–88. doi : 10.2307/2273863 . JSTOR 2273863 . MR 0877856 .
  •    Moschovakis, Joan Rand (1971). „Czy nie może być funkcji nierekurencyjnych?”. Dziennik logiki symbolicznej . 36 (2): 309–315. doi : 10.2307/2270266 . JSTOR 2270266 . MR 0294087 .

Linki zewnętrzne