Here's a really interesting (long) paper on what a theory of computing based on arbitrary physical substrates might look like: http://arxiv.org/abs/2307.15408

#NewPaper #TheoreticalComputerScience #neuromorphic #CogSci #CognitiveScience #VSA #VectorSymbolicArchitecture #HDC #HyperdimensionalComputing #AnalogComputing

Collective #math / #TheoreticalComputerScience memory question: Sometime in the last couple of months I followed a link from Masto to a blog post about computing (in the most general sense) defined as continuous rather than discrete mathematics. This blog post mentioned (with references) that having *partial* functions was essential for computation.

Now I can't find the blog post or references. Any pointers to works explaining why partial functions are essential to computation (or refutation) would be greatly appreciated.

Oh, polynomial3sat.org is down and the respective code on GitHub is removed. The corresponding paper on arXiv is still accessible. Does anyone know more about what happened?

https://arxiv.org/abs/1903.10081

#satsolving #complexitytheory #PequalsNP #compsci #theoreticalcomputerscience

Manuel Blum and I study #consciousness from a #TheoreticalComputerScience (TCS) perspective.
TCS is a branch of #mathematics concerned with understanding the underlying principles of #computation and #complexity, including the implications and surprising consequences of resource limitations.
For a TCS perspective on #consciousness, see, https://bit.ly/38zAhf6
For a TCS perspective on #FreeWill, see, https://arxiv.org/pdf/2206.13942.pdf

Is there a canonical term for "either coinitial or composable #traces"? Concomitant? Adjacent? #TheoreticalComputerScience #CS

One day I will manage to use this Mario Kart video to motivate my students to learn about Maxima sets/Pareto and the instance optimal algorithms to compute them (in two and three dimensions). I will !
#TheoreticalComputerScience

https://www.instagram.com/reel/Ch-qhnKgSQW/?igshid=YmRhOGE0MWQ=

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: #Mathematics or #TheoreticalComputerScience or #Consciousness or #Philosophy or #AI or #Neuroscience or #Life ... (to be cont'd)

Oooh, I had missed that. I knew it was "in the plans" because I attended a talk from Knuth a few years ago where he mentioned he was working on it, but it's been published :) Good!
https://www.goodreads.com/book/show/29104942-the-art-of-computer-programming-volume-4-fascicle-6
#book #theoreticalcomputerscience #tcs #satisfiability #sat