Andrej Bauer
|
Registered User
|
I am a professional mathematician. My area of research is logic, constructive and computable mathematics, category theory, and semantics of programming languages.
|
| 8 |
Questions |
2
16
votes
5
answers
871
views
6
14
votes
6
answers
2k
views
5
13
votes
2
answers
1k
views
1
8
votes
1
answer
342
views
2
7
votes
3
answers
761
views
2
3
votes
1
answer
228
views
2
3
votes
2
answers
487
views
2
votes
1
answer
171
views
|
507
|
Votes |
407 |
100 |
|
100
|
Tags |
|
lo.logic× 73 ct.category-theory× 48 set-theory× 31 reference-request× 15 gn.general-topology× 13 computability-theory× 12 axiom-of-choice× 11 math-philosophy× 10 topos-theory× 9 soft-question× 9 |
computer-science× 8 big-list× 8 type-theory× 6 mathematics-education× 5 constructive× 5 algorithms× 5 ra.rings-and-algebras× 4 ho.history-overview× 4 graph-theory× 4 foundations× 4 |
universal-algebra× 3 terminology× 3 proof-theory× 3 order-theory× 3 model-theory× 3 lambda-calculus× 3 constructive-mathematics× 3 co.combinatorics× 3 ca.analysis-and-odes× 3 big-picture× 3 |
topology× 2 peano-axioms× 2 paradox× 2 notation× 2 metamathematics× 2 gr.group-theory× 2 formal-languages× 2 examples× 2 discrete-mathematics× 2 computational-complexity× 2 |
cardinal-arithmetic× 2 calculus× 2 ag.algebraic-geometry× 2 ac.commutative-algebra× 2 ultrafinitism topological-graph-theory survey semigroups rt.representation-theory reverse-math |
|
96
|
Badges |
