LT^2C^2: Un linguaggio di pensiero con complessità di Turing-Kolmogorov computabile