Petr Pudlák

less info

network profile

927 reputation

19

bio	website	petr.pudlak.name
	location	Czech Republic
	age
visits	member for	9 months
	seen	May 19 at 17:16
stats	profile views	10

summary answers questions tags badges favorites bounties reputation activity

19 Answers

votes activity newest

12	Lambda Calculus simplification
11	Free variables of (λx.xy)x and bound variables of λxy.x
6	Clear, intuitive derivation of the fixed-point combinator (Y combinator)?
6	Distinct variables for different clauses
6	Human computing power: Can humans decide the halting problem on Turing Machines?

view more

927 Reputation

+30	Human computing power: Can humans decide the halting problem on Turing Machines?
+18	Show that it is undecidable if two Turing Machines accept the same language
+30	Is there an always-halting, limited model of computation accepting $R$ but not $RE$?
+5	Is there a binary tree structure with fast access to recently accessed elements and worst $O \left( \log n \right )$ complexity?

view more

1 Question

votes activity newest

6	Is there a binary tree structure with fast access to recently accessed elements and worst $O \left( \log n \right )$ complexity?

38 Tags

40 logic × 7	9 halting-problem × 2
38 lambda-calculus × 6	9 turing-machines × 2
18 computability × 5	6 algorithms × 3
12 programming-languages × 3	6 automated-theorem-proving
10 functional-programming × 3	6 fixed-point

view more

36 Accounts

	Stack Overflow	11,434 rep	11670
	Programmers	1,605 rep	320
$Mathematics Stack Exchange$	Mathematics	1,278 rep	13
	Computer Science	927 rep	19
	Theoretical Computer Science	677 rep	10

9 Badges

recent class name

Student	Enlightened
Organizer	Editor
Critic	Teacher
Commentator	Supporter
Nice Answer × 2

0 Active bounties

active offered earned

This user has no active bounties

17 Votes Cast

all time			by type			month
16	up		4	question		5
1	down		13	answer		5

Technology			Life / Arts	Culture / Recreation	Science	Other
Stack Overflow Server Fault Super User Web Applications Ask Ubuntu Webmasters Game Development TeX - LaTeX	Programmers Unix & Linux Ask Different (Apple) WordPress Answers Geographic Information Systems Electrical Engineering Android Enthusiasts IT Security	Database Administrators Drupal Answers SharePoint User Experience Mathematica more (14)	Photography Science Fiction & Fantasy Seasoned Advice (cooking) Home Improvement more (13)	English Language & Usage Skeptics Mi Yodeya (Judaism) Travel Arqade (gaming) Bicycles Role-playing Games more (22)	Mathematics Cross Validated (stats) Theoretical Computer Science Physics more (7)	Stack Apps Meta Stack Overflow Area 51 Stack Overflow Careers

site design / logo © 2013 stack exchange inc; user contributions licensed under cc-wiki with attribution required

rev 2013.5.22.697