L'Ottocento: matematica. Meccanica analitica
Helmut Pulte
Meccanica analitica
La meccanica analitica è una branca della meccanica razionale la quale, dopo i primi passi compiuti nel XVII sec., ebbe [...] di assiomadella meccanica" (Lagrange 1788, p. 12).
Tutte le più importanti conseguenze del principio delle velocità totale o il lavoro virtuale nel caso dell'equilibrio non si annulla, ma (con un'opportuna scelta dei segni) diventa negativo:
[4*] ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Giuseppe Peano
Clara Silvia Roero
Negli ultimi decenni dell’Ottocento e nei primi del Novecento le ricerche matematiche, logiche e linguistiche di Giuseppe Peano ebbero una straordinaria eco internazionale. [...] Vacca, Vailati, Mario Pieri e Benedetto Croce. L’emergere delle antinomie della teoria degli insiemi e i dubbi sull’utilizzo dell’assioma di scelta – temi di grande risonanza dopo l’uscita delle Cinq lettres sur la théorie des ensembles di René Baire ...
Leggi Tutto
Libero atto di volontà per cui, tra due o più offerte, proposte, possibilità o disponibilità, si manifesta o dichiara di preferirne una (in qualche caso anche più di una), ritenendola migliore, più adatta [...] logicamente all’assioma di scelta. Nel 1890 G. Peano incidentalmente diede una formulazione di questo assioma. Nel 1902 inserì per la prima volta il postulato della s. tra gli assiomidella teoria assiomatica degli insiemi (postulato di Zermelo ...
Leggi Tutto
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 [...] primi livelli, implica che esiste un modello con un insieme misurabile. In effetti, in congiunzione con l'assiomadellescelte dipendenti (Solovay) implica addirittura che ω1 è misurabile: l'insieme dei sottoinsiemi chiusi illimitati è un ultrafiltro ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] ancora non dimostrata, come l'ipotesi di Riemann. X è un sottoinsieme dell'insieme finito {1, 2}, ma non possiamo provare che X è finito di scelta (che compare in un contesto piuttosto diverso nella discussione di Borel sull'assioma di scelta) poteva ...
Leggi Tutto
selettivo
selettivo [agg. Der. dell'ingl selective, da to select (→ selettività)] [LSF] Che presenta una maggiore o minore selettività: risonatore meccanico poco s., ricevitore radio molto s.; in partic., [...] con modalità particolari, quasi per una scelta tra tutte le modalità a priori possibili: l'assorbimento di radiazioni è in genere s., riflessione s. della luce da parte di un corpo colorato, ecc. ◆ [ALG] [FAF] Insieme s.: → scelta: Assioma di scelta. ...
Leggi Tutto
spazio Sostantivo polisenso che designa in generale un’estensione compresa tra due o più punti di riferimento. Può essere variamente interpretato a seconda che lo si consideri dal punto di vista filosofico, [...] analitici e sintetici della matematica. Per Riemann lo s. è una struttura tridimensionale, ma il sistema di assiomidella sua geometria linea retta nel moto dei corpi. La sceltadella relatività generale di includere la gravitazione nella geometria ...
Leggi Tutto
Insieme di procedimenti matematici atti a dare la soluzione di un dato problema.
Informatica
Sistemi di c. Complesso di unità periferiche con le quali e per mezzo delle quali un calcolatore, specialmente [...] .
C. logistico È un sistema che consta di: a) un insieme di espressioni primitive, o assiomi, cioè di espressioni scelte nell’insieme delle espressioni (la scelta avviene in base alle finalità che la costruzione del c. si propone), b) un insieme di ...
Leggi Tutto
Geometria
Ryoichi Kobayashi e Luigi Ambrosio
Giovanni Bellettini
(XVI, p. 623; App. III, i, p. 724; IV, ii, p. 39; V, ii, p. 391)
Numerose voci dell'Enciclopedia Italiana trattano i vari oggetti e [...] descrive una relazione tra rette e punti, appartiene all'insieme degli assiomidella g. euclidea. Essa viene tradotta nella g. cartesiana come da un punto a un altro dipende dalla sceltadelle curve che connettono questi punti. La nozione di ...
Leggi Tutto
L'evoluzione temporale dei sistemi - in particolare di quelli deterministici, cioè tali che la conoscenza del sistema a un dato istante ne determina tutta l'evoluzione futura - è stata negli ultimi decenni [...] esistenza e l'unicità di una curva regolare passante per il punto scelto; questa viene detta orbita del punto. È tuttavia sempre più assicurando che almeno una parte delle proprietà fondamentali dei sistemi assioma A sono conservate. Più tardi, ...
Leggi Tutto
scelta
scélta s. f. [der. di scelto, part. pass. di scegliere]. – 1. a. Libero atto di volontà per cui, tra due o più offerte, proposte, possibilità o disponibilità, si manifesta o dichiara di preferirne una (in qualche caso anche più di una),...
padanista
s. m. e f. e agg. Chi o che sostiene l’autonomia della Padania. ◆ «Non leggo la Padania», sbuffa lui, «La verità è che non mi hanno lasciato scelta. La nostra gente mi conosce. Sa che io sono autonomista da sempre. Che ho creduto...