Robinson Abraham

Dizionario delle Scienze Fisiche (1996)

Robinson Abraham


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.

Vedi anche
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 ... 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à ... 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 ...
Categorie
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
    Enciclopedia Italiana - IV Appendice (1981)
    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, ...