non desarguesiano
nón desarguesiano 〈desarg✄esiano〉 [locuz. agg.] [ALG] Geometria n.: una geometria proiettiva piana nella quale non vale il teorema di Desargues sui triangoli omologici; analogamente [...] per le nozioni di questa geometria, quale, per es., quella di piano non desarguesiano ...
Leggi Tutto
Pohlke Karl Wilhelm
Pohlke 〈póolkë〉 Karl Wilhelm [STF] (Berlino 1810 - ivi 1876) Prof. della Reale Accademia di architettura di Charlottenburg (1865). ◆ [ALG] Teorema di P.: dati comunque in un piano [...] , tali segmenti si possono sempre considerare come proiezioni, secondo una determinata direzione λ, di tre segmenti OA, OB, OC tra loro uguali e a due a due ortogonali uscenti da uno stesso punto O. È il teorema fondamentale dell'assonometria. ...
Leggi Tutto
tesi
tèsi [Der. del lat. thesis, dal gr. thésis "posizione, cosa che viene posta", da títhemi "porre, collocare"] [ALG] [ANM] T. di un teorema: la proposizione che il teorema tende a dimostrare, a cui [...] si perviene attraverso una catena di deduzioni, partendo da un'altra proposizione che si suppone valida sin dall'inizio (ipotesi) ...
Leggi Tutto
pascaliano
pascaliano [agg. Der. del cognome di B. Pascal] [ALG] Geometria p.: la geometria di uno spazio grafico nel quale sia verificato il teorema di Pappo-Pascal (→ Pascal, Blaise) o, in altri termini, [...] nel quale sussista la commutatività del corpo nel quale si scelgono le coordinate dei punti; se il teorema detto non è verificato, si ha una geometria non pascaliana. ...
Leggi Tutto
Capelli Alfredo
Capélli Alfredo [STF] (Milano 1855 - Napoli 1910) Prof. di algebra nell'univ. di Palermo (1881) e poi (1884) di Napoli. ◆ [ALG] Matrice di C.: v. oltre: Teorema di Rouché-Capelli. ◆ [ALG] [...] che caratterizza i generatori del centro dell'algebra inviluppante: v. invarianti, teoria degli: III 286 f. ◆ [ALG] Teorema di Rouché-C.: un sistema di m equazioni lineari in n incognite è compatibile se, e soltanto se, il rango della matrice dei ...
Leggi Tutto
Pitagora
Pitàgora [STF] Matematico e filosofo del 6° sec. a.C., nato a Samo e trasferitosi poi nella Magna Grecia, a Crotone. ◆ [ALG] Teorema di P.: uno dei primi teoremi della geometria classica, secondo [...] sull'ipotenusa di un triangolo rettangolo è equivalente alla somma dei quadrati costruiti sui cateti; ha numerose generalizzazioni (teorema di P. generalizzato, n-dimensionale, ecc.) ed è alla base del concetto di distanza negli spazi euclidei o ...
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] Teorema di 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] Teoremi di L.-Skolem: v. logica: III 485 e. ...
Leggi Tutto
Sylow
Sylow 〈sü´lou〉 Peter Ludwig Mejdell [STF] (Cristiania, odierna Oslo, 1832 - ivi 1918) Prof. di matematica nell'univ. di Cristiania (1897). ◆ [ALG] Primo teorema di S.: se un gruppo ha ordine divisibile [...] per pr, con p numero primo, esso contiene sottogruppi di ordine pr. ◆ [ALG] Secondo teorema di S.: se pm è la massima potenza di un numero primo p che sia divisore dell'ordine di un gruppo G, i sottogruppi di G di ordine pm sono trasformabili l'uno ...
Leggi Tutto
Staudt Karl Georg Christian von
Staudt 〈stàut〉 Karl Georg Christian von [STF] (Rothenburg 1798 - Erlangen 1867) Prof. di matematica nell'univ. di Erlangen (1835). ◆ [ALG] Teorema di S., o teorema fondamentale [...] della geometria proiettiva sopra la retta: esiste una e una sola proiettività sopra una retta che muti tre punti distinti prefissati in altri tre punti distinti prefissati ...
Leggi Tutto
m-completo
m-complèto 〈èmme-〉 [agg. Comp. del simb. m e completo] [ALG] Insieme m.: tipo particolare di insieme ricorsivamente enumerabile: v. Gödel, teorema di: III 57 d. ...
Leggi Tutto
teorema
teorèma s. m. [dal lat. tardo theorēma, gr. ϑεώρημα (propr. «ricerca, meditazione», der. di ϑεω-ρέω «esaminare, osservare»)] (pl. -i). – 1. Nella cultura classica e medievale, la «visione» sensibile o intellettiva e il relativo oggetto,...
inverso1
invèrso1 agg. e s. m. [dal lat. inversus, part. pass. di invertĕre «invertire»]. – 1. agg. Contrario, opposto, rovescio rispetto a un altro, rispetto al precedente, rispetto a ciò che è abituale: facciamo ora il caso i.; rifare il...