Discussione:Geometria non euclidea

message: 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)

message: 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)
replies: text: 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)
replies: text: 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)
replies: text: E' vero, non si può, neppure gli assiomi di Hilbert vanno bene, quelli di Tarski però sì.--Pokipsy76 17:23, 3 gen 2008 (CET)
thread_title:  Decidibilità 

message: 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)
thread_title:  nonna papera 

message: La pagina linkata a fine voce in "Altri progetti" ( it.wikibooks.orgwiki/Geometria_non_euclidea ) non esiste. 
: Fatto Con un po' di ritardo ho risolto il problema. FRANZ LISZT 18:38, 10 gen 2010 (CET)
thread_title:  Wikibooks 

message: 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? 
:Puoi effettuare tu le modifiche alla voce, purché ben documentate e circostanziate. --Dedda71 (msg) 14:59, 10 dic 2008 (CET)
thread_title:  Scomparsa 

message: 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)
thread_title:  Collegamenti esterni modificati