logo
logo

logo
-
/ 5
votes

A computer science version of Gödel's theorem