Computability and human symbolic output

DOI10.12775/LLP.2014.009zbMath1364.03012MaRDI QIDQ2987720

Tim Melvin, Jason Megill

Publication date: 18 May 2017

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

zbMATH Keywords

Turing machinesartificial intelligencecomputability theoryaxiomatization of sciences

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) General topics in artificial intelligence (68T01) Turing machines and related notions (03D10)

Cites Work

• On axiomatizability within a system
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Computability and human symbolic output