Skupni prikaz svih dostupnih evidencija projekta Hrvatska internetska enciklopedija. Možete suziti prikaz odabirući tip evidencije, suradničko ime ili stranicu u upitu.
- 00:00, 7. studeni 2025. Suradnik10 razgovor doprinosi stvara stranicu Nepotpunost aritmetike (Stvorena nova stranica sa sadržajem: »'''Nepotpunost aritmetike''' dokazao je matematičar Kurt Gödel. U radu iz 1931. godine kojim je srušio nade Hilbertovog programa dokazivanja konzistentnosti aritmetike (Drugi Hilbertov problem: Dokazati konzistentnost aritmetike<ref> Mladen Vuković i Petar Gregorek: [http://e.math.hr/category/klju-ne-rije-i/matemati-ka-logika '' matematička logika. Goedelovi teoremi nepotpunosti -- 90 godina poslije.''], math.e...«.)