Theoretical Computer Science
Esa Pulkkinen's user avatar
Esa Pulkkinen's user avatar
Esa Pulkkinen's user avatar
Esa Pulkkinen
  • Member for 3 years, 11 months
  • Last seen this week
Profile Activity
Stats
19
reputation
604
reached
4
answers
0
questions
Communities
View all
About

Software Engineer, Logic, Category theory, Abstract algebra.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
4
bronze badges
Top tags
View all tags
1
Score
2
Posts
50
Posts %
1
Score
1
Posts
25
Posts %
1
Score
1
Posts
25
Posts %
1
Score
1
Posts
25
Posts %
1
Score
1
Posts
25
Posts %
-1
Score
1
Posts
25
Posts %
Top posts
All Questions Answers
Score Newest
answer
1
Why do people bring real-life Quantum Computing to the discussion of the Church-Turing thesis?
Jul 26, 2020
answer
1
How is runtime downcasting modeled in type theory?
Jun 14
answer
0
Any analogues to Turing-Church thesis out there?
2 days ago
answer
-1
Turing meta-oracle
Jan 6, 2020
Top network posts
View all network posts
5
Two interpretations of implication in categorical logic?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.