Intuizionismo
AArend Heyting
di Arend Heyting
Intuizionismo
sommario: 1. Concetti fondamentali. 2. Aritmetica elementare. 3. Il principio del terzo escluso. 4. I numeri reali. 5. Ineguaglianza e separazione [...] io posso fissare la mia teoremi.
Ogni specie dipunti localizzata chiusa e limitata coincide con un ‛ventaglio dipunti canonico.
La chiusura di un ventaglio dipunti canonico coincide con un complemento di regione localizzato.
Un ventaglio dipunti ...
Leggi Tutto
Scienza greco-romana. La geometria da Apollonio a Eutocio
Reviel Netz
La geometria da Apollonio a Eutocio
Il periodo di formazione del canone geometrico greco si estende dal 200 a.C. al 550 d.C., come [...] ragione il problema è il seguente: date due rette e fissato un punto su ciascuna di esse, tracciare una retta passante per un punto dato e che stacchi su ciascuna retta segmenti (misurati dal puntofissato) che stanno tra loro in un rapporto dato. È ...
Leggi Tutto
Scienza greco-romana. Archimede
Reviel Netz
Archimede
Archimede è l’unico dei matematici greci di cui abbiamo notizie storiche; questa eccezionalità è dovuta in parte ai risultati da lui ottenuti, [...] costante fino a farla tornare di nuovo nella posizione dalla quale è partita, e insieme con la retta rotante si muove un punto sulla retta con velocità costante cominciando dall’estremo fisso [K], il punto descrive nel piano una spirale [KABΓ ...
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 [...] presupposto alcun particolare puntodi vista a proposito cui ℂ({α})=S.
Egli fissò poi il concetto di 'sistema deduttivo' chiamando così l'altro il fondamentale teoremadi Lindenbaum secondo cui ogni insieme consistente di proposizioni può essere ...
Leggi Tutto
scienze
Paolo Casini
Le mappe del sapere
La conoscenza umana è un intreccio di teorie e di pratiche in continua crescita e anche il termine scienza ha avuto via via significati mutevoli. Per orientarsi [...] sapere della mente dall’opera della mano e fissò una gerarchia tra i cultori delle varie scienze, seguendo le regole di chiarezza e distinzione proprie dei teoremi dell’algebra e della un mare di oggetti, dove alcuni emergono, come puntidi roccia che ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] la trasformata di Legendre al caso di dimensione infinita e sarà il puntodi partenza per definire il sottodifferenziale.
Il teoremadi Chow. della durata dell'anno tropico 1900, fissata dalle accuratissime effemeridi di cui si dispone per quell'anno. ...
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, [...] il primo teoremadi incompletezza, enunciato e dimostrato da Kurt Gödel nel 1931.
Fissiamo la nostra bit di X) è maggiore di N−c per ogni N. Un punto cruciale è che la rappresentazione in base due di Ω soddisfa questa definizione di casualità ...
Leggi Tutto
rete
réte s. f. [lat. rēte]. – 1. Intreccio di fili di materiale vario, incrociati e annodati tra loro regolarmente in modo che restino degli spazî liberi, detti maglie: il materiale (canapa, sparto, cocco e altre fibre vegetali; fibre artificiali;...
sistema
sistèma s. m. [dal lat. tardo systema, gr. σύστημα, propr. «riunione, complesso» (da cui varî sign. estens.), der. di συνίστημι «porre insieme, riunire»] (pl. -i). – 1. Nell’ambito scientifico, qualsiasi oggetto di studio che, pur...