Discussione:Assioma (matematica)

L'assioma di uguaglianza è presentato come esempio di assioma logico ma non è un assioma logico, neanche secondo la definizione che viene data, infatti la sua verità dipende da come viene interpretato il simbolo "=".--Pokipsy76 13:17, 23 mar 2006 (CET)

Assiomi logici

La definizione che viene data non è corretta: non si può definire un assioma logico come un assioma valido con ogni interpretazione. Gli assiomi logici hanno questa proprietà ma non sono gli unici enunciati ad averla.--Pokipsy76 13:21, 23 mar 2006 (CET)

link

Segnalo un paio di link a sezioni inesistenti della voce Logica matematica. Chi se ne intende è pregato di correggerli. Grazie --“Ricordati…” 22:39, 25 mar 2006 (CET)

1. Logica_matematica#Consistenza (2)
2. Logica_matematica#Funzione_di_assegnazione_alle_variabili (1)
3. Logica_matematica#Implicazione_logica (1)
4. Logica_matematica#Insieme_ricorsivo (1)
5. Logica_matematica#Regole_di_inferenza (1)
6. Logica_matematica#Verità (2)

Critica all'utilizzo di assioma e di postulato come sinonimi.

Sembra non corretto considerare sinonimi i vocaboi Assioma e Postulato. Il primo ha (od almeno, aveva sino a che ci fu rispetto per la lingua italiana) il significato di "Affermazione di verità evidente, vera si per sé, non dimostrabile", mentre postulato indica una affermazione che viene assunta(ipotizzata) vera e sta alla base di una costruzione logica.--79.21.171.250 (msg) 12:15, 21 nov 2012 (CET)Stefano Benetti 21/11/2012

(Spero si faccia così a commentare ...) Concordo pienamente, ed infatti stavo andando a commentare come segue.

La definizione di assioma mi pare fuorviante, perché lascia intendere che che un assioma "è vero", mentre da punto di vista matematico è pressoché irrilevante che sia vero (ma non lo è dal punto di vista "metamatematico").

Io proporrei di dare così le definizioni e i relativi commenti (con i vari link per le singole voci): «Un assioma è una proposizione che si assume vera a priori. Si noti che non interessa che sia di fatto vera: infatti vi sono, per esempio, tre geometrie non euclidee diverse con tre assiomi che si escludono a due a due: ovviamente se è vero uno dei tre assiomi sono necessariamente falsi gli altri due.

Un postulato è un assioma che si “postula” vero, cioè che si crede che sia vero in pratica. Probabilmente oggi introdurre dei postulati è più un fatto di “metamatematica” che di matematica, dal momento che in matematica sono stati sostituiti del tutto dagli assiomi.»— Questo commento senza la firma utente è stato inserito da Gaspero Domenichini (discussioni · contributi) 00:09, 13 lug 2016‎ (CEST).

Collegamenti esterni modificati

Gentili utenti,

ho appena modificato 1 collegamento esterno sulla pagina Assioma (matematica). Per cortesia controllate la mia modifica. Se avete qualche domanda o se fosse necessario far sì che il bot ignori i link o l'intera pagina, date un'occhiata a queste FAQ. Ho effettuato le seguenti modifiche:

• Aggiunta del link all'archivio https://web.archive.org/web/20050305130234/http://metamath.planetmirror.com/mpegif/mmset.html per http://metamath.planetmirror.com/mpegif/mmset.html

Fate riferimento alle FAQ per informazioni su come correggere gli errori del bot.

Saluti.—InternetArchiveBot (Segnala un errore) 18:51, 16 feb 2019 (CET)