gerhard-schröder: documenti, foto e citazioni nell'Enciclopedia Treccani

Logica matematica

Enciclopedia della Scienza e della Tecnica (2007)

Logica matematica Silvio Bozzi Pur potendo vantare come erede della logica formale un'origine risalente almeno ad Aristotele, come disciplina scientifica la logica matematica è un acquisto recente. [...] qui alla semantica classica, presentata per la prima volta da Ernst Schröder (1910) e Frege (1897). L'idea è che gli enunciati di inferenza e quella ‒ inaugurata negli anni Trenta da Gerhard Gentzen ‒ basata sull'idea della logica come insieme di ... Leggi Tutto

La logica nel Novecento

Storia della civiltà europea a cura di Umberto Eco (2014)

Andrea Bernardoni Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook All’inizio del Novecento la logica si sviluppa sotto l’egida della problematica circa [...] si va profilando un altro filone logico che risale a Schröder ed è caratterizzato da un approccio semantico, interpretativo, alle ha nel 1935 con un lavoro del logico tedesco Gerhard Gentzen (1909-1945), Untersuchungen über das logische Schliessen ... Leggi Tutto

Olimpiadi - Repertorio: OLIMPIADI ESTIVE

Enciclopedia dello Sport (2004)

Olimpiadi - Repertorio: OLIMPIADI ESTIVE OLIMPIADI ESTIVE ATENE 1896 ATLETICA 100 m maschile 1. Thomas Burke USA 2. Fritz Hofmann GER 3. Frank Lane USA 3. Alojz Sokol HUN 400 m maschile 1. Thomas [...] misti maschile 1. Richard Roth USA 2. Roy Saari USA 3. Gerhard Hetz GER 4x100 m stile libero maschile 1. Stati Uniti 2. David Gobezhishvili URS 2. Bruce Baumgartner USA 3. Andreas Schröder GDR NUOTO 50 m stile libero maschile 1. Matt ... Leggi Tutto

TEATRO

Enciclopedia dell' Arte Antica (1973)

TEATRO (v. vol. vii, p. 640 ss.) G. Forni Elenco dei teatri e odèa greci e romani, noti attraverso resti monumentali o fonti letterarie ed epigrafi, ivi comprese le testimonianze relative alle manifestazioni [...] , ii-iii2, 3096; Bulle, p. 9; Vitucci, p. 323. Aexone: E. Gerhard, in Arch. Zeitung, 1865, Anz. 4, n. 6; H. G. Lolling, A. K. Orlandos, in To Ergon, 1961, p. 236; R. V. Schroder, in Greek Drama. Festival Papers, Univ. South Dakota 1967, p. 13 ss.; ... Leggi Tutto

ATLETICA - Le specialita: i lanci

Enciclopedia dello Sport (2004)

Atletica - Le specialità: i lanci Roberto L. Quercetani I lanci Peso maschile Al pari delle altre prove di lancio con attrezzi pesanti, il lancio del peso (più propriamente 'getto del peso', in inglese [...] (13,27 m contro 13,29) dalla sua connazionale Hermine Schröder. Il peso apparve per la prima volta nel programma dei Giochi seppe avvicinarsi al suo livello non fu tanto il tedesco Gerhard Stöck, vincitore ai Giochi Olimpici del 1936 con 71,84 ... Leggi Tutto

CATEGORIA: DISCIPLINE SPORTIVE

La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi

Storia della Scienza (2004)

La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi Gabriele Lolli La teoria degli insiemi La teoria degli insiemi è universalmente considerata, nella sua concezione e impostazione [...] 1956) di quello che è oggi noto come teorema di Cantor-Schröder-Bernstein. Questo teorema afferma che l'ordinamento tra i cardinali è cicli, che saranno evitati con l'assioma di fondazione. Gerhard Hessenberg (1873-1925) lamenta che nella teoria di ... Leggi Tutto

CATEGORIA: STORIA DELLA MATEMATICA

TAMIRI

Enciclopedia dell' Arte Antica (1966)

Vedi TAMIRI dell'anno: 1966 - 1997 TAMIRI (Θάμυρις, att. Θαμύρας) P. Orlandini Mitico cantore di Tracia reso cieco e privato della cetra e del canto dalle Muse che aveva osato sfidare. Il sorgere, nel [...] p. 67; F. Hauser, in Jahreshefte, XVI, 1913, p. 45, n. 24; B. Schröder, in Jahrbuch, XXX, 1915, p. 113 s.; G. Körte, ibid., XXXI, 1916, p J. D. Beazley, C. V. A., Oxford, I, tav. 32, i; Gerhard, in Pauly-Wissowa, V A, 1934, c. 1236 ss., s. v. Thamyris ... Leggi Tutto