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. Template:Nowrap from current version, Template:Nowrap from preceding version, Template:Nowrap, Template:Nowrap, Template:Nowrap

17 August 2025

  • curprev 18:5118:51, 17 August 2025 imported>Caleb Stanford 26,269 bytes +26,269 →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.
Retrieved from "https://wiki.sarg.dev/index.php/Post_correspondence_problem"