Andrej Bauer

less info

network profile

3,153 reputation

517

bio	website	andrej.com
	location	Slovenia
	age
visits	member for	1 year
	seen	48 mins ago
stats	profile views	115

summary answers questions tags badges favorites bounties reputation activity

45 Answers

votes activity newest

14	Importance of recursion in computability theory
13	The math behind converting from any base to any base without going through base 10?
13	How are programming languages and foundations of mathematics related?
13	No compression algorithm can compress all input messages?
11	Theoretical minimum number of registers for a modern computer?

view more

3,153 Reputation

+10	How does one deduce small step operational semantics?
+20	Finding largest value for $\frac{\phi(i)}{i}$ for $i \in (2, N)$
+10	How to implement a prolog interpreter in a purely functional language?
+10	What is the difference between the semantic and syntactic views of function types?

view more

0 Questions

votes activity newest

This user has not asked any questions

57 Tags

68 computability × 13	34 logic × 4
43 programming-languages × 7	33 functional-programming × 6
42 terminology × 7	32 undecidability × 4
37 turing-machines × 10	29 formal-languages × 5
35 lambda-calculus × 5	27 type-theory × 3

view more

7 Accounts

	Theoretical Computer Science	7,702 rep	1638
	Computer Science	3,153 rep	517
	Stack Overflow	1,056 rep	313
$Mathematics Stack Exchange$	Mathematics	221 rep	15
$TeX - LaTeX Stack Exchange$	TeX - LaTeX	121 rep	2

12 Badges

recent class name

Yearling	Necromancer
Nice Answer × 9	Commentator
Enlightened × 3	Disciplined
Custodian	Critic
Organizer	Teacher

view more

0 Active bounties

active offered earned

This user has no active bounties

62 Votes Cast

all time			by type			month
40	up		23	question		2
22	down		39	answer		2

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.17.690