fraeon
Films
BrowseTop 250
Series
TV ShowsAnimeTop 250 TVTop 100 Anime
Games
BrowseTop 100
Books
BooksMangaTop 125 BooksTop 100 Manga
For youTrendingTier ListsThe ArchiveLeaderboard
Log inSign up free
fraeon

Everything you watch, play and read — tracked, rated and remembered in one library.

Explore

  • Films
  • TV
  • Anime
  • Games
  • Books
  • Manga

Discover

  • Trending
  • Leaderboard
  • Find people
  • Lists
  • Tier lists

Company

  • Tour
  • About
  • Community guidelines
  • Privacy
  • Terms
  • Contact

© 2026 fraeon. All rights reserved. ·

Metadata from TMDB, RAWG, Jikan & Open Library. This product uses the TMDB API but is not endorsed or certified by TMDB.

Questions or ideas? mehmet@avortas.com

HomeFeedProfile
Computability & unsolvability

Computability & unsolvability

by Davis, Martin

Computable functionsRecursive functionsUnsolvability (Mathematical logic)
0.0
Open Library
Open Library

Themes & subjects

Computable functionsRecursive functionsUnsolvability (Mathematical logic)

About the author

Davis, Martin

1928

Author

Davis, Martin

Pages

210

Read time

≈ 5h

Editions

5

Language

English

Publisher

McGraw-Hill

ISBN

0486614719

Where to buy

TR
Amazon Bookshop

Reviews

No reviews yet — be the first to write one from the Log screen.

Quotes

No quotes yet.

Discussions

Similar books

Computability and logic

Computable functions · Logic, Symbolic and mathematical

Computability and logic

George Boolos

1974

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit

Algorithms · Computable functions

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit

Hans Hermes

1961

Discrete structures, logic, and computability

Computable functions · Computer science

Discrete structures, logic, and computability

James L. Hein

1994

Computability and complexity theory

Computational complexity · Computer science

Computability and complexity theory

Steven Homer

2001

Theory of recursive functions and effective computability

Computable functions · Recursive functions

Theory of recursive functions and effective computability

Hartley Rogers

1957

Automata and Computability

Machine theory · Computable functions

Automata and Computability

Dexter C. Kozen

2012

Invitation to Applied Category Theory

Categories (mathematics) · Computable functions

Invitation to Applied Category Theory

Brendan Fong

2019

Recursive macroeconomic theory

Macroeconomics · Recursive functions

Recursive macroeconomic theory

Lars Ljungqvist

2000

The calculi of lambda-conversion

Logic, Symbolic and mathematical · Functions

The calculi of lambda-conversion

Alonzo Church

1941

Die iterationen

Probabilities · Recursive functions

Die iterationen

Ladislaus von Bortkiewicz

1917

Theory of Formal Systems

Metamatemática · Funciones recursivas

Theory of Formal Systems

Raymond M. Smullyan

1961

Robot dynamics algorithms

Dynamics · Recursive functions

Robot dynamics algorithms

Roy Featherstone

1984