Computability

Computability
sku: 2617252
$106.88
Shipping from: United Arab Emirates
   Description
Computability By Tourlakis, George Published by Springer Publication Date: 2023-08-03 Subject: Computers Computer Science, Computers Computer Science, Mathematics Logic, Mathematics Logic, Philosophy Reference, Science Philosophy & Social Aspects, Science Philosophy & Social Aspects, Technology & Engineering General, Technology & Engineering General, Mathematical Logic, Mathematical Theory Of Computation, Mathematical Theory Of Computation,Mathematical Logic,Philosophy,Technology: General Issues, Philosophy, Technology: General Issues, Mathematical Theory Of Computation, Mathematical Logic Subject Keywords: recursive functions; formal definability; recursion theorem; diagonalisation; strong reducibility; loop programs; Kleene predicate; Turing reducibility; Register machine; Goedel incompleteness; Rosser incompleteness; Ackermann function; (Unbounded) Register Machine (URM); Church’s thesis; Tarski’s theorem Genre: Mathematical Theory Of Computation, Mathematical Logic Target Audience: Professional and scholarly
   Price history chart & currency exchange rate

Customers also viewed