To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

From Wikipedia, the free encyclopedia

Carol Karp, born Carol Ruth Vander Velde (10 August 1926 in Forest Grove, Ottawa County, Michigan – 20 August 1972 in Maryland), was an American mathematician of Dutch ancestry, best known for her work on infinitary logic. She also played viola in an all-women orchestra.[1][2][3]

YouTube Encyclopedic

  • 1/3
    Views:
    2 574
    577
    114 548
  • The Gatton Academy of Math and Science
  • Remembering Texas Tech's Oldest-Known Alumnus
  • Lec-25 Branch and Bound Algorithms for TSP

Transcription

Life

Born in Michigan to a farming supply store manager and a housewife, Carol and her siblings graduated from high school in Ohio. After that, she graduated from Manchester University, Indiana and went back to Michigan to study at Michigan State University (then called Michigan State College), where she earned a master's degree in 1950.[2][3]

In 1951 she married Arthur Karp and took his last name. She continued her graduate study in mathematics while traveling to California and Japan with her husband, who worked in the US Navy.[2][3] She completed her Ph.D. in 1959 at the University of Southern California under the supervision of Leon Henkin. Her dissertation, in formal language theory and infinitary logic, was Languages with Expressions of Infinite Length;[4] she later published it as a book with the same title (North–Holland Publishing, 1964).[5]

Even before completing her doctorate, Karp had taken a faculty position in 1958 at the University of Maryland, College Park, where she was promoted to full professor after only seven years and became a "leader in the developing theory of infinitary logic".[3] In 1969 she was diagnosed with breast cancer but remained active until her death three years later.[2][3]

Legacy

The Karp Prize of the Association for Symbolic Logic is named in her honor. The cash prize was established in 1973 and is awarded every five years for a "connected body of research, most of which has been completed in the time since the previous prize was awarded."[6]

References

  1. ^ Judy Green. "Carol Karp" in Women of Mathematics: A Bibliographic Sourcebook L. Grinstein, P. Campbell, ed.s New York: Greenwood Press (1987): 86 - 91
  2. ^ a b c d O'Connor, John J.; Robertson, Edmund F., "Carol Karp", MacTutor History of Mathematics Archive, University of St Andrews
  3. ^ a b c d e "Carol Karp", Biographies of Women Mathematicians, Agnes Scott College
  4. ^ Carol Karp at the Mathematics Genealogy Project
  5. ^ Engeler, E., "Review of Languages with Expressions of Infinite Length", Mathematical Reviews, MR 0176910
  6. ^ "Association of Symbolic Logic Prizes and Awards". Archived from the original on 2015-08-28. Retrieved 2008-07-31.
This page was last edited on 21 April 2024, at 21:09
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.