Marcos Cramer
|
Registered User
|
I am a PhD student at the Mathematical Institute of the University of Bonn. My PhD topic combines mathematical logic with computational linguistics: I work on the Naproche project, whose goal is to logically and linguistically analyse the language of mathematics using computational methods, in particular to develop a computer system that can check natural language proofs for logical correctness.
|
| 6 |
Questions |
1
11
votes
5
answers
1k
views
1
8
votes
2
answers
645
views
5
votes
2
answers
374
views
3
votes
2
answers
541
views
3
votes
2
answers
4k
views
1
1
vote
4
answers
337
views
|
25
|
Votes |
18 |
7 |
|
10
|
Tags |
|
set-theory× 3 lo.logic× 3 st.statistics reverse-math pr.probability mg.metric-geometry metamathematics math-philosophy mathematical-modeling examples |
|
12
|
Badges |

