Robinson, Julia

Enciclopedia on line

Matematica e logica matematica (Saint Louis 1919 - ivi 1985), dal 1976 prof. di matematica all'univ. della California a Berkeley. Si è interessata di logica matematica (funzioni ricorsive e problemi di decidibilità) e di teoria dei numeri. Di particolare importanza la scoperta (completata da J. V. Matijasević nel 1970) dell'indecidibilità del 10º problema di D. Hilbert: non esiste un metodo generale effettivo per decidere se una equazione diofantea è o no risolubile. Tra le sue opere: Existential definability in arithmetic (1952); The decision problem for exponential diophantine equations (in collab. con H. Putnam, 1961).

CATEGORIE
TAG

Teoria dei numeri

Logica matematica

Saint louis

California