Network profile

Beleg

Reputation

332

332
242
152

Apr
Jul
Oct
Jan

Top tag

turing-machines

Next privilege

500 Rep.

Access review queues

Badges

1

7

Newest

Yearling

Next badge

4/5

Impact

0 posts edited

0 helpful flags

47 votes cast

Answers (4)

Votes Activity Newest

3	Expressing functions using the arithmetic dictionary
1	Is it correct to say L is RE if I can map reduction from LH to L?
1	If Q1 and Q2 are countably enumerable, then is Q1\Q2 countably enumerable?
0	Is Blum's theorem for acceptable enumerations of partially computable functions bidirectional?

Reputation (332)

+50	Is Rice-Shapiro theorem bidirectional?
+45	Expressing functions using the arithmetic dictionary
+25	Is it correct to say L is RE if I can map reduction from LH to L?
+10	When does an extendible 1:1 p.c. function have a 1:1 computable extension?

View more →

Questions (4)

Votes Activity Newest

5	Is Rice-Shapiro theorem bidirectional?
3	Is Blum's theorem for acceptable enumerations of partially computable functions bidirectional?
3	Why 0-BPP equals P
2	When does an extendible 1:1 p.c. function have a 1:1 computable extension?

Tags (7)

3 turing-machines	1 semi-decidability × 3
3 first-order-logic	0 complexity-classes
3 computation-models	0 randomized-algorithms
2 computability × 6

Bookmarks (20)

Votes Activity Newest Views Added

208	Why is writing down mathematical proofs more fault-proof than writing computer code?
50	Is C actually Turing-complete?
43	Is UTF-8 the final character encoding for all future time?
39	What exactly is a logic?
24	Do undecidable languages exist in constructivist logic?

View more →

Accounts (33)

	Computer Science	332 rep	1 silver badge7 bronze badges
	Stack Overflow	151 rep	4 bronze badges
	Super User	123 rep	4 bronze badges
	Aviation	121 rep	4 bronze badges
	Server Fault	101 rep

Badges (8)

Recent Class Name

Yearling	Editor
Critic	Supporter
Commentator	Scholar
Teacher	Student

Active bounties (0)

Active Offered Earned

This user has no active bounties

Votes cast (47)

all time			by type
47	up		24	question
0	down		23	answer

Computer Science Stack Exchange works best with JavaScript enabled