Tutte
Tutte William Thomas (Newmarket, Suffolk, 1917 - Kitchener, Ontario, 2002) matematico canadese di origine inglese. Studioso di combinatoria e teoria delle matroidi, nonché esperto crittoanalista, [...] . Con A.M. Turing e altri, fu tra i matematici e logici incaricati dal governo britannico di decrittare i messaggi cifrati Waterloo, in cui fu tra i fondatori del Dipartimento di combinatoria e ottimizzazione. Socio della Royal Society di Londra, si ...
Leggi Tutto
sintassi
Silvio Bozzi
Studio delle proprietà di linguaggi e teorie formalizzate visti, nella logica semantica, come sistemi per la costruzione, la classificazione e le trasformazioni di stringhe (o [...] Syntax der Sprache – di fondare un’analisi puramente combinatoria dei sistemi deduttivi visti come sistemi formali. Un logici e le teorie formalizzate al centro dell’analisi della logica matematica sono per lo più sistemi formali di questo tipo e il ...
Leggi Tutto
Erdos
Erdős Paul (Budapest 1913 - Varsavia 1996) matematico ungherese. Si interessò di matematica fin da bambino mostrando doti eccezionali. Dopo la laurea a Budapest e il dottorato a Manchester, nel [...] da solo o in collaborazione con molti matematici (oltre 400), spazia in diversi campi. Diede essenziali contributi allo sviluppo della teoria dei numeri, della teoria dei grafi e della combinatoria. Nel primo ambito fornì la dimostrazione elementare ...
Leggi Tutto
sostituzione
sostituzione operazione mediante la quale al posto di determinati elementi, algebrici o geometrici, ne vengono posti altri in base a regole e a procedimenti ben definiti. Nei vari ambiti [...] della matematica si hanno vari tipi di sostituzione. In algebra, il metodo di sostituzione è impiegato per pone un termine al posto di una variabile.
☐ In combinatoria (→ analisi combinatoria) il termine è spesso usato come sinonimo di → permutazione ...
Leggi Tutto
mathesis
Dal gr. μάϑησις «apprendimento». Termine adottato nel linguaggio filosofico e matematico con il significato (già presente nel latino tardo) di «scienza matematica», soprattutto nella locuz. [...] piuttosto il progetto) di una scienza matematica universale, distinta dalle altre discipline matematiche (aritmetica, geometria, ecc.) e a materia speciale». In Leibniz è così chiamata l’ars combinatoria (➔), cioè il metodo di un calcolo logico che, ...
Leggi Tutto
Szemeredi
Szemerédi Endre (Budapest 1940) matematico ungherese naturalizzato statunitense. Dopo gli studi universitari a Budapest, ha conseguito il dottorato all’università statale di Mosca. Prima di [...] studiò per un anno medicina e trascorse un periodo di lavoro in fabbrica. I suoi maggiori contributi riguardano la combinatoria, la matematica discreta e la computer science (di cui è stato professore alla Rutgers University del New Jersey dal 1986 ...
Leggi Tutto
Segre Beniamino
Segre Beniamino (Torino 1903 - Frascati, Roma, 1977) matematico italiano. Le sue ricerche spaziarono in diversi campi della matematica, ma i suoi contributi più noti riguardano la geometria [...] che, a partire dagli anni Trenta, interessarono la matematica e, in particolare, in geometria algebrica, gli fecero agli anni Cinquanta i suoi primi studi sulla geometria combinatoria, una geometria algebrico-proiettiva in spazi costruiti su campi ...
Leggi Tutto
Curry
Curry Haskell Brooks (Millis, Massachusetts, 1900 - State College, Pennsylvania, 1982) matematico e logico statunitense. Dopo aver iniziato studi di medicina, si laureò in matematica nel 1920 e [...] della scienza all’università di Amsterdam. È considerato tra i maggiori logici del Novecento; le sue principali opere sono Combinatory logic (Logica combinatoria, 1958) e Foundations of mathematical logic (Fondamenti di logica matematica, 1963). ...
Leggi Tutto
Vandermonde
Vandermonde Alexandre-Théophile (Parigi 1735 - 1796) matematico francese. Ebbe interessi e competenze spiccate anche in musica e chimica, e collaborò con E. Bézout e A. Lavoisier. Si dedicò [...] alla matematica a partire dal 1770 e, l’anno successivo, fu ammesso all’Académie des sciences di Parigi. Il suo scritto ’applicazione al cerchio, 1772) riguarda invece l’analisi combinatoria, mentre lo scritto Mémoire sur l’élimination (Memoria sulla ...
Leggi Tutto
Schonfinkel
Schönfinkel Moses Isaevič o Il’evič (Ekaterinoslav, ora Dnipropetrovsk, Ucraina, 1889 - Mosca 1942) matematico e logico ucraino. È noto per aver elaborato nel 1920 la logica combinatoria. [...] i concetti relativi alla logica combinatoria, pubblicati successivamente sui «Mathematische Annalen» con il titolo Über die Bausteine der mathematischen Logik (Sugli elementi costitutivi della logica matematica, 1924). Lasciata Göttingen, si recò ...
Leggi Tutto
combinatorio
combinatòrio agg. [der. di combinare]. – Fondato sulla combinazione, risultante dalla combinazione dei varî elementi. In partic.: 1. In filologia, metodo c., metodo che consiste nell’accertare l’esatta interpretazione di un elemento...
mathesis
‹màteṡis› s. f. [traslitt. del gr. μάϑησις, dal tema μαϑ- di μανϑάνω «imparare»]. – Termine che significa propriam. «apprendimento, conoscenza», adottato nel linguaggio filosofico e matematico con il sign. di «scienza matematica»,...