Arhive zilnice: 8 iunie 2019

Pune-i tu titlul…

Dragostea asta suferă de indecidabilitate. În logică (culmea ironiei, aplic logica în nebunia d-aici) e o problemă ce nu poate fi rezolvată printr-un algoritm. Printr-un număr finit de paşi.

Aritmetica lui Peano  e şi ea indecidabilă. Plină de un formalism logic rafinat şi precis. Toată aritmetica bazată pe trei noțiuni: număr natural, zero, succesiv. Şi cinci axiome superbe. Ca un sărut.

1 e un număr.

Succesorul unui număr e tot un număr.

Dacă două numere au succesori egali, sunt egale.

Numărul succesiv altui număr nu poate fi 1.

Orice clasă care îl conține pe 1 şi pe succesorul lui n atunci când îl conține pe n, va conține clasa numerelor.

Frumoasă ca un poem! Rigoare care care exclude orice apel la intuiție!

Şi, totuşi, ce n-are Peano în aritmetica lui şi e peste măsură în această dragoste? Indefinitul. Adică infinitul potențial. Opusul simultan al finitului şi al infinitului.