Grim napisał(a):A co, jeśli się mylisz i ta cała implikacja jest nieprawdziwa? Co jeśli okaże się, że to co rozpisywałeś jest błędne?Nie ma takiej możliwości bo poprawność NTI można łatwo udowodnić w świecie fizycznym tj. w "Labroratorium cyfrowych układów logicznych".
Tak więc najwieksi tego świata mogą zapomnieć o jakichkolwiek próbach obalania NTI. Obalenie algebry bramek logicznych jest po prostu niemożliwe ... bo to oznaczałoby że nasze komputery przestaną nagle działać z powodu że jakiś "matematyk" obalił NTI