Dyskusja:Teoria rekursji

Warto by tu coś wspomnieć o dowodzeniu przez indukcję matematyczną, ale trzeba by to umiejętnie wpleść.

Obliczalność

"Jak widac pojęcie obliczalności jest nieścisłe i jako takie może być rozumiane wyłącznie w sposób intuicyjny, nieformalny."

Pojęcie to jest ściśle zdefiniowane w teorii obliczeń. Inaczej nie byłoby tezy Churcha-Turinga, która mówi, że każda funkcja obliczalna w intuicyjnym sensie jest obliczalna (przez maszynę Turinga). --Smokopilomidanek 19:57, 17 gru 2006 (CET)

ok, usunąłem to zdanie jako mylące Kuszi (dyskusja) 13:12, 19 sty 2011 (CET).