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 [...] di un insieme finito è finito'.
Scegliendo in modo opportuno i problemi irrisolti è anche possibile fornire un controesempio debole all'enunciato: 'per ogni numero reale x, x⟨0 oppure x=0 oppure x>0'. Brouwer utilizzò questi esempi per mostrare la ...
Leggi Tutto
In senso ampio e generico, ramo della matematica che studia lo spazio e le figure spaziali.
Cenni storiciL’antichità
- L’origine della g. è legata a concreti problemi di misurazione del terreno (nacque [...] sull’algebra e sull’analisi.
Le g. secondo la classificazione di Klein
Il criterio di Klein per classificare le g., enunciato nel programma di Erlangen, consiste nel porre a fondamento di una g. un gruppo di trasformazioni, detto gruppo fondamentale ...
Leggi Tutto
FUNZIONE (XVI, p. 185)
Luigi AMERIO
Funzioni di più variabili complesse. - La teoria delle f. di più variabili complesse ha ricevuto negli ultimi decennî sviluppi notevolissimi, che ne hanno permesso [...] in Yn e l'integrale
ha la traiettoria limitata, allora anche la funzione F (t) risulta q. p. (teorema di Bohr).
Lo stesso enunciato sussiste se f(t) è a valori in uno spazio hilbertiano B (v. spazio, in questa App.).
Se invece B è uno spazio di ...
Leggi Tutto
Fondamenti della matematica e teoria algoritmica dell'informazione
Gregory J. Chaitin
Ciò che possiamo dimostrare intorno ai fondamenti della matematica usando i suoi stessi metodi costituisce la metamatematica, [...] ora la storia della materia, iniziando con un pregevole pezzo d'antiquariato: il primo teorema di incompletezza, enunciato e dimostrato da Kurt Gödel nel 1931.
Fissiamo la nostra teoria assiomatica formale come sopra descritto e chiediamoci ...
Leggi Tutto
Mauro Palma
Maryam Mirzakhani
Quando la matematica è donna
Da Teheran a Harvard, la prima donna ad aver vinto la medaglia Fields, il più prestigioso riconoscimento nella ricerca matematica, a 37 anni [...] completare gli studi con il conseguimento del dottorato negli Stati Uniti, a Harvard nel 2004, con una tesi in cui ha enunciato una formula ricorsiva per il calcolo del volume Vg,n dello spazio dei moduli di superfici iperboliche di Riemann di genere ...
Leggi Tutto
Nella meccanica classica, un sistema con N gradi di libertà e hamiltoniana H(pi,qi) (con i=1, 2, ..., N) che esegue un moto limitato nel suo spazio delle fasi, Γ2N, è detto i. se esistono N integrali primi [...] conferendo a esso buone proprietà ergodiche. Una migliore comprensione di questa problematica è stata raggiunta con un teorema, enunciato nel 1954 dal matematico sovietico A.N. Kolmogorov e successivamente dimostrato e generalizzato da V.I. Arnold e ...
Leggi Tutto
Algebra
Irving Kaplansky
sommario: 1. Introduzione. 2. Gruppi in generale. 3. Gruppi semplici finiti. 4. Gruppi infiniti. 5. Gruppi liberi. 6. Gruppi abeliani infiniti. 7. Anelli in generale. 8. Corpi. [...]
Molta attenzione richiede il dimostrare che ogni sottogruppo di un gruppo libero è libero. Sotto ipotesi di finitezza si può migliorare l'enunciato dicendo che, se G è libero con n generatori ed H è un sottogruppo di G di indice k (ciò significa che ...
Leggi Tutto
La scienza in Cina: dai Qin-Han ai Tang. La matematica
Alexei Volkov
Karine Chemla
Qu Anjing
La matematica
Le bacchette
di Alexei Volkov
Il sistema di numerazione cinese, sistema decimale e principio [...] di bu e lungo 3/5 di bu (1 bu=6 chi=1,38 m ca.). Si chiede quanto è grande il campo". Così, nell'enunciato di un problema interviene di solito una situazione particolare. Il confronto tra il problema che segue, che richiede una somma di frazioni, e l ...
Leggi Tutto
Scienza indiana. La scienza nella cultura indiana
Frits Staal
La scienza nella cultura indiana
Il concetto di scienza e la classificazione delle scienze
Per designare le conoscenze sistematiche indiane [...] l'elemento che è sostituito e che quindi è espresso dal caso nominativo. Gli usi metalinguistici degli altri tre casi sono enunciati da tre metaregole (ibidem, 1.1.49, 66 e 67) che riguardano rispettivamente il genitivo, il locativo e l'ablativo:
(1 ...
Leggi Tutto
Biologia
L’attività propria di una cellula, o di una sua parte, o di un organo, o di un sistema organico. Oggetto di studio della fisiologia, è intimamente legata alla forma o struttura, oggetto di studio [...] funzionale, afferma che, data una qualunque f. di verità f a n argomenti, per ogni n esiste uno schema di enunciato costruito nel linguaggio simbolico usando solo, quali connettivi, la negazione e la congiunzione, o la negazione e la disgiunzione, o ...
Leggi Tutto
enunciato
s. m. [propr., part. pass. di enunciare, sostantivato con valore neutro]. – In generale, le parole con cui si enuncia una questione, un problema, un argomento: formulare, dettare l’e. del tema d’italiano; in partic., e. di un teorema,...
enunciare
(o enunziare) v. tr. [dal lat. enuntiare, comp. di e-1 e nuntiare «annunciare», der. di nuntius «messaggio»] (io enùncio o enùnzio, ecc.). – Esprimere, manifestare un concetto, esporre lo stato di una questione, per lo più con una...