-
The Halting Paradox
The halting problem is considered to be an essential part of the theoret...
06/11/2019 ∙ by Bill Stoddart, et al. ∙
0
∙
share
read it
-
Who needs category theory?
In computer science, category theory remains a contentious issue, with e...
07/30/2018 ∙ by Andreas Blass, et al. ∙
0
∙
share
read it
-
Visions in Theoretical Computer Science: A Report on the TCS Visioning Workshop 2020
Theoretical computer science (TCS) is a subdiscipline of computer scienc...
07/06/2021 ∙ by Shuchi Chawla, et al. ∙
0
∙
share
read it
-
The Complexity of Human Computation: A Concrete Model with an Application to Passwords
What can humans compute in their heads? We are thinking of a variety of ...
07/05/2017 ∙ by Manuel Blum, et al. ∙
0
∙
share
read it
-
Foreword: A Computable Universe, Understanding Computation and Exploring Nature As Computation
I am most honoured to have the privilege to present the Foreword to this...
05/25/2012 ∙ by Roger Penrose, et al. ∙
0
∙
share
read it
-
A Guide for New Program Committee Members at Theoretical Computer Science Conferences
In theoretical computer science, conferences play an important role in t...
05/04/2021 ∙ by Yfke Dulek, et al. ∙
0
∙
share
read it
-
Clustering Introductory Computer Science Exercises Using Topic Modeling Methods
Manually determining concepts present in a group of questions is a chall...
04/21/2021 ∙ by Laura O. Moraes, et al. ∙
0
∙
share
read it
Theoretical Computer Science for the Working Category Theorist
10/04/2017 ∙ by Noson S. Yanofsky, et al. ∙
0
∙
share
Theoretical computer science discusses foundational issues about computations. It asks and answers questions such as "What is a computation?", "What is computable?", "What is efficiently computable?","What is information?", "What is random?", "What is an algorithm?", etc. We will present many of the major themes and theorems with the basic language of category theory. Surprisingly, many interesting theorems and concepts of theoretical computer science are easy consequences of functoriality and composition when you look at the right categories and functors connecting them.
READ FULL TEXT
Comments
There are no comments yet.