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 [...] rese conto che la nozione di sequenza di scelta (che compare in un contesto piuttosto diverso nella discussione di Borel sull'assioma di scelta) poteva essere legittimata dal suo punto di vista offrendo tutti i vantaggi di una 'teoria aritmetica' del ...
Leggi Tutto
Introduzione. - La teoria delle c. è di recente costruzione, ma, per la sua stessa natura, è oggi già penetrata diffusamente nella matematica. Essa rappresenta, nel pensiero matematico, un momento di sintesi, [...] e g ∈ homC(B, C) (∈ sta per "appartiene"), un elemento di homC(A, C) che s'indica con gf.
Questi dati devono esser soggetti ai seguenti assiomi: (a) Se 〈A, B> e 〈C, D> sono coppie distinte, homC(A, B) e homC(C, D) siano privi di elementi comuni ...
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 [...] sua simbologia logico-matematica alla fondazione rigorosa dell'aritmetica (fanno qui la loro prima comparsa i famosi "assiomi peaniani" per l'aritmetica elementare), oltre ad un analogo volumetto dedicato ai Principi di geometria, logicamente esposti ...
Leggi Tutto
CIPOLLA, Michele
Francesco Saverio Rossi
Nato a Palenno il 28 ott. 1880 da Luigi e da Rosaria Moncada, dopo aver seguito con onore, gli studi medi superiori nel liceo della sua città, iniziò quelli [...] : "Dato un insieme qualsiasi, ad ogni sottinsieme dì esso può farsi corrspondere uno dei suoi elementi". Ma tale assioma, del quale alcuni matematici si affrettarono a fare un uso incondizionato nei loro ragionamenti, non era esente da critiche ...
Leggi Tutto
L'Eta dei Lumi: matematica. Matematica pura e applicata nel XVIII secolo
Ivor Grattan-Guinness
Matematica pura e applicata nel XVIII secolo
Nel presente volume la determinazione cronologica 'Settecento' [...] di curvatura di una linea, e di una superficie, nel piano o nello spazio.
Nella geometria euclidea, le alternative all'assioma di Euclide sulle parallele ‒ secondo il quale, data una linea, per un punto a essa esterno può essere tracciata una ...
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. [...] in latino classico Arithmetices principia nova methodo exposita è la più famosa fra le opere di Peano, sia per i celebri assiomi sui numeri naturali, sia per l’uso del simbolismo logico per delineare i fondamenti dell’aritmetica.
Dopo aver assunto i ...
Leggi Tutto
L'Universo matematico
John D. Barrow
(Astronomy Centre, University of Sussex, Brighton, Gran Bretagna)
Parte di questo saggio è stata pubblicata sotto il titolo Perché il mondo è matematico? Roma-Bari, [...] per misurarle. C'è infine la tradizione del logicismo, che cerca di codificare tutto il nostro sapere in un sistema di assiomi e di regole di inferenza, e che definisce la conoscenza come l'insieme di tutti i possibili sistemi deduttivi logicamente ...
Leggi Tutto
Misura e integrazione
M. Evans Munroe
Introduzione
La nozione di integrale viene spesso introdotta considerando il problema di determinare l'area racchiusa da una curva, prendendo un limite di somme [...] ) nulla. È stato dimostrato che l'esistenza di insiemi non misurabili secondo Lebesgue è logicamente equivalente all'assioma della scelta.
Mediante il procedimento indicato dianzi si possono costruire molte altre misure specifiche. In generale, tutto ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] ' dalla grammatica è l'insieme delle parole sull'alfabeto terminale che si possono derivare a partire da un simbolo iniziale detto 'assioma'.
Per esempio, la grammatica con una variabile σ e due simboli terminali +, v, e con le due regole σ→+vv e ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'emergere della concezione strutturale in algebra
Leo Corry
L'emergere della concezione strutturale in algebra
Il punto di vista strutturale [...] . Moduli e ideali non sono per Dedekind strutture algebriche analoghe ai campi, dei quali non soddisfano tutti gli assiomi che li definiscono. Mentre i numeri che appartengono ai campi rimangono sempre l'obiettivo del suo interesse, le proprietà ...
Leggi Tutto
assioma
assiòma s. m. [dal lat. tardo axioma -ătis, gr. ἀξίωμα -ατος der. di ἄξιος «degno»] (pl. -i). – Nel linguaggio com., verità o principio che si ammette senza discussione, evidente di per sé. In filosofia, principio certo per immediata...
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),...