Computer Science
Profile Activity
Meta user
Network profile
3,962
reputation
12
21

Lieuwe Vinkhuijzen

Please message me if you have a short, elegant, funny or rhyming proof of something.

I'm a graduate student at Leiden University working on a thesis about quantum computing. The chapter about measurement is called Les Measurables.

What did the logician say to the politician who asked whether to put more or less logic in the curriculum? "Yes"

66
answers
4
questions
~85k
people reached
  • Member for 4 years, 9 months
  • 458 profile views
  • Last seen yesterday

Communities (11)

Top network posts

Top tags (81)

Score 89
Posts 22
Posts % 31
Score 49
Posts 10
Score 47
Posts 7
Score 28
Posts 7
Score 24
Posts 5
Score 23
Posts 4
View all tags →

Top posts (70)

All Questions Answers
Votes Newest
59 How can I explain to my parents that I study programming languages? May 1 '16
38 Is the halting problem decidable for pure programs on an ideal computer? Sep 13 '16
17 Would the P vs. NP problem become trivial as a result of the development of universal quantum computers? Apr 12 '17
17 Time complexity of addition Dec 30 '16
15 Will the future quantum computers use the binary, ternary or quaternary numeral system? Jun 2 '16
13 Does P=NP imply polynomial solutions to #P? Jun 1 '16
10 Literature about a naive approach to graph isomorphism by inspecting polynomials of adjacency matrices Nov 10 '16
8 What is the utility of proving P=NP if we can't find an algorithm that can solve any NP problem in polynomial time? Aug 15 '17
8 Why can't we exploite finiteness to prove incompleteness in NP? Sep 21 '16
7 One way recurrence O(N)->O(1) Oct 17 '15
View all questions and answers →

Badges (33)

Gold

—

Silver

12

Rarest

Bronze

21

Rarest

View all badges →