ROBINSON, Abraham

Enciclopedia Italiana - IV Appendice (1981)

ROBINSON, Abraham


Matematico e logico, nato a Waldenburg (Baden-Württemberg) il 6 ottobre 1918, morto l'11 aprile 1974. Studiò a Gerusalemme, a Parigi e a Londra. È stato professore di matematica applicata del 1951 al 1957 all'università di Toronto, poi professore di matematica fino al 1962 all'università di Gerusalemme, successivamente professore di matematica e filosofia all'università della California a Los Angeles, e infine dal 1967 insegnò matematica alla Yale university a New Haven nel Connecticut. Dal 1962 è stato membro dell'American Academy of arts and sciences e nel 1974 fu eletto membro anche della National Academy of sciences. In matematica applicata si è interessato di meccanica dei fluidi. I suoi contributi più importanti riguardano i rapporti tra logica e matematica. Egli infatti intorno al 1950 ha creato la teoria dei modelli e nel 1960 la Nonstandard analysis, che sviluppa il calcolo infinitesimale fondandosi appunto sulla teoria dei modelli.

Tra le sue opere: On the mathematics of algebraic systems (1951); Introduction to model theory and to metamathematics of algebra (1963); Nonstandard analysis (1966).

Vedi anche
logica filosofia Disciplina che studia le condizioni di validità delle argomentazioni deduttive. 1. La logica antica I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio e della conoscenza» nell’ambiente protostoico, pur conservando λογικός per tutta la grecità ... 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 ... matematica Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la matematica pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla matematica applicata compete l’elaborazione di strumenti e modelli adatti agli scopi di altre ... metamatematica Scienza che ha per oggetto l’analisi formale delle strutture matematiche, e che si può identificare con la logica matematica. Con significato più ristretto la metamatematica, o teoria della dimostrazione (Beweistheorie), è la scienza, creata da D. Hilbert intorno al 1919, avente per oggetto intere teorie ...
Tag
Altri risultati per ROBINSON, Abraham
  • Robinson, Abraham
    Enciclopedia on line
    Logico e matematico (Waldenburg 1918 - New Haven, 1974). Prof. all'univ. di Toronto (1951) e, successivamente, a Gerusalemme, a Los Angeles e alla Yale University (dal 1967). È uno dei fondatori della teoria dei modelli e gli si deve la creazione dell'analisi non standard. Tra le opere: On the metamathematics ...
  • Robinson Abraham
    Dizionario delle Scienze Fisiche (1996)
    Robinson 〈ròbinsn〉 Abraham [STF] (Waldenburg, Germania, 1918, nat. SUA - New Haven, Connecticut, 1974) Prof. di logica matematica nelle univ. di Toronto, Gerusalemme e infine della California, a Los Angeles. ◆ [ANM] Lemma di prolungamento di R.: v. analisi non standard: I 146 d.