Discussione:Geometria non euclidea

	Questa voce rientra tra gli argomenti trattati dal progetto tematico sottoindicato. Puoi consultare le discussioni in corso, aprirne una nuova o segnalarne una avviata qui.
Matematica bar di progetto monitoraggio voci

	La voce non è stata ancora monitorata, fallo ora!
nc Nessuna informazione sull'accuratezza dei contenuti. (che significa?) nc Nessuna informazione sulla scrittura. (che significa?) nc Nessuna informazione sulla presenza di fonti. (che significa?) nc Nessuna informazione sulla presenza di immagini o altri supporti grafici. (che significa?)

Gentile Autore, desidero farLe notare che nella storia delle geometrie non euclidee mancano i seguenti contributi: Omar Kajjam (il famoso 'quadrilatero di Kajjam' su cui lavorò Nassin Eddin al-Tush quando era alla corte di Ulag Kan)e Lobacevskij. Si tratta di contributi assolutamente decisivi alla formazione della nuova geometria e consiglierei di completare la voce. Inoltre Bojlai non era affatto un diettante e scoprì queste geometrie contemporameamente a Lobacevskij; smise di occuparsi di matematica quando Gauss gli mostrò i suoi appunti, mai pubblicati, nel quali era arrivato alle medesime conclusioni. Saccheri era un gesuita che, spaventato dalla sua stessa scoperta, scrisse il libro citato per dimostrare di non avere scoperto nulla.Non sono direttamente intervenuto sul testo per darLe modo di documentarsi e farlo Lei stesso.PS

qui non c'è l'"Autore" di una voce, e chiunque può migliorarla. In effetti la mancanza della citazione di Nikolai Ivanovich Lobachevsky nella voce è pesante. I contributi di Omar Khayyam sono molto minori, e possono tranquillamente stare all'interno dei cenni storici, come ho fatto adesso. -- .mau. ✉ 16:17, 14 dic 2006 (CET)

Decidibilità

Un paragrafo inserito oggi inizia con:

In un qualunque sistema formale, cose dimostrabili sono sempre vere e, soprattutto, cose sempre vere sono dimostrabili. Pertanto il V postulato di Euclide (VP) o è dimostrabile, quindi sempre vero, oppure non è dimostrabile, dunque falso in qualche caso.

Non è vero che le cose vere sono sempre dimostrabili, si vedano i Teoremi di incompletezza di Gödel. Ylebru dimmela 11:03, 24 dic 2007 (CET)

Azzardo una interpretazione che rende la frase vera: in qualunque teoria del primo ordine per il teorema di completezza gli enunciati dimostrabili sono veri in ogni modello e gli enunciati veri in ogni modello sono dimostrabili. Quindi il V postulato di Euclide o è dimostrabile dai primi 4 oppure esistono modelli dei primi 4 in cui il V è falso.--Pokipsy76 15:45, 3 gen 2008 (CET)

Sipperò dubito che si possano formalizzare gli assiomi di Euclide con una logica del prim'ordine (che in particolare deve essere "più semplice dei numeri naturali") Certo che di logica proprio non mi ricordo nulla... Ylebru dimmela 16:12, 3 gen 2008 (CET)

E' vero, non si può, neppure gli assiomi di Hilbert vanno bene, quelli di Tarski però sì.--Pokipsy76 17:23, 3 gen 2008 (CET)

maggiori chiarmienti

Quando dice che l'esistenza di una parallela è dimostrata dai primi 4 postulati, potrebbe dare qualche maggiore spiegazione? Nonostante venga accennato più avanti nel discorso, preferirei una dimostrazione leggermente più completa, o almeno una traccia.

nonna papera

perchè nelle primissime righe si parla di euclide e viene chiamato nonna papera!! è un errore!!

Era un vandalismo di un simpatico anonimo che non aveva trovato nulla di più divertente da fare. Ho ripristinato il testo precedente, grazie per la segnalazione. Fabius aka Tirinto 19:59, 5 mag 2008 (CEST)

Wikibooks

La pagina linkata a fine voce in "Altri progetti" ( it.wikibooks.orgwiki/Geometria_non_euclidea ) non esiste. — Questo commento senza la firma utente è stato inserito da 79.45.242.191 (discussioni · contributi) 19:32, 20 ott 2008 (CEST).

Fatto Con un po' di ritardo ho risolto il problema. FRANZ LISZT 18:38, 10 gen 2010 (CET)

Scomparsa

Scusate mi pare sia scomparso Lobacevskij dalla trattazione, e non è poco. E chiamare Bolyai 'dilettante' è quantomeno crassa insipiensa. Ma chi autorizza questa incompetenza che dà false informazioni al lettore? — Questo commento senza la firma utente è stato inserito da 87.17.138.48 (discussioni · contributi).

Puoi effettuare tu le modifiche alla voce, purché ben documentate e circostanziate. --Dedda71 (msg) 14:59, 10 dic 2008 (CET)

POSTULATO 1!

È "per un punto passano infinite rette" e non 1!

Collegamenti esterni modificati

Gentili utenti,

ho appena modificato 1 collegamento/i esterno/i sulla pagina Geometria non euclidea. 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/20090625104646/http://www.codas.it/home2/index.php?option=com_docman&task=doc_download&gid=60&Itemid=67 per http://www.codas.it/home2/index.php?option=com_docman&task=doc_download&gid=60&Itemid=67

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

Saluti.—InternetArchiveBot (Segnala un errore) 10:00, 3 dic 2017 (CET)