Dyskusja:Teoria rekursji
Z Wikipedii
Warto by tu coś wspomnieć o dowodzeniu przez indukcję matematyczną, ale trzeba by to umiejętnie wpleść.
[edytuj] 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)