Back to Results
First PageMeta Content
Mathematical logic / Theoretical computer science / Computable function / Alfred Tarski / Raphael M. Robinson / Primitive recursive function / Function / Julia Robinson / Numbering / Computability theory / Mathematics / Theory of computation


Document Date: 2000-08-02 12:13:45

Open Document

File Size: 204,68 KB

Share Result on Facebook

City

San Diego / St. Louis / /

Company

THE NATIONAL ACADEMY PRESS / RAND Corporation / /

Event

Person Travel / Person Communication and Meetings / /

Facility

San Diego State College / /

IndustryTerm

ingenious solution / possible algorithm / formal axiomatic systems / positive solution / machine tool / negative solution / /

Organization

UCLA / Stat Lab / ACADEMY OF SCIENCES JULIA BOWMAN ROBINSON / U.C.B. Stat Lab / National Academy of Sciences / Alonzo Church / American Mathematical Society / San Diego State College / /

Person

Ralph Bowman / Julia Robinson / Jacques Herbrand / Stephen C. Kleene / George W. Brown / Raphael M. Robinson / Griffith C. Evans / Jerzy Neyman / Alan Turing / SOLOMON FEFERMAN / Alfred Tarski / JULIA BOWMAN ROBINSON / Ralph Bowers Bowman / Kurt Gödel / Helen Hall Bowman / Constance Reid / Billie / Julia Bowman / Andrzej Mostowski / /

Position

president / intense and charismatic lecturer / mathematician / excellent teacher / noted chairman / candidate for the algorithmically computable functions / assistant to Professor Jerzy Neyman / Professor / /

ProgrammingLanguage

Mathematica / /

ProvinceOrState

Missouri / California / Arizona / /

Technology

possible algorithm / /

SocialTag