On the Steps of Emil Post: from Normal Systems to the Correspondence Decision Problem

DOI10.14232/ACTACYB.284625zbMath1474.03095OpenAlexW3048238790MaRDI QIDQ5855841

Tero J.Harju, Vesa Halava

Publication date: 20 March 2021

Published in: Acta Cybernetica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.14232/actacyb.284625

zbMATH Keywords

undecidabilityPost correspondence problemnormal systemsassertion problem

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Undecidability and degrees of sets of sentences (03D35) History of mathematical logic and foundations (03-03) Thue and Post systems, etc. (03D03)

This page was built for publication: On the Steps of Emil Post: from Normal Systems to the Correspondence Decision Problem