Stephan Schäperklaus<p>Solving P = NP would be a master key, but for what? <a href="https://mastodon.social/tags/PvsNP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PvsNP</span></a> <a href="https://mastodon.social/tags/ComplexityTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ComplexityTheory</span></a> <a href="https://mastodon.social/tags/CyberSecurity" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CyberSecurity</span></a> <a href="https://mastodon.social/tags/AIResearch" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AIResearch</span></a> <a href="https://mastodon.social/tags/Innovation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Innovation</span></a> <a href="https://mastodon.social/tags/FutureOfTech" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FutureOfTech</span></a> <a href="https://mastodon.social/tags/Mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Mathematics</span></a> <a href="https://mastodon.social/tags/TheoreticalComputerScience" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TheoreticalComputerScience</span></a> <a href="https://mastodon.social/tags/Optimization" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Optimization</span></a> <a href="https://mastodon.social/tags/DigitalInfrastructure" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DigitalInfrastructure</span></a></p><p><a href="https://t.co/qgPMixQpt6" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">t.co/qgPMixQpt6</span><span class="invisible"></span></a></p>
veganism.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
Veganism Social is a welcoming space on the internet for vegans to connect and engage with the broader decentralized social media community.
Administered by:
Server stats:
214active users
veganism.social: About · Status · Profiles directory · Privacy policy
Mastodon: About · Get the app · Keyboard shortcuts · View source code · v4.4.0-alpha.4
#theoreticalComputerScience
0 posts · 0 participants · 0 posts today
HoldMyType<p>Just because its turin complete and computable and can define bool/if-else, currying recursion, church numerals and exprs reduce correctly shouldnt mean that it can attribute a computational meaning to an otherwise absurd <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>math</span></a> expression <br>Or should it?<br>My question is computational meaning even a thing ? If yes , how does that even relate to meaning applied math<br>I mean the count of 1 , 2, 3 can always be attributed to something g physically measurable <br><a href="https://mathstodon.xyz/tags/theoreticalcomputerscience" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>theoreticalcomputerscience</span></a> <br>-- noob</p>
Lenore Blum<p>Manuel Blum and I study <a href="https://sigmoid.social/tags/consciousness" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>consciousness</span></a> from a <a href="https://sigmoid.social/tags/TheoreticalComputerScience" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TheoreticalComputerScience</span></a> (TCS) perspective. <br> TCS is a branch of <a href="https://sigmoid.social/tags/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mathematics</span></a> concerned with understanding the underlying principles of <a href="https://sigmoid.social/tags/computation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>computation</span></a> and <a href="https://sigmoid.social/tags/complexity" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>complexity</span></a>, including the implications and surprising consequences of resource limitations. <br> For a TCS perspective on <a href="https://sigmoid.social/tags/consciousness" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>consciousness</span></a>, see, <a href="https://bit.ly/38zAhf6" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">bit.ly/38zAhf6</span><span class="invisible"></span></a> <br> For a TCS perspective on <a href="https://sigmoid.social/tags/FreeWill" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FreeWill</span></a>, see, <a href="https://arxiv.org/pdf/2206.13942.pdf" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">arxiv.org/pdf/2206.13942.pdf</span><span class="invisible"></span></a></p>
Lenore Blum<p>Hello everyone!👋 Newly arrived from the site that shall not be named. Miss my friends and all that I learned there. Would love 😍 to make new friends on @mastodon interested in: <a href="https://sigmoid.social/tags/Mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Mathematics</span></a> or <a href="https://sigmoid.social/tags/TheoreticalComputerScience" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TheoreticalComputerScience</span></a> or <a href="https://sigmoid.social/tags/Consciousness" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Consciousness</span></a> or <a href="https://sigmoid.social/tags/Philosophy" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Philosophy</span></a> or <a href="https://sigmoid.social/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> or <a href="https://sigmoid.social/tags/Neuroscience" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Neuroscience</span></a> or <a href="https://sigmoid.social/tags/Life" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Life</span></a> ... (to be cont'd)</p>
VegansExploreLive feeds
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.
Create accountLoginDrag & drop to upload