Kreisel, Georg

Enciclopedia on line

Logico e filosofo austriaco (Graz 1923 - Salisburgo 2015), docente (1962-85) alla Stanford University (California). Si è occupato dei problemi relativi ai fondamenti della matematica, nonché di logica intuizionista, di teoria della dimostrazione e di teoria della ricursione. Tra i suoi scritti: Eléments de logique mathématique. Théorie des modèles (1967, in collaborazione con J. L. Krivine).

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à ...
Categorie
Tag
Vocabolario
georgiano¹
georgiano1 georgiano1 agg. e s. m. (f. -a). – 1. Della Georgia, regione e repubblica del Caucaso merid. (situata sulla costa orientale del Mar Nero) già incorporata nell’URSS e, dal 1991, stato indipendente; lingua g. (o georgiano s. m.),...
georgiano²
georgiano2 georgiano2 (o giorgiano) agg. [dall’ingl. Georgian, der. di George «Giorgio»]. – Dell’epoca in cui regnavano in Inghilterra i re di nome Giorgio, e in partic. i primi tre (sec. 18°): letteratura g.; stile g., stile dell’architettura...