Computer Science
Meta user
Network profile
3,932
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
~79k
people reached
  • Member for 4 years, 4 months
  • 438 profile views
  • Last seen 2 days ago

Communities (11)

Top network posts

Top tags (81)

Score 88
Posts 22
Posts % 31
Score 49
Posts 10
Score 46
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
14 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 →