{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T04:56:09Z","timestamp":1754110569465,"version":"3.40.4"},"reference-count":28,"publisher":"Oxford University Press (OUP)","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Logic Computation"],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1093\/logcom\/exs073","type":"journal-article","created":{"date-parts":[[2013,2,7]],"date-time":"2013-02-07T06:19:37Z","timestamp":1360217977000},"page":"1133-1140","source":"Crossref","is-referenced-by-count":1,"title":["A Tribute to Marian Boykan Pour-El (1928\u20132009)"],"prefix":"10.1093","volume":"25","author":[{"given":"I.","family":"Pour-El","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ning","family":"Zhong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2013,2,6]]},"reference":[{"key":"2015072400400128000_25.4.1133.1","unstructured":"Curie M. Nobel Lectures, Physics 1901\u20131921. Elsevier Publishing Company; 1967."},{"key":"2015072400400128000_25.4.1133.2","unstructured":"Documents in posession of the the Pour-El family."},{"key":"2015072400400128000_25.4.1133.3","unstructured":"Downey R. Review of Computability in Analysis and Physics. Pour-El Marian B. Richards Ian J. , editors. 1990. MathSciNet, MR1005942 (90k:03062)."},{"key":"2015072400400128000_25.4.1133.4","unstructured":"Dyson F. Edge. Vol. 82. 2001. Is lifeAnalog or Digital? http:\/\/www.edge.org\/3rd_culture\/dyson_ad\/dyson_ad_index.html ."},{"key":"2015072400400128000_25.4.1133.5","doi-asserted-by":"crossref","unstructured":"Henrion C. Women In Mathematics: The Addition of Difference. Indiana University Press; 1997.","DOI":"10.2979\/3343.0"},{"key":"2015072400400128000_25.4.1133.6","unstructured":"Maisel M. About Grace Hopper. Anita Borg Institute For Women and Technology; 2011."},{"key":"2015072400400128000_25.4.1133.7","doi-asserted-by":"publisher","DOI":"10.2307\/2270510"},{"key":"2015072400400128000_25.4.1133.8","unstructured":"National Center for Science Statistics Engineering. S and E Degrees 1966\u20132008. National Science Foundation, NSF 11-316; 2011."},{"key":"2015072400400128000_25.4.1133.9","doi-asserted-by":"crossref","unstructured":"Pour-El M. B. Spatial Separation in Family Life: A Mathematician's Choice. In: Steen Lynn Arthur , editor. Mathematics Tomorrow. Springer; 1981.","DOI":"10.1007\/978-1-4613-8127-3_19"},{"key":"2015072400400128000_25.4.1133.10","unstructured":"Pour-El I. Personal recollections of conversations with Marian Boykan Pour-El."},{"key":"2015072400400128000_25.4.1133.11","doi-asserted-by":"crossref","unstructured":"Pour-El M. B. Ruth Kundsin B. Sucessful Women in the Sciences: An Analysis of Determinants. New York Academy of Sciences; 1973. Mathematician.","DOI":"10.1111\/j.1749-6632.1973.tb30813.x"},{"key":"2015072400400128000_25.4.1133.12","doi-asserted-by":"crossref","unstructured":"Pour-El M. B. G\u00f6del numberings versus Friedberg numberings. Proc. Am. Math. Soc 1964;15:252-256.","DOI":"10.2307\/2034045"},{"key":"2015072400400128000_25.4.1133.13","doi-asserted-by":"publisher","DOI":"10.2307\/2270052"},{"key":"2015072400400128000_25.4.1133.14","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1974-0347575-8"},{"key":"2015072400400128000_25.4.1133.15","doi-asserted-by":"publisher","DOI":"10.1007\/BF01976264"},{"key":"2015072400400128000_25.4.1133.16","doi-asserted-by":"crossref","unstructured":"Pour-El M. B. Kripke S. Deduction-preserving \u201crecursive isomorphisms\u201d between theories. Fund. Math. 1967;61:141-163.","DOI":"10.1090\/S0002-9904-1967-11689-6"},{"key":"2015072400400128000_25.4.1133.17","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19640100802"},{"key":"2015072400400128000_25.4.1133.18","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(79)90021-4"},{"key":"2015072400400128000_25.4.1133.19","doi-asserted-by":"publisher","DOI":"10.1016\/0001-8708(81)90001-3"},{"key":"2015072400400128000_25.4.1133.20","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1983-0682717-1"},{"key":"2015072400400128000_25.4.1133.21","doi-asserted-by":"publisher","DOI":"10.1016\/0001-8708(83)90004-X"},{"key":"2015072400400128000_25.4.1133.22","doi-asserted-by":"publisher","DOI":"10.1016\/0001-8708(87)90062-4"},{"key":"2015072400400128000_25.4.1133.23","doi-asserted-by":"crossref","unstructured":"Pour-El M. B. Richards I. Computability in Analysis and Physics. Perspectives in Mathematical Logic. Springer-Verlag; 1989.","DOI":"10.1007\/978-3-662-21717-7"},{"key":"2015072400400128000_25.4.1133.24","unstructured":"Pour-El M. B. Richards I. Differentiability Properties of Computable Functions-a Summary. Acta Cybernet 1978\/79;4:123-125."},{"key":"2015072400400128000_25.4.1133.25","doi-asserted-by":"crossref","unstructured":"Pour-El M. B. Richards I. Lp -computability in recursive analysis. Proc. Amer. Math. Soc 1984;92:93-97.","DOI":"10.2307\/2045162"},{"key":"2015072400400128000_25.4.1133.26","doi-asserted-by":"crossref","unstructured":"Penrose R. The Emperor's New Mind: Concerning Computers, Minds and The Laws of Physics. Oxford University Press; 1989.","DOI":"10.1093\/oso\/9780198519737.001.0001"},{"key":"2015072400400128000_25.4.1133.27","unstructured":"Rossiter M. W. Women Scientists in America: Before Affirmative Action 1940\u20131972. Johns Hopkins University Press; 1995."},{"key":"2015072400400128000_25.4.1133.28","unstructured":"Rubel L. A. The brain as an analog computer. J. Theoret. Neurobiol 1985;4:73-81."}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/25\/4\/1133\/5143746\/exs073.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T20:12:45Z","timestamp":1745957565000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exs073"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,2,6]]},"references-count":28,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2015,7,24]]},"published-print":{"date-parts":[[2015,8]]}},"alternative-id":["10.1093\/logcom\/exs073"],"URL":"https:\/\/doi.org\/10.1093\/logcom\/exs073","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"type":"print","value":"0955-792X"},{"type":"electronic","value":"1465-363X"}],"subject":[],"published":{"date-parts":[[2013,2,6]]}}}