Computer Science
Profile Activity
Meta user
Network profile
4,057
reputation
14
22

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"

68
answers
4
questions
~95k
people reached
  • Member for 5 years, 5 months
  • 498 profile views
  • Last seen 15 hours ago

Communities (5)

Top network posts

Top tags (81)

Score 96
Posts 24
Posts % 33
Score 51
Posts 7
Score 50
Posts 10
Score 31
Posts 7
Score 24
Posts 5
Score 23
Posts 4
View all tags →

Top posts (72)

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
20 Would the P vs. NP problem become trivial as a result of the development of universal quantum computers? Apr 12 '17
18 Time complexity of addition Dec 30 '16
16 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 (36)

Gold

—

Silver

14

Rarest

Bronze

22

Rarest

View all badges →