Public
- Public
- Network
- Groups
- Featured
- Popular
- People

Embed Notice

HTML Code

<blockquote style="position: relative; padding-left: 55px;"><section><a href="https://mathstodon.xyz/users/julesh/statuses/113539433437269207">julesh (julesh@mathstodon.xyz)'s status on Monday, 25-Nov-2024 03:51:07 JST</a><a href="https://mathstodon.xyz/@julesh" title="julesh@mathstodon.xyz"><img src="https://gnusocial.jp/avatar/180791-48-20231002164329.webp" width="48" height="48" alt="julesh" style="position: absolute; left: 0; top: 0;">julesh</a></section><article><p>I wonder what's the computational power of untyped linear lambda calculus?</p><p>Pretty sure it's not Turing complete, I don't think you can write a fixpoint combinator or any other kind of recursor without breaking linearity</p></article><footer><a rel="bookmark" href="https://gnusocial.jp/conversation/4062882#notice-7939235">In conversation</a><time datetime="2024-11-25T03:51:07+09:00" title="Monday, 25-Nov-2024 03:51:07 JST">about 2 months ago</time> <span>from <span><a href="https://mathstodon.xyz/@julesh/113539433437269207" rel="external" title="Sent from mathstodon.xyz via ActivityPub">mathstodon.xyz</a></span></span><a href="https://mathstodon.xyz/@julesh/113539433437269207">permalink</a></footer></blockquote>

Corresponding Notice

Embed this notice
julesh (julesh@mathstodon.xyz)'s status on Monday, 25-Nov-2024 03:51:07 JST julesh
I wonder what's the computational power of untyped linear lambda calculus?
Pretty sure it's not Turing complete, I don't think you can write a fixpoint combinator or any other kind of recursor without breaking linearity
In conversationabout 2 months ago from mathstodon.xyzpermalink

Public

Embed Notice

HTML Code

Corresponding Notice