Autocad programından önce tasarımın nasıl yapıldığını sizde merek etmiyor musunuz? Ben bu konuda merak ettim …
Devamını Oku »Gödel’in Eksiklik Teoremi
Kurt Gödel’le aynı çağda yaşayan ünlü Alman matematikçi David Hilbert, matematik konuları içerisinde yer alan bütün ispatların, belirli bir sabit yöntem yada yöntemler bütünüyle, kısacası “aksiyomatik” bir sistematik aracılığıyla elde edilebileceğini savunuyordu ve bu düşünce çerçevesinde çalışmalar yapmaya başladı. Temel aritmetikteki bütün doğruları, aksiyomlarından türetebilir ise, matematikte yer alan bütün doğruları da bu aksiyom yapılarını kullanarak ortaya çıkarabilecekti.
Devamını Oku »