Hilbert II 0.04.06
Hilbert II layihəsi təsdiq və oxunaqlı riyazi bilik sərbəst çıxış edir. Adı artıq təklif kimi, bu layihə Hilbert proqramı ənənə var. Hilbert II rəsmi düzgün formada riyazi teoremləri və sübutlar olan bir pulsuz, dünyada riyazi bilik bazası olmaq istəyir....