Tarski
Tarski Alfred (Varsavia 1901 - Berkeley, California, 1983) logico e matematico polacco. Di origine ebraica, nel 1923 cambiò il cognome originario, Teitelbaum, in Tarski. Nello stesso anno ottenne [...] teoria dei modelli; importanti sono anche i suoi risultati sulla → categoricità, le generalizzazioni del teoremadi → Löwenheim-Skolem, e il metodo di decisione per la geometria e l’algebra elementare. Opere principali: Introduzione alla logica (1951 ...
Leggi Tutto
paradosso
paradosso (dal greco pará, «oltre, contro», e dóxa, «opinione») termine applicato, nella sua accezione più ampia, a qualsiasi affermazione o ragionamento che contrasti con l’opinione comune [...] il massimo numero cardinale.
È riconducibile a questa classe di paradossi anche l’antinomia diLöwenheim-Skolem (1923), nota come paradosso diLöwenheim-Skolem (→ Löwenheim-Skolem, teoremadi), che concerne l’estensione alla teoria degli insiemi del ...
Leggi Tutto
Lowenheim Leopold
Löwenheim 〈lö´vënhàim〉 Leopold [STF] (Krefeld 1878 - Berlino 1940) Prof. di matematica nel liceo di Berlino-Lichtenberg. ◆ [ALG] [FAF] Teoremadi L.: un'espressione in cui non occorrono [...] variabili predicative poliadiche, ma solo k monadiche, ammette un modello se e solo se ne ammette uno di cardinalità 2k. ◆ [ALG] [FAF] Teoremidi L.-Skolem: v. logica: III 485 e. ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia
Ettore Casari
La scuola di Leopoli-Varsavia
Gli inizi
La singolare vicenda intellettuale divenuta nota come 'Scuola [...] fondamentale teoremadi Lindenbaum secondo cui ogni insieme consistente di proposizioni di quei risultati, concetti e metodi che costituivano di fatto il patrimonio di informazioni accumulate in un modo o nell'altro da figure come Löwenheim, Skolem ...
Leggi Tutto
Discreto e continuo
Paolo Zellini
Matematica e intuizione
La matematica ha sempre cercato di stabilire un nesso tra il continuo e il discreto, il primo esemplificato, tipicamente, nelle figure dello [...] continuo è superiore a quella del numerabile. Un fatto di cui il celebre teorema (dimostrato tra il 1915 e il 1920) del matematico tedesco Leopold Löwenheim e del collega norvegese Thoralf A. Skolem («ogni teoria del primo ordine che abbia un modello ...
Leggi Tutto
Logico tedesco (n. 1878 - m. 1957); docente in un liceo di Berlino, fu sospeso (1934) dall'insegnamento per motivi razziali, e poi reintegrato (1946). Ha dato contributi fondamentali alla logica, a cui [...] , allora ha un modello il cui dominio è al più numerabile. Questo risultato fu in seguito generalizzato da T. A. Skolem e prese il nome diteoremadi L.-Skolem. Ha scritto anche: Einkleidung der Mathematik in Schröderschen Relativkalkül (1940). ...
Leggi Tutto