A mathematical primer on computability

zbMATH Open1422.68001MaRDI QIDQ5226947FDOQ5226947

Authors: Jaime Ramos, Amílcar Sernadas, Cristina Sernadas, João Rasga 

Publication date: 2 August 2019

Recommendations

• Computability
• scientific article; zbMATH DE number 530148
• Elementar computability theory
• scientific article; zbMATH DE number 5778850
• scientific article; zbMATH DE number 225477

zbMATH Keywords

Kolmogorov complexityTuring machinecomputability

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of computing (68Qxx) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Computability and recursion theory (03Dxx)

Cited In (5)

• Computability. Randomness, reverse mathematics and hypercomputability
• Introduction to computability
• Computability theory
• REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION
• Title not available (Why is that?)

This page was built for publication: A mathematical primer on computability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5226947)