Theory of recursive functions and effective computabilityHartley Rogers

Theory of recursive functions and effective computability

Name: Theory of recursive functions and effective computability
ISBN: 9780262680523

by Hartley Rogers · first published 1957

3mentions

1recommended by

3HN commenters

2009–2026first – last mentioned

33% recommend67% neutral

Affiliate links. As an Amazon Associate I earn from qualifying purchases.

Mentions per year

paulreiners · Jun 19, 2009 · Recommends

"Theory of Recursive Functions and Effective Computability" by Hartley Rogers is excellent.
on “Ask HN: good math books” ↗
cybernautique · Sep 15, 2021 · Mentions

…would someone choose to implement the lambda calculus on bare-metal? You call it "fetishism," I call it fun! More generally, I just really like the idea of having a machine with a user-writable ISA. [1] Theory of Recursive Functions and Effective Computability: https://openlibrary.org/books/OL2738948M/Theory_of_recursive... [2] Introduction to Lambda Calculus: https://www.cse.chalmers.se/research/group/logic/TypesSS05/E...
on “Turing Oversold?” ↗
qsort · Jul 21, 2026 · Mentions

Rogers "Theory of Recursive Functions and Effective Computability", page 1, emphasis is the author's: § 1.1 The informal notion of algorithm In this chapter we give a formal (i.e., mathematically exact) characterization of recursive function. The concept is basic…
on “Claude Is Not a Compiler” ↗