Theoretical Computer Science
Profile Activity
Meta user
Network profile
24,338
reputation
1
65
110

Andrej Bauer

I am a professional mathematician. My area of research is logic, constructive and computable mathematics, category theory, type theory, homotopy type theory, and semantics of programming languages.

219
answers
3
questions
~312k
people reached

Communities (14)

Top network posts

Top tags (132)

Score 614
Posts 56
Posts % 25
Score 601
Posts 68
Score 512
Posts 40
Score 436
Posts 41
Score 395
Posts 43
Score 250
Posts 17
View all tags →

Top posts (222)

All Questions Answers
Votes Newest
72 Techniques for Reversing the Order of Quantifiers Jan 22 '11
59 What would it mean to disprove Church-Turing thesis? Sep 2 '10
59 To what extent is “advanced mathematics” needed/useful in A.I. research? Oct 19 '12
45 A total language that only a Turing complete language can interpret Jun 24 '14
38 Why colon to denote that a value belongs to a type? May 25 '19
37 Problem teaching computability Feb 20 '11
36 Why does Coq have Prop? Mar 31 '14
34 What is the difference between arrows and exponential objects in a cartesian closed category? Apr 17 '13
32 Is it possible to test if a computable number is rational or integer? Feb 19 '13
32 Realizability theory: difference in power between Lambda calculus and Turing Machines Sep 9 '10
View all questions and answers →

Badges (176)

Gold

1

Rarest

Silver

65

Rarest

Bronze

110

Rarest

View all badges →