Podcast #128: We chat with Kent C Dodds about why he loves React and discuss what life was like in the dark days before Git. Listen now.
Theoretical Computer Science
Meta user
Network profile
22,884
reputation
1
61
108

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.

205
answers
2
questions
~281k
people reached

Communities (14)

Top network posts

Top tags (126)

Score 581
Posts 53
Posts % 26
Score 544
Posts 57
Score 492
Posts 38
Score 411
Posts 38
Score 385
Posts 42
Score 238
Posts 17
View all tags →

Top posts (207) All Questions Answers | Votes Newest

68 Techniques for Reversing the Order of Quantifiers Jan 22 '11
58 What would it mean to disprove Church-Turing thesis? Sep 2 '10
55 To what extent is “advanced mathematics” needed/useful in A.I. research? Oct 19 '12
42 A total language that only a Turing complete language can interpret Jun 24 '14
36 Problem teaching computability Feb 20 '11
36 Why colon to denote that a value belongs to a type? May 25
34 What is the difference between arrows and exponential objects in a cartesian closed category? Apr 17 '13
34 Why does Coq have Prop? Mar 31 '14
32 Is it possible to test if a computable number is rational or integer? Feb 19 '13
30 Why have computer scientists chosen recursor instead of iterator in primitive recursion? Jun 18 '11
View all questions and answers →

Badges (170)

Gold

1

Rarest

Silver

61

Rarest

Bronze

108

Rarest

View all badges →