Andrej Bauer

7,852 reputation

1638

bio	website	andrej.com
	location	Slovenia
	age	42
visits	member for	2 years, 9 months
	seen	2 hours ago
stats	profile views	1,482

I am a professional mathematician and theoretical computer scientist (what is the difference?) . My area of work is a mix of logic, semantics, programming languages, category theory, constructive mathematics and computability.

	7,852 reputation	bio	website	andrej.com	visits	member for	2 years, 9 months
1638 badges		location	Slovenia		seen	2 hours ago

summary answers questions tags badges favorites bounties reputation activity

83 Answers

votes activity newest

46	Techniques for Reversing the Order of Quantiﬁers
34	What would it mean to disprove Church-Turing thesis?
32	Problem teaching computability
23	Why have computer scientists chosen recursor instead of iterator in primitive recursion?
21	How can we express “$P=PSPACE$” as a first-order formula?

7,852 Reputation

+60	Formal representation of algorithm using recursive algebraic data types
+20	Is it possible to test if a computable number is rational or integer?
+40	Research and open challenges in Programming Language Theory
+10	What would it mean to disprove Church-Turing thesis?

0 Questions

votes activity newest

This user has not asked any questions

89 Tags

292 lo.logic × 30	90 soft-question × 10
195 pl.programming-languages × 22	82 cc.complexity-theory × 7
187 computability × 16	79 big-picture × 4
136 lambda-calculus × 16	76 turing-machines × 6
109 type-theory × 14	65 reference-request × 7

7 Accounts

	Theoretical Computer Science	7,852 rep	1638
	Computer Science	3,233 rep	517
	Stack Overflow	1,056 rep	313
$Mathematics Stack Exchange$	Mathematics	221 rep	15
$TeX - LaTeX Stack Exchange$	TeX - LaTeX	173 rep	5