Proof Theory

Abel Prize Winners Abel Prize Winners- Awarded annually since 2003 to one or more outstanding mathematicians. Citations and links to biographies. Fields Medal Winners Fields Medal Winners- Awarded to mathematicians not over 40 years of age for outstanding discoveries in Mathematics. Links to the biographies. Australian Mathematical Society Membership Directory Australian Mathematical Society Membership Directory- The 2006 Edition of the Society's Administrative Directory. Oberwolfach Photo Collection Oberwolfach Photo Collection- Photographs of Mathematicians from all over the world. World Directory / Estonia World Directory / Estonia- The data submitted by the Estonian Mathematical Society to the World Directory of Mathematicians. Structure Theorists Structure Theorists- Email directory of logicians, algebraists, and programming linguists working primarily on structural problems in mathematics and computer science. Canadian Mathematical Society Membership Directory Canadian Mathematical Society Membership Directory- Listings by name, location, and fields of interest. Also includes search function. WWW VL: Addresses WWW VL: Addresses- A list of collections of mathematicians' addresses, by subject or institution. Part of the Mathematics WWW Virtual Library. Wolf Prize Recipients in Mathematics Wolf Prize Recipients in Mathematics- Citations for the prize-winners. E-mail Addresses of Russian Mathematicians E-mail Addresses of Russian Mathematicians- Compiled by Sergei Duzhin. Electronic World Directory of Mathematicians (EWDM) Electronic World Directory of Mathematicians (EWDM)- A project of the International Mathematical Union (IMU) to create a searchable directory of mathematicians' home pages. Mathematics Genealogy Project Mathematics Genealogy Project- Searchable database of mathematics doctorates by advisor, school, year, thesis title, and thesis topic. Mathematicians of the African Diaspora Mathematicians of the African Diaspora- African American Mathematicians. Images of Mathematicians on Postage Stamps Images of Mathematicians on Postage Stamps- High-quality scans of postage stamps from around the world picturing famous mathematicians. Women in Math Project Women in Math Project- Biographies, bibliographies, a search engine, information and links to journals, newsletters, and catalogs on or of interest to women in mathematics. Math Reviews Author Database Math Reviews Author Database- Searchable: requires subscription. EMS Directory of Individual Members EMS Directory of Individual Members- Searchable directory of individual members of the European Mathematical Society who have permitted the publication of their data. Mathematicians of the Seventeenth and Eighteenth Centuries Mathematicians of the Seventeenth and Eighteenth Centuries- Accounts of their lives and works, adapted from "A Short Account of the History of Mathematics" by W. W. Rouse Ball. Chronological List of Mathematicians Chronological List of Mathematicians- A list of all of the important mathematicians working in a given century. CML Search CML Search- Combined Membership List for the AMS, MAA, SIAM, AMATYC, AWM and CMS. Includes almost all North American mathematicians. MacTutor History of Mathematics MacTutor History of Mathematics- Biographies of mathematicians. Indexes of Biographies Indexes of Biographies- Biographies of famous mathematicians, indexed alphabetically and chronologically. Part of MacTutor History of Mathematics archive. Erdös Number Project Erdös Number Project- Research into the collaboration graph centered around mathematician Paul Erdös. Women Mathematicians, Sponsored by Agnes Scott College Women Mathematicians, Sponsored by Agnes Scott College- Biographies to illustrate the achievements of women in the field of mathematics. Mathematician Biography Index Mathematician Biography Index- Brief biographies for virtually every important mathematician in history. Mathographies Mathographies- Some biographical sketches of mathematicians, ancient and modern.