Conversation

Notices

1. Embed this notice
   julesh (julesh@mathstodon.xyz)'s status on Monday, 25-Nov-2024 23:08:51 JST julesh

   in reply to

   • fl
   • Noam Zeilberger

   @fl @tito @noamzoam Oh, this is for the decision problem of β-equality for planar lambda terms; my original question was "which functions can be expressed in the language" (for linear, but planar is equally interesting)... I don't think they're necessarily the same, right?

   • Embed this notice
     fl (fl@mathstodon.xyz)'s status on Monday, 25-Nov-2024 23:08:53 JST fl

     • Noam Zeilberger

     @tito @julesh @noamzoam Thank you for this reference.

     It is described as "a 'tentative' proof of P-completeness". I don't know why.