Theoretical Computer Science
Andrej Bauer
Profile Activity
Stats
25,632
reputation
344k
reached
233
answers
3
questions
About

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.

Communities (15)

Top network posts

1
gold badge
68
silver badges
116
bronze badges
View all badges

Top tags (133)

Score 644
Posts 77
Posts % 33
Score 623
Posts 56
Score 540
Posts 42
Score 449
Posts 41
Score 401
Posts 43
Score 257
Posts 17
View all tags →

Top posts (236)

All Questions Answers
Votes Newest
73 Techniques for Reversing the Order of Quantifiers Jan 22 '11
63 To what extent is "advanced mathematics" needed/useful in A.I. research? Oct 19 '12
59 What would it mean to disprove Church-Turing thesis? Sep 2 '10
46 A total language that only a Turing complete language can interpret Jun 24 '14
39 Why colon to denote that a value belongs to a type? May 25 '19
38 Why does Coq have Prop? Mar 31 '14
37 Problem teaching computability Feb 20 '11
34 Realizability theory: difference in power between Lambda calculus and Turing Machines Sep 9 '10
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
View all questions and answers →

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.