Henry Yuen

Member for 14 years, 8 months
Last seen more than a month ago

HenryYuen.net
Cambridge, MA

Summary

Reputation

2,019

2k
1.6k
1.1k

2021
2022
2023
2024

Top tag

computational-complexity

Next privilege

2,500 Rep.

Create tag synonyms

Badges

15

23

Newest

Yearling

Next badge

0/1

Excavator

Impact

~30k

people reached

0

posts edited

0

helpful flags

26

votes cast

Questions

View all 17 questions

95

Will this Turing machine find a proof of its halting?

Aug 4, 2022

15

Can formal power series become polynomial often, when composed with polynomials?

Jul 27, 2012

15

What's known about the relationship about EQP and BQP?

Oct 1, 2010

13

A generalization of the Powers-Stormer inequality

Feb 27, 2015

11

Descriptive complexity theoretic-characterizations of P and NP

Aug 9, 2010

Answers

20

What is the easiest randomized algorithm to motivate to the layperson?

Sep 10, 2010

12

MIP*=RE theorem and its impact on logic and proof theory

Sep 30, 2023

Tags

View all 26 tags

computational-complexity

32

Score

5

posts

algorithms

20

Score

1

post

proof-theory

12

Score

1

post

decidability

12

Score

1

post

lo.logic

12

Score

1

post

Reputation

+20

Will this Turing machine find a proof of its halting?

+10

Can curves induced by analytic maps wiggle infinitely across a line?

+10

Can formal power series become polynomial often, when composed with polynomials?

+10

MIP*=RE theorem and its impact on logic and proof theory

Badges

View all badges

This user doesn’t have any gold badges yet.

15

silver badges

Taxonomist

Sep 8, 2015
Favorite Question

Jan 30, 2023
Enthusiast

Jul 18, 2010

23

bronze badges

Mortarboard

Aug 4, 2022
Curious

Jul 2, 2014
Commentator

Aug 11, 2010

Accounts

View all 8 accounts

Theoretical Computer Science

3,888
1
22
34

2,019
15
23

713
5
12

Quantum Computing

301
3
3

151
2

Active bounties (0)

This user has no active bounties

Votes cast

26

upvotes

6

question votes

20

answer votes