METAMATEMATICA
Alberto Pasquinelli
Aldo Marruccelli
. Il problema della metamatematica. - Come disciplina specifica, la m. deve la propria genesi (e la propria denominazione) a D. Hilbert, il quale [...] . D. Gergonne, K. F. Gauss, J. Bolyai, N. I. eliminazione dei quantificatori dagli assiomi e la sostituzione della logica didi questo metodo può essere riconosciuto il metododi A. Padoa, che già nel 1901 consentì di dimostrare l'indipendenza di ...
Leggi Tutto
NUMERICI CALCOLI (XXV, p. 29)
Enzo APARO
Generalità. - Il concetto di calcolo numerico si può introdurre da un punto di vista generale, come segue. Un insieme finito di oggetti, un insieme finito di [...] senz'altro m = n. Si fa distinzione fra due tipi dimetodidi risoluzione: a) metodi diretti, b) metodi iterativi. Fra i metodi del tipo a) citiamo i seguenti:
Metododieliminazione (o diGauss). - Sia a11 ≠ o. Sottraendo alla ha equazione la 1a ...
Leggi Tutto
eliminazioneeliminazione termine generico che indica la riscrittura in forma equivalente, ma più semplice, di una espressione matematica in cui compare un numero minore di termini. In algebra lineare, [...] chiama eliminazionediGauss il procedimento per la risoluzione numerica di un sistema di n equazioni lineari in n incognite, noto anche come metododiGauss (→ Gauss, metododi). In logica classica si introducono regole deduttive per l’eliminazione ...
Leggi Tutto
Gauss Karl Friedrich
Gauss 〈gàus〉 Karl Friedrich [STF] (Brunswick 1777 - Gottinga 1855) Prof. di astronomia nell'univ. di Gottinga e direttore del locale Osservatorio astronomico (1807). ◆ [ALG] Applicazione [...] ANM] Metododi G.-Seidel: v. calcolo numerico: I 409 b. ◆ [MTR] Metododi misurazione di G.: altra denomin. del metodo a a. ◆ [ANM] Sistema di G. dieliminazione: v. calcolo numerico: I 408 f. ◆ [ALG] Teorema di G. della decomposizione: v. ...
Leggi Tutto
BURALI FORTI, Cesare
Evandro Agazzi
Nacque ad Arezzo il 13 ag. 1861 da Cosimo e da Isoletta Guiducci. Dopo aver compiuto gli studi medi nel collegio militare di Firenze, s'iscrisse nel dicembre 1879 [...] , XLV(1909), pp. 4-22; Sulla rappresentazione sferica diGauss, in Atti d. Ist. veneto di sc. e lett., LIX(1909-10), pp. 693-723; Fondamenti per la geometria differenziale su di una superficie col metodo vettoriale generale, in Rend. d. Circ. mat ...
Leggi Tutto
pivot
〈pivó〉 s. m., fr. [propr. «perno», voce di origine incerta]. – 1. Giocatore di una squadra di pallacanestro, di solito molto alto, intorno al quale ruota il gioco di attacco di tutta la squadra e che assume essenzialmente il compito...