Post correspondence problem: Revision history

Jump to navigation Jump to search
Template:FlatlistExternal tools:

Template:Endflatlist

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

17 August 2025

  • curprev 18:5118:51, 17 August 2025 imported>Caleb Stanford 26,269 bytes +522 →Proof sketch of undecidability: fix the obvious flaw in the proof (that tile a<->a can just match itself). It works after this modification, I don't think the comment about additional details to work out is needed.

20 December 2024

Retrieved from "http://debianws.lexgopc.com/wiki143/index.php?title=Post_correspondence_problem"