Per Martin-Löf

Contact

Name and title: Per Martin-Löf

Mail: pml@math.su.se

Workplace: Department of Mathematics (incl. Math. Statistics) Länk till annan webbplats.

Visiting address Room 315Albano hus 1

Postal address Matematiska institutionen106 91 Stockholm

Research group

Mathematical logic

Logic as an academic subject is the study of reasoning, and mathematical logic is the study of mathematical reasoning in its various precise forms. This research group is active in several areas of the field including, constructive mathematics, type theory and category-theoretic logic, as well as the philosophical aspects of logic and mathematics.





Contact

Name and title: Per Martin-Löf

Mail: pml@math.su.se

Workplace: Department of Mathematics (incl. Math. Statistics) Länk till annan webbplats.

Visiting address Room 315Albano hus 1

Postal address Matematiska institutionen106 91 Stockholm

Research group

Mathematical logic

Logic as an academic subject is the study of reasoning, and mathematical logic is the study of mathematical reasoning in its various precise forms. This research group is active in several areas of the field including, constructive mathematics, type theory and category-theoretic logic, as well as the philosophical aspects of logic and mathematics.

Cookie settings

By allowing third-party services, you accept their cookies and the use of tracking technologies necessary for them to function properly.