Back to Results
First PageMeta Content
Model theory / Real algebraic geometry / Guggenheim Fellows / Proof theory / Metalogic / Alfred Tarski / Presburger arithmetic / Existential theory of the reals / Quantifier elimination / Logic / Mathematical logic / Mathematics


Document Date: 2006-01-20 17:21:14

Open Document

File Size: 251,88 KB

Share Result on Facebook

City

Warsaw / /

Company

UC Press / IBM / Oracle / Remington Rand / Google / Wolfram Research Inc. / RAND Corporation / /

Country

Poland / France / /

Event

Person Communication and Meetings / Person Travel / /

Facility

Stanford University / Italics mine / Cornell University / University of Warsaw / University of California / Warsaw University / Summer Institute / /

IndustryTerm

real solution / non-deterministic algorithms / insurance industry / computational applications / mathematical applications / given algorithm / possible practical applications / infinite state systems / proof systems / /

NaturalFeature

East Coast / /

Organization

University of California / University of Warsaw / Harvard / Institute for Advanced Study / Warsaw University / Cornell University / Summer Institute / Alonzo Church / Stanford University / U.C. Berkeley School of Engineering / Stanford / /

Person

Leonard Monk / Michael Rabin / Jan Lukasiewicz / John Canny / John Mitchell / George Kreisel / Victor Marek / Derek Oppen / Paul Halmos / Donald Knuth / Hao Wang / Adam Sztrebonski / Leopold Löwenheim / Michael Beeson / Dennis S. Arnon / Bob Solovay / Abraham Seidenberg / Dana Scott / Natarajan Shankar / Anil Nerode / Mojzesz Presburger / John von Neumann / Solomon Feferman / Alfred Tarski / Adam Strzebonski / Anita Feferman / Bruno Buchberger / Abraham Robinson / Vaughan Pratt / Stephen Kleene / George Collins / Ursula Martin / John Etchemendy / Hoon Hong / Paul Cohen / Willard Quine / Martin Davis / Robert L. Vaught / /

Position

mathematician / logic professor / professor / chair / Lecturer / Associate Professor / /

ProgrammingLanguage

Mathematica / /

ProvinceOrState

Wisconsin / Mississippi / California / /

Region

East Coast / /

SportsLeague

Stanford University / /

Technology

non-deterministic algorithms / given algorithm / CAD algorithm / CAD / /

SocialTag