Συνεισφορά χρήστη 195.251.210.253

5 Μαΐου 2010

• 08:0708:07, 5 Μαΐου 2010 διαφ. ιστορ. −19‎ Θεωρήματα μη πληρότητας του Γκέντελ ‎ →‎Σχέση με την υπολογισιμότητα
• 08:0308:03, 5 Μαΐου 2010 διαφ. ιστορ. −4‎ Θεωρήματα μη πληρότητας του Γκέντελ ‎ →‎Πρώτο θεώρημα μη-πληρότητας
• 08:0308:03, 5 Μαΐου 2010 διαφ. ιστορ. −4‎ Θεωρήματα μη πληρότητας του Γκέντελ ‎ →‎Υπόβαθρο