section_heading: Izračunljive funkcije i lambda račun
paragraph_text: Funkcija <code>F: N → N</code> prirodnih brojeva je izračunljiva funkcija u <code>N</code>, <code>&nbsp;F(</code>x<code>)</code> = y&nbsp; ako i samo ako <code>&nbsp;f x&nbsp;==&nbsp;y</code>,&nbsp; gdje su <code>x</code> i <code>y</code> Churchevi numerali koji odgovaraju x i y, respektivno. Ovo je jedan od mnogo načina definicije izračunljivosti - vidi Church-Turingova teza za diskusiju drugih pristupa i njihovu istovjetnost.