Please use this identifier to cite or link to this item: http://hdl.handle.net/10077/30326
Title: Abraham Robinson
Authors: Lolli, Gabriele
Keywords: Applied mathematicsMetamathematics of algebraNon-standard analysisMatematica applicataMetamatematica dell'algebraAnalisi non standard
Issue Date: 2019
Publisher: EUT Edizioni Università di Trieste
Source: Gabriele Lolli, "Abraham Robinson", in "APhEx 20", 2019, pp. 39
Journal: APhEx 
Abstract: 
Abraham Robinson (1918-1974) lived his youth in the troubled years of nazism and World War II in Europe, being led to work for the Air Forse in the defence of London and developing a deep and longstanding interest in aeronautics (especially supersonic flight) and in general in applied mathematics. With the advent of peace he resumed also his early involvement with logic, studied in Jerusalem with a.a. Fraenkel, and became one of the most influential mathematical logician of the twentieth century. He gave shape to the discipline of model theory, developing the metamathematics of algebra with the introduction of many new concepts, such as model-completeness, techniques for completeness and quantifier elimination, and new structures; in the sixties he invented Nonstandard Analysis and model-theoretic forcing. Robinson was one of the last universal mathematician.

Abraham Robinson (1918-1974) ha vissuto la giovinezza negli anni turbolenti del nazismo e della seconda guerra mondiale, e dalla partecipazione alla difesa di Londra nei ranghi dell'Air Force fu indotto a sviluppare un profondo e duraturo interesse per l'aeronautica, in particolare una pionieristica competenza sul volo supersonico. Al ritorno della pace riprese anche a coltivare la logica, che aveva studiato con A.A. Fraenkel a Gerusalemme, e divenne uno dei più importanti logici matematici del ventesimo secolo. Diede forma e impulso alla nuova disciplina della teoria dei modelli concependo la metamatematica dell'algebra, introducendo nuovi concetti, come quello di model-completezza, tecniche per la completezza e l'eliminazione dei quantificatori, e nuove strutture algebriche. Negli anni '60 inventò l'Analisi nonstandard e il forcing per teoria dei modelli. Robinson è stato forse uno degli ultimi matematici universali.
Type: Article
URI: http://hdl.handle.net/10077/30326
ISSN: 2036-9972
Appears in Collections:20 APhEx num 20, anno 2019

Files in This Item:
File Description SizeFormat
APhEx_20_2019_Lolli.pdf919.85 kBAdobe PDFThumbnail
View/Open
Show full item record


CORE Recommender

Page view(s)

24
checked on Feb 26, 2021

Download(s) 50

8
checked on Feb 26, 2021

Google ScholarTM

Check


This item is licensed under a Creative Commons License Creative Commons