Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Meta User
Network Profile
3,227
reputation
17
34

Bjørn Kjos-Hanssen♦
(moderator)

53
answers
2
questions
~21k
people reached

Communities (49)

Top Meta Posts
2
6

Top Network Posts

Top Tags (75)

Score 129
Posts 19
Posts % 35
Score 53
Posts 10
Score 51
Posts 8
Score 46
Posts 13
Score 17
Posts 3
Score 17
Posts 3
View all tags →

Top Posts (55) All Questions Answers | Votes Newest

28 Are there any proofs the undecidability of the halting problem that does not depend on self-referencing or diagonalization ? Nov 10 '10
19 Weighted Hamming distance Nov 2 '10
18 Is there algorithmic mathematical analysis? May 30 '15
11 Function that is guaranteed to be one-way if one-way functions exist? Sep 15
10 Is there a useful notion of being “approximately computable” Aug 23
10 Example of something that’s different for generic and random oracles? Sep 11 '17
10 Is predicting (in the limit) computable sequences as hard as the halting problem? Nov 12 '10
10 Proof of undecidability not by reduction from the halting problem Apr 4 '14
9 Is Biological Computation a theme covered by the Theoretical Computer Science? Dec 6 '17
8 On a GI complete class Nov 25 '17
View all questions and answers →

Badges (51)

Gold

—

Silver

17

Rarest

Bronze

34

Rarest

View all badges →