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).

Vedi anche
David Hilbert Hilbert ‹hìlbërt›, David. - Matematico tedesco (Königsberg 1862 - Gottinga 1943). È la figura più notevole della matematica della prima metà del Novecento e forse dell'intero secolo. A Königsberg frequentò l'università con A. Hurwitz, già professore, e con H. Minkowski, suo condiscepolo. Dal 1895 al ... lògica matemàtica lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono essere considerate formalmente come oggetti grafici combinabili tra loro (sintassi) o in relazione ... Saint Louis Città degli USA (354.361 ab. nel 2008; 2.850.000 ab. considerando l’intera agglomerazione urbana), nel Missouri, situata, a 142 m s.l.m., sulla riva occidentale del Mississippi, 16 km a sud della confluenza con il Missouri. Ha clima continentale con temperatura media di 26 °C in luglio e −2 °C in gennaio. ...
Categorie
Tag