Hilbert II 0.04.06
Hilbert II projesi doğrulanmış ve okunabilir matematik bilgisine ademi erişim olduğunu. Bu isim zaten anlaşılacağı gibi, bu proje, Hilbert'in programının geleneğinde olduğunu. Hilbert II resmi doğru biçimde matematiksel teorem ve ispatları içeren...