- From: Robin Berjon <robin@w3.org>
- Date: Wed, 18 Jun 2014 11:35:43 +0200
- To: Andreas Kuckartz <a.kuckartz@ping.de>, "HTML WG (public-html@w3.org)" <public-html@w3.org>
On 18/06/2014 11:23 , Andreas Kuckartz wrote: > BTW: There also exists an old issue regarding the formulation "SHOULD > ... because it has been proven to be impossible" which has been resolved > by Ian Hickson as "WONTFIX": > https://www.w3.org/Bugs/Public/show_bug.cgi?id=7277 Well, I will confirm that we are pretty committed to not fixing the halting problem, no matter how amusing the consequences would be. As for the broader decidability problem, I don't know if anyone has looked at it closely, but it certainly sounds like a fun CS project. -- Robin Berjon - http://berjon.com/ - @robinberjon
Received on Wednesday, 18 June 2014 09:35:55 UTC